TypeScript Compiler API wrapper for static analysis and programmatic code changes.
- typescript
- ast
- code-generation
- javascript
Repository Index
78,850 visible repositories in the index
1–14 of 14 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
A model checker for Rust programs.
- rust
- model-checking
- verification
Dafny is a verification-aware programming language
- programming-language
- verification
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
- ci
- cli
- developer-tools
- open-source
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
- pyt
- control-flow-graph
- static-analysis
- python
Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索等
- java-asm
- java-decompiler
- static-analysis
- vulnerability
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
- plagiarism-detection
- collusion-detection
- plagiarism-prevention
- source-code-analysis
Static Code Analysis - 静态代码分析
- code-analysis
- python37
- program-analysis
- code-quality
Flay analyzes code for structural similarities. Differences in literal values, variable, class, method names, whitespace, programming style, braces vs do/end, etc are all ignored.
Command line program that detects unused resource strings in an iOS or OS X application.
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Taming Reflection to Support Whole-Program Analysis of Android Apps