Control Flow Graph
4 projects
Showing 4 of 4 projects
binnaviJava
A binary analysis IDE for inspecting, navigating, editing, and annotating control flow graphs and call graphs of disassembled code.
#disassembly#security-analysis#control-flow-graph
Stars2.9k
Forks456
Last commit5 years ago
CFGScanDroidJava
A utility for comparing control flow graph signatures to Android method CFGs, designed for malware scanning.
#signature-scanning#control-flow-graph#apk-analysis
Stars65
Forks11
Last commit11 years ago
tealerPython
A static analyzer for Teal (Algorand Smart Contracts) that detects vulnerabilities and visualizes contract structure.
#smart-contracts#control-flow-graph#blockchain-security
Stars63
Forks13
Last commit2 years ago
JLiSAJava
A Java static analysis tool that translates Java code into LiSA's IR and runs configurable abstract interpretation analyses for bug detection and verification.
#sv-comp#interprocedural-analysis#formal-methods
Stars29
Forks2
Last commit1 day ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.