Repository Issues

trailofbits/manticore

Symbolic execution tool

Auf GitHub ansehen
Stars
 (3.469 Stars)
Forks
 (481 Forks)
Indexierte Issues
 (21 indexierte Issues)
offene Einsteiger-Issues
 (20 offene Einsteiger-Issues)
Zuletzt indexiert
5. Juli 2026
Letzter GitHub Push
8. Juni 2023
Lizenz
GNU Affero General Public License v3.0
Contributing Guide
Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Python
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)
Einsteiger-Labels
help wantedgood first issuehacktoberfest

Issues

20 offene indexierte Issues

RSSAtom
Offen
Switch to trusted publishing
good first issuehelp wanted

trailofbits/manticore #2.648 29. Sept. 2023 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Cleanup Manticore workspace when a test passes
good first issuetesting

trailofbits/manticore #1.617 21. Feb. 2020 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Feature request: Automatic conversion of tx.return_data
ethereumhelp wantedidea

trailofbits/manticore #1.595 23. Jan. 2020 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Feature request: Improve API to retrieve transactions
ethereumhelp wantedidea

trailofbits/manticore #1.594 23. Jan. 2020 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Add the logic bomb examples to test manticore
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

trailofbits/manticore #1.487 15. Juli 2019 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
research/consider matching solidity abi api
ethereumhelp wanted

trailofbits/manticore #1.069 22. Aug. 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Refactor/unify repetitive pattern
ethereumhelp wantedresearch

trailofbits/manticore #1.059 16. Aug. 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Update outdated scripts
Hacktoberfestgood first issuehelp wanted

trailofbits/manticore #1.044 10. Aug. 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
2 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Increase EVM instruction test coverage
ethereumhelp wantedtesting

trailofbits/manticore #1.040 10. Aug. 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch keine Kommentare · Einsteigerfreundliches Label vorhanden
Noch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Report only used calldata
ethereumhelp wanted

trailofbits/manticore #977 14. Juli 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Add the pathgrind examples to test manticore
easygood first issuehelp wantedideatesting

trailofbits/manticore #884 30. Apr. 2018 geöffnet · Python · 3.469 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
x86: Implement symbolic LSL
help wanted

trailofbits/manticore #92 21. März 2017 geöffnet · Python · 3.469 Stars

Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen1 zugewiesene Person