The Abstract Interpretation Component -PLAI

This component is in charge of analysing the program with techniques based on abstract interpretation. See Available abstract domains for the available abstract domains.

Subparts

• PLAI- Abstract Interpretation-based Analysis
• Program Analysis (PLAI)
• fixpo_plai (library)
• Available type domains and widenings
• plai_db (library)
• Applying assertions during fixpoint
• Improving Analysis Using Trust Assertions