A Library Modeling Language for the Static Analysis of C Programs
Abstract elided by the publisher.
Related papers
- Ilea: inter-language analysis across java and c OOPSLA 2007
- Static Analysis of Shape in TensorFlow Programs ECOOP 2020
- Dynamically Generating Callback Summaries for Enhancing Static Analysis ECOOP 2024
- Data Races and Static Analysis for Interrupt-Driven Kernels ESOP 2019
- Apron: A Library of Numerical Abstract Domains for Static Analysis CAV 2009
- JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution) TACAS 2026
- Learning a Static Analyzer from Data CAV 2017
- Automatic generation of library bindings using static analysis PLDI 2009