Top #program-analysis Tools & Software

Explore 5 hand-picked tools and software tagged with program-analysis — ranked by popularity and community signals.

Popular Trending Recent Name A-Z

pyre-check

github

Performant type-checking for python.

Security

★ 7,158

mythril

github

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.

Security Python

★ 4,237

manticore

github

Symbolic execution tool

Security Python

★ 3,847

rizin

github

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

Security C

★ 3,555

pyt

github

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Frameworks Python

★ 2,203