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