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.