PropertyStore incorrectly sets fallbacks

Issue #129 wontfix
errt
created an issue

For some combinations of analyses started together, the PropertyStore tries to set fallbacks on entities that already get assigned another value. This can be worked around by starting independent analyses on their own and enforce property completion including fallbacks before starting the rest of the analyses.

Comments (2)

  1. errt reporter

    Run PurityTests in OPAL-Validate in branch issues/issue129 to reproduce the issue. Note that this will also cause NullPointerExceptions for a currently unknown reason.

  2. errt reporter

    This issue arises because EPK equality uses reference identity check on entities. This is not going to change. Analyses have to ensure to use unique identities for entities.

  3. Log in to comment