symbolic-execution
Dépôts open source suivis étiquetés symbolic-execution, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de symbolic-execution sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés symbolic-execution.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Triton est une bibliothèque d'analyse binaire dynamique. Construisez vos propres outils d'analyse de programmes, automatisez votre ingénierie inverse, effectuez la vérification de logiciels ou émulez simplement du code.
★ 4 281+6Évolution des étoiles sur les 7 derniers jours - #2
Mythril est un outil d'analyse de sécurité basé sur l'exécution symbolique pour le bytecode EVM. Il détecte les vulnérabilités de sécurité dans les smart contracts conçus pour Ethereum et d'autres blockchains compatibles EVM.
★ 4 265-1Évolution des étoiles sur les 7 derniers jours - #3★ 3 947+3Évolution des étoiles sur les 7 derniers jours
- #4★ 2 975+1Évolution des étoiles sur les 7 derniers jours
- #5★ 2 254+0Évolution des étoiles sur les 7 derniers jours
- #6★ 1 627+0Évolution des étoiles sur les 7 derniers jours
- #7
Une liste organisée de ressources exceptionnelles sur l'exécution symbolique, incluant des articles de recherche essentiels, des cours, des vidéos et des outils.
★ 1 497+0Évolution des étoiles sur les 7 derniers jours - #8
Un outil d'analyse pour Python qui brouille la frontière entre les tests et les systèmes de typage.
★ 1 319+0Évolution des étoiles sur les 7 derniers jours - #9★ 1 163+2Évolution des étoiles sur les 7 derniers jours
- #10★ 1 090+0Évolution des étoiles sur les 7 derniers jours
- #11★ 862+0Évolution des étoiles sur les 7 derniers jours
- #12
Utiliser angr dans Ghidra
★ 624+0Évolution des étoiles sur les 7 derniers jours - #13
Simple Theorem Prover, un solveur SMT efficace pour les vecteurs de bits, les nombres à virgule flottante et les tableaux.
★ 588+1Évolution des étoiles sur les 7 derniers jours
