Belobog is a type-graph-guided fuzzer that generates well-typed transaction sequences for Move smart contracts and claims to reach 93 of 109 audited vulnerabilities, including all 9 critical ones.
Title resolution pending
1 Pith paper cite this work, alongside 12 external citations. Polarity classification is still indexing.
1
Pith paper citing it
12
external citations · OpenAlex
fields
cs.CR 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
Belobog is a type-graph-guided fuzzer that generates well-typed transaction sequences for Move smart contracts and claims to reach 93 of 109 audited vulnerabilities, including all 9 critical ones.