☰

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.


Documentation on exports

PREDICATEplai/5
plai(Cls,Ds,Fixp,AbsInt,Info)

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). Info is a list of properties and informations. One possible value is [time(Total,[(subtask1,T1),...,(subtaskN,TN)])].

PREDICATEcleanup_plai/1
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.

PREDICATEinit_fixpoint/1
No further documentation available for this predicate.

PREDICATEentry_point/5
No further documentation available for this predicate.

PREDICATEgenerate_trans_clauses/4
No further documentation available for this predicate.

PREDICATEtransform_clauses_/5
No further documentation available for this predicate.

PREDICATEtopdown_analysis/3
No further documentation available for this predicate.

PREDICATEmod_topdown_analysis/3
No further documentation available for this predicate.

Generated with LPdoc using Ciao