symbolic-execution
Erfasste Open-Source-Repos mit dem Tag symbolic-execution, sortiert nach Sternen.
Verwandte Themen
Themen, die häufig gemeinsam mit symbolic-execution am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit symbolic-execution getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Triton ist eine dynamische Binäranalyse-Bibliothek. Entwickeln Sie eigene Programmanalyse-Werkzeuge, automatisieren Sie Ihr Reverse Engineering, führen Sie Softwareverifikation durch oder emulieren Sie einfach Code.
★ 4.281+6Sterne-Änderung der letzten 7 Tage - #2
Mythril ist ein auf symbolischer Ausführung basierendes Sicherheitsanalysetool für EVM-Bytecode. Es erkennt Sicherheitslücken in Smart Contracts, die für Ethereum und andere EVM-kompatible Blockchains entwickelt wurden.
★ 4.265-1Sterne-Änderung der letzten 7 Tage - #3★ 3.947+3Sterne-Änderung der letzten 7 Tage
- #4★ 2.975+1Sterne-Änderung der letzten 7 Tage
- #5★ 2.254+0Sterne-Änderung der letzten 7 Tage
- #6
Gewinner des IDA 2016 Plugin Contest! Symbolische Ausführung nur einen Klick entfernt!
★ 1.627+0Sterne-Änderung der letzten 7 Tage - #7
Eine kuratierte Liste von großartigen Ressourcen zur symbolischen Ausführung, einschließlich wichtiger Forschungspapiere, Vorlesungen, Videos und Tools.
★ 1.497+0Sterne-Änderung der letzten 7 Tage - #8
Ein Analysetool für Python, das die Grenze zwischen Testen und Typsystemen verwischt.
★ 1.319+0Sterne-Änderung der letzten 7 Tage - #9★ 1.163+2Sterne-Änderung der letzten 7 Tage
- #10★ 1.090+0Sterne-Änderung der letzten 7 Tage
- #11★ 862+0Sterne-Änderung der letzten 7 Tage
- #12
angr in Ghidra verwenden
★ 624-1Sterne-Änderung der letzten 7 Tage - #13
Simple Theorem Prover, ein effizienter SMT-Solver für Bitvektoren, Gleitkommazahlen und Arrays.
★ 588+1Sterne-Änderung der letzten 7 Tage
