Issues du dépôt

trailofbits/manticore

Symbolic execution tool

Voir sur GitHub
Stars
 (3 469 étoiles)
Forks
 (481 forks)
Issues indexées
 (22 issues indexées)
issues débutant ouvertes
 (21 issues débutant ouvertes)
Dernière indexation
21 août 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

21 issues indexées ouvertes

Ouverte
Switch to trusted publishing
good first issuehelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #2648 · 29 sept. 2023 · Python · 3 469 étoiles

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

trailofbits / manticore · #1617 · 21 févr. 2020 · Python · 3 469 étoiles

3 commentaires0 réaction0 personne assignée
Ouverte
Feature request: Improve API to retrieve transactions
ethereumhelp wantedidea
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #1594 · 23 janv. 2020 · Python · 3 469 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Add the Sereum paper examples to test manticore reentrancy detector
Hacktoberfestchallengeeasygood first issuehelp wantedtesting
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

trailofbits / manticore · #1490 · 20 juil. 2019 · Python · 3 469 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Add the logic bomb examples to test manticore
Hacktoberfestchallengegood first issuehelp wantedresearchtesting
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #1487 · 15 juil. 2019 · Python · 3 469 étoiles

2 commentaires0 réaction0 personne assignée
Ouverte
Document plugin callbacks
Hacktoberfestdocumentationux
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #1473 · 25 juin 2019 · Python · 3 469 étoiles

2 commentaires0 réaction0 personne assignée
Ouverte
research/consider matching solidity abi api
ethereumhelp wanted
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

trailofbits / manticore · #1069 · 22 août 2018 · Python · 3 469 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Refactor/unify repetitive pattern
ethereumhelp wantedresearch
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

trailofbits / manticore · #1059 · 16 août 2018 · Python · 3 469 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Update outdated scripts
Hacktoberfestgood first issuehelp wanted
Pourquoi recommandéeLabel adapté aux débutants · Guide de contribution disponible
Label adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #1044 · 10 août 2018 · Python · 3 469 étoiles

2 commentaires0 réaction1 personne assignée
Ouverte
Increase EVM instruction test coverage
ethereumhelp wantedtesting
Pourquoi recommandéeAucun commentaire pour l'instant · Label adapté aux débutants
Aucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible

trailofbits / manticore · #1040 · 10 août 2018 · Python · 3 469 étoiles

0 commentaire0 réaction1 personne assignée
Ouverte
Report only used calldata
ethereumhelp wanted
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

trailofbits / manticore · #977 · 14 juil. 2018 · Python · 3 469 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Add the pathgrind examples to test manticore
easygood first issuehelp wantedideatesting
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

trailofbits / manticore · #884 · 30 avr. 2018 · Python · 3 469 étoiles

0 commentaire0 réaction0 personne assignée