TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
The Open Network (TON), with a peak market capitalization exceeding $20 billion and over 175 million activated on-chain addresses, relies on the TVM (TON Virtual Machine) to execute smart contracts. TVM uses first-class continuations with savelists to manage control flow and register state across continuation invocatio...