Poincaré

Hi Is this fixed?

My question was regarding the IR ensuring flow sensitivity in the analysis to some extent. For the same program i get two different IR representations for android and java byte...

I was under the notion that Android and Java byte code fragments to Jimple IR will lead to exactly same representations. I agree that the program semantics are still sound...

Furthermore, while going through the Flowdroid thesis the author mentions that the even when the pointer analysis was flow insensitive, it does not create a lot of imprecise points to...

@StevenArzt , please comment on the issue.