manticore
by trailofbits
Symbolic execution tool
AI summary
Symbolic analyzer
Analyzes programs for potential vulnerabilities and exploits using symbolic execution techniques.
- stars
- 3.7K
- forks
- 474
- watching
- 129
- awesome lists
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Consensus engine
Replicates state transitions across multiple machines to achieve fault tolerance and consistency
pmorissette/bt2.3K
Strategy tester
A flexible Python framework for building and testing algorithmic trading strategies
Development environment
The official source code for the Processing Development Environment (PDE), including the core and libraries.
Smart contract dev tool
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
Inventory tracker
A low-level inventory management system that provides stock control and part tracking functionality.
gcanti/io-ts6.7K
Data encoder
A library providing tools and types for validating and encoding data in runtime environments.
Contract analyser
An EVM bytecode analysis tool that detects security vulnerabilities in smart contracts using symbolic execution and other techniques.
Editor
A rich semantic content editor based on contentEditable with support for collaborative editing and custom document schemas.
louischatriot/nedb13.5K
Database library
A JavaScript library implementing a simple and fast in-memory or persistent database
File watcher
Executes commands in response to file modifications and watches directories for changes.
Dependency manager
Maintains predictable and deterministic builds of Python applications by managing dependencies.
tinche/aiofiles2.9K
file I/O library
A library that provides asynchronous file I/O support for Python's asyncio framework
rgcr/m-cli9.7K
Utility manager
A command line tool for macOS that provides a unified interface to various applications and utilities.
Neural net framework
A machine learning research library providing tools and frameworks for building and training neural networks
Model tracker
Tracks changes to Rails models for auditing or versioning purposes.
Featured in 8 awesome lists
Each link jumps to the spot where the list mentions manticore.
