Issues du dépôt

trailofbits/manticore

Symbolic execution tool

Voir sur GitHub
Stars
 (3 469 stars)
Forks
 (481 forks)
Issues indexées
 (21 issues indexées)
issues débutant ouvertes
 (20 issues débutant ouvertes)
Dernière indexation
5 juil. 2026
Dernier push GitHub
8 juin 2023
Licence
GNU Affero General Public License v3.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Python
Métriques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
help wantedgood first issuehacktoberfest

Issues

20 issues indexées ouvertes

RSSAtom
Ouverte
Switch to trusted publishing
good first issuehelp wanted

trailofbits/manticore #2 648 ouverte 29 sept. 2023 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
3 commentaires0 réactions0 assignés
Ouverte
Cleanup Manticore workspace when a test passes
good first issuetesting

trailofbits/manticore #1 617 ouverte 21 févr. 2020 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
3 commentaires0 réactions0 assignés
Ouverte
Add the Sereum paper examples to test manticore reentrancy detector
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

trailofbits/manticore #1 490 ouverte 20 juil. 2019 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
Add the logic bomb examples to test manticore
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

trailofbits/manticore #1 487 ouverte 15 juil. 2019 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
2 commentaires0 réactions0 assignés
Ouverte
research/consider matching solidity abi api
ethereumhelp wanted

trailofbits/manticore #1 069 ouverte 22 août 2018 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
Refactor/unify repetitive pattern
ethereumhelp wantedresearch

trailofbits/manticore #1 059 ouverte 16 août 2018 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
Update outdated scripts
Hacktoberfestgood first issuehelp wanted

trailofbits/manticore #1 044 ouverte 10 août 2018 · Python · 3 469 stars

Pourquoi recommandéeLabel adapté aux débutants · Guide de contribution disponible
Label adapté aux débutantsGuide de contribution disponible
2 commentaires0 réactions1 assigné
Ouverte
Increase EVM instruction test coverage
ethereumhelp wantedtesting

trailofbits/manticore #1 040 ouverte 10 août 2018 · Python · 3 469 stars

Pourquoi recommandéeAucun commentaire pour l'instant · Label adapté aux débutants
Aucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions1 assigné
Ouverte
Report only used calldata
ethereumhelp wanted

trailofbits/manticore #977 ouverte 14 juil. 2018 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
Add the pathgrind examples to test manticore
easygood first issuehelp wantedideatesting

trailofbits/manticore #884 ouverte 30 avr. 2018 · Python · 3 469 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
x86: Implement symbolic LSL
help wanted

trailofbits/manticore #92 ouverte 21 mars 2017 · Python · 3 469 stars

Pourquoi recommandéeLabel adapté aux débutants · Guide de contribution disponible
Label adapté aux débutantsGuide de contribution disponible
3 commentaires0 réactions1 assigné