Cibai

MaRDI QIDQ38550swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-540-69738-1_21

Described by source

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

Cited in

(6)

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

This page was built for software: Cibai