Repository Issues

trailofbits/manticore

Symbolic execution tool

GitHub で見る
Stars
 (3,469 stars)
Forks
 (481 forks)
Indexed issues
 (21 indexed issues)
open beginner issues
 (20 open beginner issues)
最終索引
2026年7月5日
最終 GitHub push
2023年6月8日
ライセンス
GNU Affero General Public License v3.0
コントリビューションガイド
コントリビューションガイド
行動規範
行動規範はありません
主要言語
Python
PR merge metrics
 (30d に merged PR はありません)
初心者向けラベル
help wantedgood first issuehacktoberfest

Issue

20 open indexed issues

RSSAtom
オープン
Switch to trusted publishing
good first issuehelp wanted

trailofbits/manticore #2,648 は 2023年9月29日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
3 件のコメント0 件のリアクション0 担当者
オープン
Cleanup Manticore workspace when a test passes
good first issuetesting

trailofbits/manticore #1,617 は 2020年2月21日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
3 件のコメント0 件のリアクション0 担当者
オープン
Feature request: Automatic conversion of tx.return_data
ethereumhelp wantedidea

trailofbits/manticore #1,595 は 2020年1月23日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
2 件のコメント0 件のリアクション0 担当者
オープン
Feature request: Improve API to retrieve transactions
ethereumhelp wantedidea

trailofbits/manticore #1,594 は 2020年1月23日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
1 件のコメント0 件のリアクション0 担当者
オープン
Add the Sereum paper examples to test manticore reentrancy detector
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

trailofbits/manticore #1,490 は 2019年7月20日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Add the logic bomb examples to test manticore
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

trailofbits/manticore #1,487 は 2019年7月15日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
2 件のコメント0 件のリアクション0 担当者
オープン
research/consider matching solidity abi api
ethereumhelp wanted

trailofbits/manticore #1,069 は 2018年8月22日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Refactor/unify repetitive pattern
ethereumhelp wantedresearch

trailofbits/manticore #1,059 は 2018年8月16日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Update outdated scripts
Hacktoberfestgood first issuehelp wanted

trailofbits/manticore #1,044 は 2018年8月10日 に作成 · Python · 3,469 stars

おすすめ理由初心者向けラベルあり · コントリビューションガイドあり
初心者向けラベルありコントリビューションガイドあり
2 件のコメント0 件のリアクション1 担当者
オープン
Increase EVM instruction test coverage
ethereumhelp wantedtesting

trailofbits/manticore #1,040 は 2018年8月10日 に作成 · Python · 3,469 stars

おすすめ理由コメントがまだない · 初心者向けラベルあり
コメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション1 担当者
オープン
Report only used calldata
ethereumhelp wanted

trailofbits/manticore #977 は 2018年7月14日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Add the pathgrind examples to test manticore
easygood first issuehelp wantedideatesting

trailofbits/manticore #884 は 2018年4月30日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Manticore fails to capture Executor failure in status code
good first issuehelp wanted

trailofbits/manticore #770 は 2018年2月23日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
2 件のコメント0 件のリアクション0 担当者
オープン
AttributeError: 'BoolConstant' object has no attribute 'operands'
bughelp wantedneeds_reviewsmt

trailofbits/manticore #485 は 2017年9月7日 に作成 · Python · 3,469 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
2 件のコメント0 件のリアクション0 担当者
オープン
x86: Implement symbolic LSL
help wanted

trailofbits/manticore #92 は 2017年3月21日 に作成 · Python · 3,469 stars

おすすめ理由初心者向けラベルあり · コントリビューションガイドあり
初心者向けラベルありコントリビューションガイドあり
3 件のコメント0 件のリアクション1 担当者