Cibai

swMATH26821MaRDI QIDQ38550FDOQ38550

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• 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