#Program-analysis
Showing 29 of 29 repositories tagged #program-analysis, ranked by stars
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Program for determining types of files for Windows, Linux and MacOS.
Performant type-checking for python.
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.
Symbolic execution tool
UNIX-like reverse engineering framework and command-line toolset.
Binary Analysis Platform
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
cwe_checker finds vulnerable patterns in binary executables
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
A new version of Soot with a completely overhauled architecture
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 engineers, and low-level programmers.
Binary Analysis Framework in Rust
The CodeQL extractor and libraries for Go.
Understand any codebase instantly. System intelligence for codebases, built for humans and AI.
A simple crossplatform heuristic PE-analyzer
A binary analysis framework
a safety verifier for Solidity smart contracts
Binary Ninja plugin for loading VTIL routines and lifting VTIL instructions to LLIL for analysis.
YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
gradient-based symbolic execution engine implemented from scratch
PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection
TON Symbolic Analyzer
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
LASSO - A Large-Scale Software Observatorium for the Dynamic Selection, Analysis and Comparison of Software
Repository for a functional attack on miasm's default symbolic execution engine plus solutions!