#program analysis
topicprogram analysis
3 papers · 1 filter
cs.CR2026
Guarding Organizations Against Malware Risk: A Novel Graph-Based Malware Detection Method
Yinan Gao, Jiarong Xu, Xiaohang Zhao +1
The paper introduces MalGuard, a graph‑based malware detection system that groups basic blocks into operational roles and learns expressive program‑graph representations to improve…
cs.SE2026
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
LEAF is a Rust-native framework that instruments compiled Rust code to capture MIR-level semantics and provide them as an event stream for dynamic analyses such as concolic executi…
cs.SE2026
SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis
Zhechong Huang, Zhao Zhang, Zeyu Sun +2
SpecRL is a reinforcement learning system that improves automatic generation of program specifications by rewarding candidates that reject impossible behaviors identified through g…