Statistics for topic program-analysis

RepositoryStats tracks 584,796 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.4k
44.8k
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,488 commits to development branch, last one about a month ago
horsicq
Detect-It-Easy horsicq
733
7.7k
mit
175
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,042 commits to master branch, last one 15 hours ago
facebook
pyre-check facebook
437
6.9k
mit
114
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,017 commits to main branch, last one 16 hours ago
Consensys
mythril Consensys
740
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 2 months ago
trailofbits
manticore trailofbits
471
3.7k
agpl-3.0
130
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
538
3.5k
apache-2.0
137
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 about a month 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)
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+84)
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...

247 (+51)
mit
x64dbg
x64dbg/x64dbg

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

44,844 (+20)
horsicq
horsicq/Detect-It-Easy

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

7,654 (+19)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+8)
mit
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...

247 (+26%)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+4%)
learn-llvm
learn-llvm/awesome-llvm

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

538 (+0.9%)
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

393 (+0.8%)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+0.7%)
mit
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+159)
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...

247 (+151)
mit
x64dbg
x64dbg/x64dbg

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

44,844 (+59)
horsicq
horsicq/Detect-It-Easy

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

7,654 (+49)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+20)
mit
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...

247 (+157%)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+7%)
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

393 (+4%)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+2%)
mit
learn-llvm
learn-llvm/awesome-llvm

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

538 (+2%)
Last month (new repositories)
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...

247
mit
Last month (absolute gain)
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+346)
x64dbg
x64dbg/x64dbg

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

44,844 (+239)
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...

247 (+236)
mit
horsicq
horsicq/Detect-It-Easy

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

7,654 (+220)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+90)
mit
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...

247 (+2,145%)
mit
NASA-SW-VnV
NASA-SW-VnV/ikos

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

2,377 (+17%)
DosX-dev
DosX-dev/PE-LiteScan

A simple crossplatform heuristic PE-analyzer

199 (+12%)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+9%)
mit
GaloisInc
GaloisInc/yapall

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

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

A modern supercompiler for call-by-value functional languages

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

247
mit
DosX-dev
DosX-dev/PE-LiteScan

A simple crossplatform heuristic PE-analyzer

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

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

44,844 (+2,785)
horsicq
horsicq/Detect-It-Easy

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

7,654 (+1,920)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+879)
mit
google
google/bindiff

Quickly find differences and similarities in disassembled code

2,272 (+686)
apache-2.0
rizinorg
rizinorg/rizin

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

2,712 (+518)
lgpl-3.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...

247 (+2,145%)
mit
mazeppa-dev
mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

393 (+883%)
mit
jar-analyzer
jar-analyzer/jar-analyzer

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

1,144 (+332%)
mit
Colton1skees
Colton1skees/Dna

LLVM based static binary analysis framework

192 (+146%)
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.

66 (+69%)
mit