List view

Report only used calldata

ethereum

help wanted

Status: Open.

#977 In trailofbits/manticore;

· feliam opened on Jul 14, 2018

Implement KLEE special functions for the EVM universe

ethereum

Status: Open.

#1223 In trailofbits/manticore;

· feliam opened on Oct 25, 2018

Refactor/unify repetitive pattern

ethereum

help wanted

research

Status: Open.

#1059 In trailofbits/manticore;

· feliam opened on Aug 16, 2018

research/consider matching solidity abi api

ethereum

help wanted

Status: Open.

#1069 In trailofbits/manticore;

· feliam opened on Aug 22, 2018

eth context manager based API

api

decision-needed

ethereum

Status: Open.

#856 In trailofbits/manticore;

· offlinemark opened on Apr 4, 2018

Mechanism for specifying Ethereum account addresses

api

ethereum

Status: Open.

#966 In trailofbits/manticore;

· ESultanik opened on Jul 5, 2018

TXERROR used for tx error and unhanded internal error

ethereum

Status: Open.

#980 In trailofbits/manticore;

· feliam opened on Jul 16, 2018

manticore-examples Exploit Generation analysis fails

Status: Open.

#1094 In trailofbits/manticore;

· cvediver opened on Aug 28, 2018

Manticore fails to capture Executor failure in status code

good first issue

help wanted

Status: Open.

#770 In trailofbits/manticore;

· yan opened on Feb 23, 2018

Use a custom context object instead of a dict for State.context

api

Status: Open.

#951 In trailofbits/manticore;

· offlinemark opened on Jun 26, 2018

run_hook.py: incorrect instruction size

Status: Open.

#1358 In trailofbits/manticore;

· nkaretnikov opened on Jan 21, 2019

Unclear storage contents in .summary file

bug

ethereum

ux

Status: Open.

#1128 In trailofbits/manticore;

· offlinemark opened on Sep 8, 2018

Add the pathgrind examples to test manticore

easy

good first issue

help wanted

idea

testing

Status: Open.

#884 In trailofbits/manticore;

· gustavo-grieco opened on Apr 30, 2018

evm: provide richer information about testcases

ethereum

ux

Status: Open.

#744 In trailofbits/manticore;

· offlinemark opened on Feb 7, 2018

Lack of documentation on how to execute bytecode-only Ethereum contracts

documentation

ethereum

help wanted

needs_review

Status: Open.

#841 In trailofbits/manticore;

· gustavo-grieco opened on Mar 23, 2018

Improve the quality of examples in the README

documentation

Status: Open.

#1091 In trailofbits/manticore;

· yan opened on Aug 28, 2018

Design and make a Text User Interface that shows progress realtime

idea

Status: Open.

#1272 In trailofbits/manticore;

· feliam opened on Nov 19, 2018

Put together a large set of contract examples

ethereum

Status: Open.

#1204 In trailofbits/manticore;

· feliam opened on Oct 21, 2018

Add instructions for writing new detectors to the wiki

ethereum

Status: Open.

#1259 In trailofbits/manticore;

· dguido opened on Nov 5, 2018