开放
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 负责人
开放
x86: Implement symbolic LSL
help wanted
为什么推荐带有初学者友好标签 · 提供贡献指南
带有初学者友好标签提供贡献指南
3 条评论0 个反应1 负责人