I use GRCoreEngine to do a path sensitive analysis. For example, I can get two paths for the program below:<br><br>int f(int n) {<br>  if (n > 0)<br>    ...<br>  else<br>    ...<br>}<br><br>I can use the nodes in EndNodes to get these two paths (by backtracking from endnodes).<br>
There are two BlockEdgeDst nodes after the block containing the IfStmt "if (n>0)".<br>How can I know which path is led by the condition n > 0 or n <= 0? That is, how can I know which is the "true"/"false" branch edge?<br>