program-analysis

Star

Here are 261 public repositories matching this topic...

Language:All

Filter by language

All261 Java55 Python53 C++37 C23 OCaml13 JavaScript6 Rust6 Scala6 Haskell5 TypeScript5

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

x64dbg /x64dbg

Star47.3k

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

windows debugger debugging security x64 x86-64 reverse-engineering disassembler hacking cybersecurity x86 dynamic-analysis ctf malware-analysis binary-analysis program-analysis offensive-security security-tools oscp exploit-development

UpdatedNov 26, 2025
C++

horsicq /Detect-It-Easy

Sponsor

Star9.7k

Program for determining types of files for Windows, Linux and MacOS.

debugger detect packer entropy scanner static-analysis reverse-engineering disassembler detector mach-o elf malware-analysis binary-analysis program-analysis macho malware-research pentest hacktoberfest unpacker hacktoberfest2023

UpdatedNov 28, 2025
JavaScript

facebook /pyre-check

Star7.1k

Performant type-checking for python.

python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

UpdatedNov 27, 2025
OCaml

ConsenSysDiligence /mythril

Star4.2k

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.

security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis

UpdatedNov 3, 2025
Python

JonathanSalwan /Triton

Star3.9k

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

emulator reverse-engineering symbolic-execution deobfuscation dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis lifter binary-translation

UpdatedNov 20, 2025
C++

trailofbits /manticore

Star3.8k

Symbolic execution tool

python testing security emulation ethereum blockchain symbolic-execution z3 binary-analysis program-analysis smt

UpdatedNov 21, 2025
Python

rizinorg /rizin

Sponsor

Star3.2k

UNIX-like reverse engineering framework and command-line toolset.

debugging security reverse-engineering program-analysis exploitation

UpdatedNov 29, 2025
C

NASA-SW-VnV /ikos

Star3.1k

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

static-analysis program-analysis software-verification abstract-interpretation

UpdatedApr 24, 2025
C++

horsicq /DIE-engine

Sponsor

Star2.9k

DIE engine

entropy reverse-engineering signature disassembler elf binary-analysis program-analysis hacktoberfest yara unpacker hacktoberfest22

UpdatedNov 28, 2025
C++

google /bindiff

Star2.8k

Quickly find differences and similarities in disassembled code

java c-plus-plus reverse-engineering ida-pro program-analysis diffing ida-plugin bindiff binexport program-differencing vxsig

UpdatedNov 10, 2025
Java

python-security /pyt

Star2.2k

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis

UpdatedDec 25, 2020
Python

BinaryAnalysisPlatform /bap

Star2.2k

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

UpdatedApr 30, 2025
OCaml

jar-analyzer /jar-analyzer

Star1.8k

Jar Analyzer - 一个 JAR 包 GUI 分析工具，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索，支持 MCP 调用，文档：https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk

bytecode static-analysis java-decompiler jar java-bytecode vulnerability program-analysis java-gui java-security web-vulnerability java-debugger java-asm java-vulnerability