Raffi Khatchadourian
Raffi Khatchadourian
[Notes on new WALA architectural decisions](https://github.com/wala/WALA/pull/732#issuecomment-606339692).
I thought that perhaps this case could translate to a method invocation but I wasn't quite sure since its execution is deferred.
@juliandolby, yes: ```java public class ArrayList extends AbstractList //... //... /** * Returns the number of elements in this list. * * @return the number of elements in this list...
I wonder if this has something to do with lambda expressions being represented as anonymous inner class instances.
Having a look at the source of the two methods (namely, `toSet()` and `toList()`): in `Collectors.java`: ```java /** * Returns a {@code Collector} that accumulates the input elements into a...
Hm, perhaps setting k=2 for collection instances may help (but of course decrease performance).
No good, it didn't make a difference.
@msridhar Do you have any ideas on the kind of sensitivity that should be adjusted (and where) to avoid such a problem?
Looks like there's a nice in-depth discussion of this in https://github.com/wala/WALA/wiki/Pointer-Analysis.
Here's the IR corresponding to the above nodes: ``` synthetic < Primordial, Lcom/ibm/wala/FakeRootClass, fakeRootMethod()V > CFG: BB0[0..0] -> BB1 -> BB85 BB1[1..1] -> BB2 -> BB85 BB2[2..2] -> BB3 ->...