Statistics for topic program-analysis
RepositoryStats tracks 663,340 Github repositories, of these 69 are tagged with the program-analysis topic. The most common primary language for repositories using this topic is Python (14). Other languages include: C++ (13)
Stargazers over time for topic program-analysis
Most starred repositories for topic program-analysis (view more)
Trending repositories for topic program-analysis (view more)
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Program for determining types of files for Windows, Linux and MacOS.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
CLI too, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Program for determining types of files for Windows, Linux and MacOS.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码
CLI too, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Program for determining types of files for Windows, Linux and MacOS.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Quickly find differences and similarities in disassembled code
CLI too, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
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 eng...
gradient-based symbolic execution engine implemented from scratch
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
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 eng...
CLI too, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Program for determining types of files for Windows, Linux and MacOS.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
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 eng...
CLI too, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
