Cited By
View all- Yao PZhou JXiao XShi QWu RZhang C(2024)Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence AnalysisProceedings of the ACM on Programming Languages10.1145/36564008:PLDI(567-592)Online publication date: 20-Jun-2024
- Erhard JSaan STilscher SSchwarz MHolter KVojdani VSeidl H(2024)Interactive abstract interpretation: reanalyzing multithreaded C programs for cheapInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00768-926:6(647-667)Online publication date: 25-Sep-2024
- Szabó TChandra SBlincoe KTonella P(2023)Incrementalizing Production CodeQL AnalysesProceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3613860(1716-1726)Online publication date: 30-Nov-2023
- Show More Cited By