Returns the abstract interpreter that should be used for performing the abstract interpretations.
Returns the (initial) domain object that will be used to analyze an entry point.
A project's entry points.
All methods that are potential entry points.
Analyzes the given project by first determining the entry points of the analysis and then starting an independent analysis for each entry point using its own domain.
This method is intended to be overridden by subtraits that need to get
hold on the specified analysis parameters. In this case (in the subtrait)
it is recommended to first analyze the parameters and afterwards to call
this method using
true (default) all entry points will be analyzed in parallel.