Dominik Helm

If the entities are all defined in tac, maybe the key should be as well? If I understand you correctly, it is impossible to query the key for any sensible...

Code changes look reasonable, but I'm not sure what the purpose of an eager ReachableMethodsAnalysis would be. ReachableMethodsAnalysis is meant for analyses that only want to analyze methods that are...

Agreed, but #112 should really be fixed, using eager schedulers to work around this is merely a band aid and will not be sufficient once analysis batching is implemented.

I went over this PR and tried several options, none satisfactory. I ended up moving the `null` based handling of methods without bodies into the only analysis that actually uses...

@maximilianruesch Thank you, this looks sensible. I was looking for a way to reuse the method that you now named `processNewContexts`, but didn't find a suitable way. You're right that...

It would probably be simpler to to just return something that is a `ProperPropertyComputationResult` but does nothing. E.g. an empty `Results` or `InterimPartialResult`.

Thank you for looking into this. I had a glance at the CSV, but didn't yet gain deeper insights. I think the steps that we expected to be the most...

Note that there is a compile error in the continuous integration that needs to be fixed

Good question. Did we communicate the old way?

Sadly I don't have much insight into the abstract interpretation code. Can you give me some hints where that ReferenceValue [method](https://github.com/opalj/opal/blob/f8a8fc179bd99697c1e08076a1fd9c8340cca824/OPAL/ai/src/main/scala/org/opalj/ai/domain/l0/TypeLevelReferenceValues.scala#L683-L691) is called from? If that method really leads to...