search

opalj / opal

https://www.opal-project.de
Other
51 stars 27 forks source link

Fix critical field access information problems #163

Closed maximilianruesch closed 11 months ago

maximilianruesch commented 11 months ago

Fixes two problems from the field access information analysis PRs:

  1. From #126, the state handling for the continuation in the AbstractPointsToAnalysis was faulty and led to inconsistent states
  2. From #145, the getter and setter methods from MethodHandle lookup objects needed adding to the reference.conf