PADL Analyses

PADL models can be modified or abstracted by applying analyses on the different abstract-level models. All analyses implement the padl.analysis.IAnalysis interface. Among the most popular such analyses is:

Another class of analyses pertain to statements and implement the padl.statement.analysis.IAnalysis interface. Among the most popular such analyses are: