trailofbits/manticore — Explores program states to find bugs and generate input

Version	Commit	Size	Downloads	Date
latestLatest	HEAD	8.9 MB	0	1mo ago

:warning: Project is in Maintenance Mode :warning:

This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor enhancements.

Any new or currently open issues and discussions shall be answered and supported by the community.

Manticore

Repository image

Manticore is a symbolic execution tool for the analysis of smart contracts and binaries.

Features

Program Exploration: Manticore can execute a program with symbolic inputs and explore all the possible states it can reach
Input Generation: Manticore can automatically produce concrete inputs that result in a given program state
Error Discovery: Manticore can detect crashes and other failure cases in binaries and smart contracts

manticore

Quick Overview

What is this?

What problem does it solve?

Who should use it?

Pros

Cons

Scores

Trust Score

Maintenance

Popularity

Star History

Snapshot Versions

Alternatives

nodebestpractices

puppeteer

playwright

storybook

localstack

jest

Community Reviews

README

:warning: Project is in Maintenance Mode :warning:

Manticore

Features