manticore
Symbolic analyzer
Analyzes programs for potential vulnerabilities and exploits using symbolic execution techniques.
Symbolic execution tool
4k stars
129 watching
474 forks
Language: Python
last commit: over 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,729 |
 pmorissette/bt | A flexible Python framework for building and testing algorithmic trading strategies | 2,316 |
 processing/processing | The official source code for the Processing Development Environment (PDE), including the core and libraries. | 6,486 |
 eth-brownie/brownie | A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine. | 2,662 |
 inventree/inventree | A low-level inventory management system that provides stock control and part tracking functionality. | 4,427 |
 gcanti/io-ts | A library providing tools and types for validating and encoding data in runtime environments. | 6,714 |
 consensys/mythril | An EVM bytecode analysis tool that detects security vulnerabilities in smart contracts using symbolic execution and other techniques. | 3,901 |
 prosemirror/prosemirror | A rich semantic content editor based on contentEditable with support for collaborative editing and custom document schemas. | 7,784 |
 louischatriot/nedb | A JavaScript library implementing a simple and fast in-memory or persistent database | 13,516 |
 watchexec/watchexec | Executes commands in response to file modifications and watches directories for changes. | 5,449 |
 jazzband/pip-tools | Maintains predictable and deterministic builds of Python applications by managing dependencies. | 7,783 |
 tinche/aiofiles | A library that provides asynchronous file I/O support for Python's asyncio framework | 2,908 |
 rgcr/m-cli | A command line tool for macOS that provides a unified interface to various applications and utilities. | 9,703 |
 lisa-lab/pylearn2 | A machine learning research library providing tools and frameworks for building and training neural networks | 2,760 |
 paper-trail-gem/paper_trail | Tracks changes to Rails models for auditing or versioning purposes. | 6,807 |