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