Statistics for topic program-analysis

RepositoryStats tracks 595,858 Github repositories, of these 66 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)

x64dbg
x64dbg x64dbg
2.5k
45.0k
other
2.7k
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
ctf x64 x86 oscp x86-64 hacking windows debugger security debugging disassembler cybersecurity security-tools binary-analysis dynamic-analysis malware-analysis program-analysis offensive-security exploit-development reverse-engineering
Created 2015-04-11
5,500 commits to development branch, last one 4 days ago
horsicq
Detect-It-Easy horsicq
740
7.8k
mit
176
Program for determining types of files for Windows, Linux and MacOS.
elf macho detect mach-o packer entropy pentest scanner debugger detector unpacker disassembler hacktoberfest binary-analysis static-analysis malware-analysis malware-research program-analysis hacktoberfest2023 reverse-engineering
Created 2014-06-01
2,062 commits to master branch, last one a day ago
facebook
pyre-check facebook
438
6.9k
mit
115
Performant type-checking for python.
ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation
Created 2017-11-10
17,598 commits to main branch, last one 14 hours ago
Consensys
mythril Consensys
743
3.9k
mit
79
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
ethereum security solidity blockchain smart-contracts program-analysis security-analysis symbolic-execution
Created 2017-09-18
4,895 commits to develop branch, last one 3 months ago
trailofbits
manticore trailofbits
473
3.7k
agpl-3.0
129
Symbolic execution tool
z3 smt python testing ethereum security emulation blockchain binary-analysis program-analysis symbolic-execution
Created 2017-02-10
1,109 commits to master branch, last one about a year ago
JonathanSalwan
Triton JonathanSalwan
540
3.6k
apache-2.0
138
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
lifter emulator deobfuscation taint-analysis binary-analysis dynamic-analysis program-analysis binary-translation symbolic-execution reverse-engineering instruction-semantics
Created 2015-01-25
4,256 commits to master branch, last one 2 months ago

Trending repositories for topic program-analysis (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
x64dbg
x64dbg/x64dbg

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

45,037 (+14)
horsicq
horsicq/Detect-It-Easy

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

7,821 (+13)
mit
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+10)
mit
horsicq
horsicq/DIE-engine

DIE engine

2,438 (+6)
mit
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+4)
gpl-3.0
Last 3 days (relative gain)
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+3%)
mit
trailofbits
trailofbits/siderophile

Find the ideal fuzz targets in a Rust codebase

207 (+0.5%)
mit
soot-oss
soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

603 (+0.3%)
lgpl-2.1
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+0.3%)
gpl-3.0
horsicq
horsicq/DIE-engine

DIE engine

2,438 (+0.2%)
mit
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
x64dbg
x64dbg/x64dbg

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

45,037 (+35)
horsicq
horsicq/Detect-It-Easy

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

7,821 (+32)
mit
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+24)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,757 (+19)
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+12)
gpl-3.0
Last week (relative gain)
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+7%)
mit
soot-oss
soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

603 (+1%)
lgpl-2.1
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+1.0%)
gpl-3.0
learn-llvm
learn-llvm/awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

561 (+0.7%)
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,757 (+0.7%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,757 (+380)
x64dbg
x64dbg/x64dbg

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

45,037 (+193)
horsicq
horsicq/Detect-It-Easy

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

7,821 (+167)
mit
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+119)
mit
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+101)
gpl-3.0
Last month (relative gain)
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+48%)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,757 (+16%)
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+9%)
gpl-3.0
DosX-dev
DosX-dev/PE-LiteScan

A simple crossplatform heuristic PE-analyzer

213 (+7%)
mit
GaloisInc
GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

61 (+5%)
bsd-3-clause
Last 12-months (new repositories)
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

396
mit
mohitmishra786
mohitmishra786/reversingBits

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...

366
mit
DosX-dev
DosX-dev/PE-LiteScan

A simple crossplatform heuristic PE-analyzer

213
mit
Last 12-months (absolute gain)
x64dbg
x64dbg/x64dbg

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

45,037 (+2,781)
horsicq
horsicq/Detect-It-Easy

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

7,821 (+1,992)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,757 (+856)
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+854)
gpl-3.0
google
google/bindiff

Quickly find differences and similarities in disassembled code

2,322 (+665)
apache-2.0
Last 12-months (relative gain)
mohitmishra786
mohitmishra786/reversingBits

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...

366 (+3,227%)
mit
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

396 (+890%)
mit
jar-analyzer
jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

1,244 (+219%)
gpl-3.0
Colton1skees
Colton1skees/Dna

LLVM based static binary analysis framework

195 (+150%)
gpl-3.0
nus-apr
nus-apr/cerberus

Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

67 (+76%)
mit