The Abstract Interpretation Component -PLAI

This component is in charge of analysing the program with techniques based on abstract interpretation. Available abstract domains include: gr, sharing, sharefree, sharefree_non_var, sondergaard, shareson, shfrson, def, fros, fd, lsign, depth, top_path_sharing, aeq, eterms, and termsd. The modules implementing these domains are addressed by qualifier domain.

Subparts