Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
No abstract available.
Related papers
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- A Fresh Look at Zones and Octagons TOPLAS 2021
- Learning fast and precise numerical analysis PLDI 2020
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Logical Clustering and Learning for Time-Series Data CAV 2017
- Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023
- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops VMCAI 2014
- A static analyzer for large safety-critical software PLDI 2003