Manu Sridharan

Getting back to this issue, and at this point I think it's not worth fixing. The tricky issue is that to allow a write of `@Nullable` to a `@MonotonicNonNull` field,...

Hi @bupt01 I don't have enough information to reproduce your issue. If you could create a standalone github repo and then a link to the benchmark that causes the problem...

Please give the exact commands I need to run after cloning the repo to reproduce the problem, thanks

Thank you. Before I dig more, could you confirm you still see the problem with the latest WALA release, 1.6.5? Or is there some reason you cannot upgrade to that...

I put up a PR to update your code to WALA 1.6.5 at https://github.com/bupt01/log4j/pull/1. Looking over your code I think there is some confusion. Are you trying to analyze source...

We have some workarounds for missing annotations in types of `new` expressions, but we don't handle this case yet. I think https://github.com/openjdk/jdk/pull/23946 might eventually solve this problem for us, assuming...

It seems that in the latest JDK 25 early access build this bug is fixed, probably due to openjdk/jdk#23946 landing. We may hold off a bit on rolling our own...

@xenoterracide I'd be open to just baking in some extra excluded field annotations and the like to better handle tests; I think that might be better than us adding yet...

A PR would be most welcome here! No one is actively working on jsdelta these days.

Unfortunately this is a known and long-time limitation; see https://github.com/wala/WALA/issues/549 for some related discussion. @juliandolby do you know of any updated CAst JDT code that supports lambdas?