manticore
Symbolic analyzer
Analyzes programs for potential vulnerabilities and exploits using symbolic execution techniques.
Symbolic execution tool
4k stars
130 watching
472 forks
Language: Python
last commit: about 1 year ago
Linked from 8 awesome lists
binary-analysisblockchainemulationethereumprogram-analysispythonsecuritysmtsymbolic-executiontestingz3
offciercia/defi-developer-road-map
mbasso/awesome-wasm
bkrem/awesome-solidity
crytic/awesome-ethereum-security
pirapira/awesome-ethereum-virtual-machine
saeidshirazi/awesome-smart-contract-security
ahmet/awesome-web3Related projects:
| Repository | Description | Stars |
|---|---|---|
 tendermint/tendermint | Replicates state transitions across multiple machines to achieve fault tolerance and consistency | 5,716 |
 pmorissette/bt | A flexible Python framework for building and testing algorithmic trading strategies | 2,287 |
 processing/processing | The official source code for the Processing Development Environment (PDE), including the core and libraries. | 6,480 |
 eth-brownie/brownie | A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine. | 2,649 |
 inventree/inventree | A powerful tool for managing inventory levels and tracking parts in a low-level stock control system. | 4,326 |
 gcanti/io-ts | A library providing tools and types for validating and encoding data in runtime environments. | 6,703 |
 consensys/mythril | An EVM bytecode analysis tool that detects security vulnerabilities in smart contracts using symbolic execution and other techniques. | 3,882 |
 prosemirror/prosemirror | A rich semantic content editor based on contentEditable with support for collaborative editing and custom document schemas. | 7,742 |
 louischatriot/nedb | A JavaScript library implementing a simple and fast in-memory or persistent database | 13,504 |
 watchexec/watchexec | A tool that watches file system modifications and runs commands in response to changes | 5,388 |
 jazzband/pip-tools | Maintains predictable and deterministic builds of Python applications by managing dependencies. | 7,759 |
 tinche/aiofiles | A library that provides asynchronous file I/O support for Python's asyncio framework | 2,853 |
 rgcr/m-cli | A command line tool for macOS that provides a unified interface to various applications and utilities. | 9,692 |
 lisa-lab/pylearn2 | A machine learning research library providing tools and frameworks for building and training neural networks | 2,757 |
 paper-trail-gem/paper_trail | Tracks changes to Rails models for auditing or versioning purposes. | 6,786 |