PropertyStore incorrectly sets fallbacks
Issue #129
wontfix
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)
-
reporter -
reporter - changed status to wontfix
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.
- Log in to comment
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.