program-analysis

There are 57 repositories under program-analysis topic.

x64dbg
x64dbg / x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
binary-analysis cpp ctf cybersecurity debugger debugging disassembler dynamic-analysis exploit-development hacking malware-analysis oscp program-analysis reverse-engineering security security-tools windows x64 x86 x86-64
Language:C++ 43592
Detect-It-Easy
horsicq / Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
debugger detect unpacker disassembler reverse-engineering elf packer detector binary-analysis program-analysis static-analysis entropy malware-analysis malware-research macho mach-o hacktoberfest pentest scanner hacktoberfest2023
Language:JavaScript 6829
facebook / pyre-check
Performant type-checking for python.
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis
Language:OCaml 6728
mythril
Consensys / mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
security-analysis ethereum blockchain smart-contracts solidity program-analysis security symbolic-execution
Language:Python 3751
trailofbits / manticore
Symbolic execution tool
symbolic-execution z3 python binary-analysis emulation smt program-analysis security ethereum blockchain testing
Language:Python 3657
JonathanSalwan / Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
reverse-engineering symbolic-execution binary-analysis program-analysis taint-analysis binary-translation deobfuscation instruction-semantics lifter dynamic-analysis emulator
Language:C++ 3382
rizin
rizinorg / rizin
UNIX-like reverse engineering framework and command-line toolset.
reverse-engineering program-analysis security exploitation debugging
Language:C 2509
DIE-engine
horsicq / DIE-engine
DIE engine
signature reverse-engineering unpacker yara elf program-analysis binary-analysis disassembler entropy hacktoberfest hacktoberfest22
Language:C++ 2193
python-security / pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
pyt control-flow-graph static-analysis python python3 security static-code-analysis program-analysis fixed-point fixed-point-analysis dataflow dataflow-analysis taint taint-analysis abstract-syntax-tree abstract-syntax flask
Language:Python 2164
BinaryAnalysisPlatform / bap
Binary Analysis Platform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter ocaml arm x86 security emulator bap powerpc mips symbolic-execution
Language:OCaml 2010
NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
static-analysis software-verification abstract-interpretation program-analysis
Language:C++ 2004
google / bindiff
Quickly find differences and similarities in disassembled code
bindiff binexport diffing program-analysis program-differencing reverse-engineering c-plus-plus ida-plugin ida-pro java vxsig
Language:Java 1975
Tencent / CodeAnalysis
Static Code Analysis - 静态代码分析
code-analysis code-quality code-quality-analyzer code-review program-analysis python37
Language:Python 1609
JonathanSalwan / VMProtect-devirtualization
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
vmprotect symbolic-execution program-analysis llvm-ir deobfuscation
Language:Roff 1110
fkie-cad / cwe_checker
cwe_checker finds vulnerable patterns in binary executables
cwe binary-analysis static-analyzer vulnerability-scanner reverse-engineering program-analysis security-scanner security cwe-checker ghidra
Language:Rust 1077
pascal-lab / Tai-e-assignments
Tai-e assignments for static program analysis
education java program-analysis static-analysis
Language:Java 996
secure-software-engineering / phasar
A LLVM-based static analysis framework.
llvm program-analysis data-flow-analysis c cpp static-analysis
Language:C++ 914
jar-analyzer / jar-analyzer-v1-gui
建议使用新版：https://github.com/jar-analyzer/jar-analyzer
java-decompiler program-analysis static-analysis
Language:Java 898
angr / angr-management
The official angr GUI.
angr hacktoberfest program-analysis
Language:Python 847
wala / WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
static-analysis java javascript android static-code-analysis program-analysis callgraph slicing dataflow-analysis pointer-analysis
Language:Java 738
semgrep / semgrep-rules
Semgrep rules registry
grep-like program-analysis security security-scanner semgrep semgrep-registry semgrep-rules static-analysis
Language:Solidity 730
jar-analyzer / jar-analyzer
Jar Analyzer - 一个JAR包分析工具，批量分析JAR包搜索，方法调用关系搜索，字符串搜索，Spring组件分析，CFG分析，JVM Stack Frame分析，远程分析Tomcat，进阶表达式搜索，自定义SQL查询，字节码查看，字节码指令级的动态调试分析，命令行分析，反编译JAR包一键导出，一键提取序列化数据恶意代码
bytecode jar java-asm java-bytecode java-debugger java-decompiler java-gui program-analysis static-analysis vulnerability
Language:Java 667
falconre / falcon
Binary Analysis Framework in Rust
binary-analysis rust program-analysis data-flow-analysis
Language:Rust 545
soot-oss / SootUp
A new version of Soot with a completely overhauled architecture
android call-graph dataflow-analysis java program-analysis soot static-analysis static-code-analysis bytecode jimple
Language:Java 534
ltcmelo / psychec
A compiler frontend for the C programming language
c type-inference compiler parser c-language clanguage static-analysis compiler-frontend parsing parsing-library program-analysis language-semantics
Language:C++ 525
enzet / symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving
Language:Kotlin 477
mchalupa / dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis backward-slice backward-slicing control-dependency data-dependency dependence-graph dependency-graph llvm llvm-bitcode llvm-ir llvm-slicer pointer-analysis points-to-analysis program-analysis reaching-definitions slice slicing static-analysis static-analyzer static-code-analysis
Language:C++ 474
github / codeql-go
The CodeQL extractor and libraries for Go.
codeql golang go datalog program-analysis static-analysis
464
learn-llvm / awesome-llvm
A curated list of awesome LLVM (including Clang, etc) related resources.
llvm clang compilers awesome-list llvm-tutorial program-analysis
Language:Python 442
seahorn / seahorn
SeaHorn Verification Framework
abstract-interpretation horn-clauses llvm model-checking program-analysis static-analysis verification
Language:C 431
trailofbits / vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
c clang compiler-frontend compilers cpp intermediate-representation mlir program-analysis
Language:C++ 356
vitsalis / PyCG
Static Python call graph generator
callgraph python static-analysis program-analysis call-graphs pycg
Language:Python 297
canliture / nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
program-analysis static-analysis soot compiler-optimization
Language:Java 280
cs-au-dk / TIP
Static program analysis for TIP
pointer-analysis points-to-analysis program-analysis static-analyzer static-code-analysis
Language:Scala 274
HairyFotr / linter
Static Analysis Compiler Plugin for Scala
abstract-interpretation compiler-plugin linter program-analysis scala static-analysis
Language:Scala 267
seahorn / clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
llvm program-analysis abstract-interpretation invariants static-analysis software-verification
Language:C 265