Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Program Analysis Open Source Projects

Open source projects categorized as Program Analysis
Categories > Security > Program Analysis
X64dbg ⭐ 42,376
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
most recent commit 3 months ago
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Detect It Easy ⭐ 6,155
Program for determining types of files for Windows, Linux and MacOS.
most recent commit 3 months ago
Cpplinks ⭐ 3,862
A categorized list of C++ resources.
most recent commit 3 months ago
Mythril ⭐ 3,701
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
dependent packages 7total releases 310most recent commit 5 days agopypi mythril} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Triton ⭐ 3,285
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
dependent packages 1total releases 3most recent commit 14 days agopypi triton-library} Downloads
Rizin ⭐ 2,290
UNIX-like reverse engineering framework and command-line toolset.
most recent commit 3 months ago
Pyt ⭐ 2,005
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
dependent packages 1total releases 15most recent commit 3 years agopypi python-taint} Downloads
Die Engine ⭐ 1,975
DIE engine
most recent commit 3 months ago
Ikos ⭐ 1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
most recent commit 3 months ago
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
Bindiff ⭐ 1,714
Quickly find differences and similarities in disassembled code
most recent commit 3 months ago
Codeanalysis ⭐ 1,535
Static Code Analysis - 静态代码分析
most recent commit 3 months ago
Static Program Analysis Book ⭐ 1,439
Getting started with static program analysis. 静态程序分析入门教程。
most recent commit 7 months ago
Cwe_checker ⭐ 996
cwe_checker finds vulnerable patterns in binary executables
most recent commit 4 months ago
Jar Analyzer Gui ⭐ 898
建议使用新版：https://github.com/jar-analyzer/jar-analyze
most recent commit 5 months ago
Phasar ⭐ 857
A LLVM-based static analysis framework.
most recent commit 3 months ago
Angr Management ⭐ 780
The official angr GUI.
dependent packages 3total releases 184most recent commit 3 months agopypi angr-management} Downloads
Wala ⭐ 709
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
dependent packages 16total releases 20most recent commit 3 months ago
Semgrep Rules ⭐ 698
Semgrep rules registry
most recent commit 23 days ago
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25most recent commit a year agocargo falcon} Downloads
Psychec ⭐ 486
A compiler frontend for the C programming language
most recent commit 3 months ago
The 10 Most Depended On Program Analysis Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Wala ⭐ 709
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
dependent packages 16total releases 20latest release August 04, 2023most recent commit 3 months ago
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25latest release February 15, 2023most recent commit a year agocargo falcon} Downloads
Pycg ⭐ 269
Static Python call graph generator
dependent packages 3total releases 7latest release June 29, 2022most recent commit 5 months agopypi pycg} Downloads
Angr Management ⭐ 780
The official angr GUI.
dependent packages 3total releases 184latest release December 05, 2023most recent commit 3 months agopypi angr-management} Downloads
Pyt ⭐ 2,005
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
dependent packages 1total releases 15latest release November 01, 2018most recent commit 3 years agopypi python-taint} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
The 10 Latest Releases In Program Analysis Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Angr Management ⭐ 780
The official angr GUI.
dependent packages 3total releases 184latest release December 05, 2023most recent commit 3 months agopypi angr-management} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Jcci ⭐ 81
Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具
total releases 15latest release October 13, 2023most recent commit 3 months ago
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11latest release September 10, 2023most recent commit 4 months ago
Wala ⭐ 709
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
dependent packages 16total releases 20latest release August 04, 2023most recent commit 3 months ago
Falcon ⭐ 492
Binary Analysis Framework in Rust
dependent packages 4total releases 25latest release February 15, 2023most recent commit a year agocargo falcon} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.