Similar Items: Longitudinal Analyses of SAST Tools: A CodeQL Case Study
- MOSAIC-Bench: Measuring Compositional Vulnerability Induction in Coding Agents
- The Infinite Mutation Engine? Measuring Polymorphism in LLM-Generated Offensive Code
- KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
- SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
- How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
- Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers