TasmScan is presented, the first bytecode-level static analysis framework for TVM that enables cross-continuation data flow reasoning without requiring source code and ablation confirms that savelist propagation is essential for resolving indirect register calls that depend on cross-continuation register passing.
Yi-Xuan Liu, Yin Wu, Yi Li· Proceedings of the 41st IEEE...· 0 citations
Standardized token contracts (e.g., ERC-20) form the foundation of digital assets. However, attackers increasingly abuse this standardization to disguise malicious trap tokens. Unlike obvious violations, these contracts employ a strategy of"deceptive adherence": they strictly adhere to standard protocols to evade detec...
Yin Wu, Yi-Xuan Liu, Yi Li et al.· arXiv.org· 1 citation
PrivEscalate is presented, a large-scale benchmark for Linux privilege escalation, comprising 531 Dockerized scenarios spanning 14 sub-categories and PrivEscalate, a domain-specialized wrapper that augments a generic ReAct agent with deterministic enumeration, category matching, and step planning that improves over pri...
Yi-Xuan Liu, Zi-Long Zhen, Yin Wu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.