Statistics for topic program-analysis

RepositoryStats tracks 641,255 Github repositories, of these 68 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

707060605050404030302020101000202020202021202120222022202320232024202420252025

Most starred repositories for topic program-analysis (view more)

2.5k
45.8k
other
2.7k
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Created 2015-04-11
5,590 commits to development branch, last one 3 days ago
Program for determining types of files for Windows, Linux and MacOS.
Created 2014-06-01
2,268 commits to master branch, last one a day ago
446
7.0k
mit
113
Performant type-checking for python.
Created 2017-11-10
20,272 commits to main branch, last one a day ago
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.
Created 2017-09-18
4,903 commits to develop branch, last one 2 months ago
477
3.7k
agpl-3.0
129
Symbolic execution tool
Created 2017-02-10
1,109 commits to master branch, last one about a year ago
549
3.7k
apache-2.0
135
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Created 2015-01-25
4,291 commits to master branch, last one 2 months ago

Trending repositories for topic program-analysis (view more)