Belobog equips the fuzzer with a 'map'. By building a type graph from Move's type semantics, it uides transaction generation ...

When you're in the kitchen and throw pasta against the wall, it might stick so that you can tell whether it's cooked. When you're in computer security and you throw things against a target's "wall," ...