Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes. We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons. We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Logozzo, Francesco; Fähndrich, Manuel: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (2010)
- Spoto, Fausto; Payet, Étienne: Magic-sets for localised analysis of Java bytecode (2010)
- Méndez-Lojo, Mario; Navas, Jorge; Hermenegildo, Manuel V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs (2008)
- Logozzo, Francesco: Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes (2007)