Explore Projects
Discover 16 open source projects
Showing 1-16 of 16 projects
x64dbg/x64dbg
Open-source debugger for Windows focused on reverse engineering and malware analysis
horsicq/Detect-It-Easy
A program for determining file types on Windows, Linux, and macOS, useful for reverse engineering and security analysis.
facebook/pyre-check
Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.
trailofbits/manticore
Manticore is a symbolic execution tool for analyzing the behavior of binary programs, smart contracts, and more.
NASA-SW-VnV/ikos
A static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.
horsicq/DIE-engine
A reverse-engineering tool for analyzing and disassembling binaries.
google/bindiff
A tool for quickly finding differences and similarities in disassembled code, useful for reverse engineering and binary analysis.
jar-analyzer/jar-analyzer
A Java GUI tool that provides advanced JAR file analysis, including method call relationship search, call chain analysis, and JVM emulation.
Tencent/CodeAnalysis
A Python-based static code analysis tool for improving code quality and maintainability.
jplag/JPlag
JPlag is a state-of-the-art tool for detecting plagiarism and collusion in source code submissions.
JonathanSalwan/VMProtect-devirtualization
A tool for automatically deobfuscating VMProtect-protected programs using symbolic execution and LLVM.
fkie-cad/cwe_checker
cwe_checker finds vulnerable patterns in binary executables, helping developers identify and fix security issues.
pascal-lab/Tai-e-assignments
Provides static program analysis assignments for Java developers
angr/angr-management
The official GUI for the angr binary analysis framework, useful for reverse engineering and program analysis.
semgrep/semgrep-rules
A collection of Semgrep community-contributed rules for static code analysis and security scanning.
secure-software-engineering/phasar
A powerful LLVM-based static analysis framework for C/C++ developers to improve code quality and security.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.