Open
Switch to trusted publishing
good first issuehelp wanted
3 comments0 reactions0 assignees
Issues
Open
Cleanup Manticore workspace when a test passes
good first issuetesting
3 comments0 reactions0 assignees
Open
Feature request: Automatic conversion of tx.return_data
ethereumhelp wantedidea
2 comments0 reactions0 assignees
Open
Feature request: Improve API to retrieve transactions
ethereumhelp wantedidea
1 comment0 reactions0 assignees
Open
Assertion failure: assert value.size == self.size when gas is ignored
ethereumhelp wantedpriority-high
1 comment0 reactions1 assignee
Open
Add the Sereum paper examples to test manticore reentrancy detector
Hacktoberfestchallengeeasygood first issuehelp wantedtesting
0 comments0 reactions0 assignees
Open
Add the logic bomb examples to test manticore
Hacktoberfestchallengegood first issuehelp wantedresearchtesting
2 comments0 reactions0 assignees
Open
Refactor logging to allow for complete control when used as a library
good first issuehelp wantedrefactor
0 comments0 reactions1 assignee
Open
Heuristic of the race condition detector does not give interesting result
ethereumhelp wanted
6 comments0 reactions0 assignees
Open
manticore sometimes reports "overflow" for "underflow or "overflow/underflow"
bugethereumhelp wanted
0 comments0 reactions0 assignees
Open
research/consider matching solidity abi api
ethereumhelp wanted
0 comments0 reactions0 assignees
Open
Refactor/unify repetitive pattern
ethereumhelp wantedresearch
0 comments0 reactions0 assignees
Open
Update outdated scripts
Hacktoberfestgood first issuehelp wanted
2 comments0 reactions1 assignee
Open
Increase EVM instruction test coverage
ethereumhelp wantedtesting
0 comments0 reactions1 assignee
Open
Report only used calldata
ethereumhelp wanted
0 comments0 reactions0 assignees
Open
Add the pathgrind examples to test manticore
easygood first issuehelp wantedideatesting
0 comments0 reactions0 assignees
Open
Lack of documentation on how to execute bytecode-only Ethereum contracts
documentationethereumhelp wantedneeds_review
40 comments0 reactions0 assignees
Open
Manticore fails to capture Executor failure in status code
good first issuehelp wanted
2 comments0 reactions0 assignees
Open
AttributeError: 'BoolConstant' object has no attribute 'operands'
bughelp wantedneeds_reviewsmt
2 comments0 reactions0 assignees
Open
Remove STDIN from reports if there was no reads()
easyhelp wanted
2 comments0 reactions0 assignees