Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.

Francesco Logozzo

Browse the full VMCAI paper archive.