FuzzingLabs/thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

PythonCairoTypeScriptsecurityanalysisdecompilerdisassemblersymbolic-executionsierracfgreversingcallflowcairo-langstarknet
This is stars and forks stats for /FuzzingLabs/thoth repository. As of 24 Apr, 2024 this repository has 219 stars and 21 forks.

Thoth, the Cairo/Starknet security toolkit (analyzer, disassembler and decompiler) Thoth (pronounced "taut" or "toss") is a Cairo/Starknet security toolkit including analyzers, disassemblers & decompilers written in Python 3. Thoth's features include the generation of the call graph, the control-flow graph (CFG) and the data-flow graph for a given Sierra file or Cairo/Starknet compilation artifact. It also includes some really advanced tools like a Symbolic execution engine and Symbolic bounded...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
vlggms/lobotomy-corp13DMJavaScriptHTML2101120
kubesimplify/workshops-contentDockerfileShellHTML14701550
ververica/flink-sql-cookbookDockerfilePythonShell763+11870
NOAA-EMC/GSIFortranShellCMake4601390
change-metrics/monocleHaskellReScriptJavaScript3000510
ReproNim/containersRoffShellPython230130
UTMIST/WallStreetBotsSCSSCSSHTML430170
Vectorized/soladySolidityPythonJavaScript1.7k+16213+1
Jon-Becker/renounSolidityHTMLPython820140
creatorsgarten/creatorsgarten.orgTypeScriptAstroSvelte330160