arXiv cs.CR·11d agoTasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction#blockchain-security#bytecode#smart-contractsResearch1