3 papers
cs.CR2026
Evaluating and Improving Static Application Security Testing Tools for Rust
Huaien Zhang, Zhengjie Zhao, Yu Pei +4
Rust has become a popular systems programming language in recent years because of its strong guarantees on memory and concurrency safety. Many types of system software have been re…
cs.CR2026
Combining LLM and Dynamic Analysis for Universal Testing of Static Application Security Testing Tools
Huaien Zhang, Yu Pei, Hao Chen +1
Static application security testing (SAST) tools help detect potential software vulnerabilities, but they themselves contain faults undermining reliability and usability. Automated…
cs.SE2024
Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Huaien Zhang, Yu Pei, Shuyun Liang +1
Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to…