開放
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 負責人