Repository Issues

trailofbits/manticore

Symbolic execution tool

Auf GitHub ansehen
Stars
 (3.469 Sterne)
Forks
 (481 Forks)
Indexierte Issues
 (22 indexierte Issues)
offene Einsteiger-Issues
 (21 offene Einsteiger-Issues)
Zuletzt indexiert
21.08.2026
Letzter GitHub Push
08.06.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

21 offene indexierte Issues

Offen
Switch to trusted publishing
good first issuehelp wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

trailofbits / manticore · #2648 · 29.09.2023 · Python · 3.469 Sterne

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

trailofbits / manticore · #1617 · 21.02.2020 · Python · 3.469 Sterne

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

trailofbits / manticore · #1594 · 23.01.2020 · Python · 3.469 Sterne

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

trailofbits / manticore · #1487 · 15.07.2019 · Python · 3.469 Sterne

2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Document plugin callbacks
Hacktoberfestdocumentationux
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

trailofbits / manticore · #1473 · 25.06.2019 · Python · 3.469 Sterne

2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
research/consider matching solidity abi api
ethereumhelp wanted
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

trailofbits / manticore · #1069 · 22.08.2018 · Python · 3.469 Sterne

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

trailofbits / manticore · #1059 · 16.08.2018 · Python · 3.469 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Update outdated scripts
Hacktoberfestgood first issuehelp wanted
Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

trailofbits / manticore · #1044 · 10.08.2018 · Python · 3.469 Sterne

2 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Increase EVM instruction test coverage
ethereumhelp wantedtesting
Warum empfohlenNoch keine Kommentare · Einsteigerfreundliches Label vorhanden
Noch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

trailofbits / manticore · #1040 · 10.08.2018 · Python · 3.469 Sterne

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

trailofbits / manticore · #977 · 14.07.2018 · Python · 3.469 Sterne

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

trailofbits / manticore · #884 · 30.04.2018 · Python · 3.469 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen