[Soot-list] Control-Flow with regards to a Heros analysis

[Kyle Davey]

Hi there

If I perform an inter-procedural analysis using Heros, will it be path sensitive with regards to different control-flows? In other words, if there is a branching statement in the program being analysed would it be able to analyse the program down each of the branched paths (as well as the rest of the program)?

e.g.
int x = 2;
if (x > 1) {
    x = 5;
}
System.out.println(x);

Assuming no optimisations are made in the above example, would Heros reach the println statement twice depending on the path taken?


I look forward to your response. Thank you.

Kind regards,
Kyle
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190801/debdf479/attachment.html>