opalj/opal

Triggered analyses not executed when running multiple computations

errt opened this issue · 0 comments

errt commented

Triggered analyses are executed whenever the first property is computed for an entity/propertykey pair. If properties are pre-set in the property store, triggered analyses are also executed on the respective entities. However, triggered analyses are currently not executed when there are properties in the property store from a previous phase of analysis execution (i.e., when a fixed point has been reached and new analyses are started thereafter). This is inconsistent, surprising, and probably a bad idea in general.