A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking
Abstract elided by the publisher.
Related papers
- Static Analysis versus Software Model Checking for Bug Finding VMCAI 2004
- Performance problems you can fix: a dynamic analysis of memoization opportunities OOPSLA 2015
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability CAV 2018
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Stateless model checking concurrent programs with maximal causality reduction PLDI 2015
- Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE 2025
- Fast and precise type checking for JavaScript OOPSLA 2017