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

DOI10.1007/978-3-540-69738-1_21zbMath1132.68329OpenAlexW1776599990MaRDI QIDQ5452615

Francesco Logozzo

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_21

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (4)

Magic-sets for localised analysis of Java bytecode ⋮ Pentagons: a weakly relational abstract domain for the efficient validation of array accesses ⋮ Cibai ⋮ A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

Uses Software

• KRAKATOA
• Spec#
• JUnit
• JACK

Cites Work

• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Class invariants as abstract interpretation of trace semantics
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Grammar Analysis and Parsing by Abstract Interpretation
• Abstract Interpretation Frameworks
• Algebraic Methodology and Software Technology

This page was built for publication: Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes