program-analysis
Tracked open-source repos tagged program-analysis, sorted by stars.
Related topics
Topics that frequently appear alongside program-analysis on the same repo.
Recent risers
Repos created in the last 90 days, tagged program-analysis.
No new repos tagged with this topic in the last 90 days.
- #1
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
★ 49,347+127Star change over the last 7 days - #2
Program for determining types of files for Windows, Linux and MacOS.
★ 11,445+59Star change over the last 7 days - #3
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
★ 4,275+5Star change over the last 7 days - #4
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
★ 4,266+3Star change over the last 7 days - #5★ 3,818+23Star change over the last 7 days
- #6
DIE engine
★ 3,242+11Star change over the last 7 days - #7★ 3,162+2Star change over the last 7 days
- #8★ 3,160+13Star change over the last 7 days
- #9★ 2,254+4Star change over the last 7 days
- #10
Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索等
★ 2,160+3Star change over the last 7 days - #11
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
★ 1,946+8Star change over the last 7 days - #12
Static Code Analysis - 静态代码分析
★ 1,843+1Star change over the last 7 days - #13
cwe_checker finds vulnerable patterns in binary executables
★ 1,353+3Star change over the last 7 days - #14
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
★ 1,239+5Star change over the last 7 days - #15
Tai-e assignments for static program analysis
★ 1,227+1Star change over the last 7 days - #16
The official angr GUI.
★ 1,176+4Star change over the last 7 days - #17★ 1,054+0Star change over the last 7 days
- #18
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
★ 866+0Star change over the last 7 days - #19
Understand any codebase instantly. System intelligence for codebases, built for humans and AI.
★ 815+37Star change over the last 7 days - #20★ 815+1Star change over the last 7 days
- #21
A curated list of awesome LLVM (including Clang, etc) related resources.
★ 723+1Star change over the last 7 days - #22
A comprehensive collection of cheatsheets for reverse engineering, binary analysis, and assembly programming tools. This repository serves as a one-stop reference for security researchers, reverse engineers, and low-level programmers.
★ 646+2Star change over the last 7 days - #23★ 593+0Star change over the last 7 days
- #24★ 568+0Star change over the last 7 days
- #25
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
★ 525+0Star change over the last 7 days
