Program Analysis (PLAI)

Stability: [devel] Currently the subject of active development and/or research. Functionality may be limited and API and/or functionality may change without warning or deprecation period. Not recommended yet for use in production.


Usage and interface

Documentation on exports

PREDICATEplai/5
No further documentation available for this predicate.

cleanup_plai(AbsInt)

Cleanups the database of analysis of all permanent information regarding abstract domain AbsInt.

PREDICATEmod_plai/5
mod_plai(Cls,Ds,Fixp,AbsInt,Time)

Performs the analysis of the clauses in Cls (dictionaries of variables in Ds) with fixpoint algorithm Fixp and analysis domain AbsInt. The analysis results are left in a permanent database (see plai_db).

The analysis uses the entry information provided by the entry policy selected in entry_policy preprocessing flag.

PREDICATEis_checker/1
No further documentation available for this predicate.

PREDICATEanalyze/7
No further documentation available for this predicate.

No further documentation available for this predicate.

PREDICATEentry_point/5
No further documentation available for this predicate.

No further documentation available for this predicate.