Using Static Analysis to Find Bugs

2008/09/01 by Nathaniel Ayewah, William Pugh, David Hovemeyer +2 · 8 citations

paper · doi:10.1109/ms.2008.130

Cited by

• Enhancing Code Review through Fuzzing and Likely Invariants
• Trace: Securing Smart Contract Repository Against Access Control Vulnerability
• Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
• From Noise to Knowledge: Interactive Summaries for Developer Alerts
• WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis
• Fine-Tuning Code Language Models to Detect Cross-Language Bugs
• Can generative AI detect and fix real-world cryptographic misuses?
• CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks