<div dir="ltr">Hi, all,<div><br></div><div><div dir="ltr" style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><span style="font-size:13.44px">I am writing a taint tracking checker with clang static analyzer,  and currently I want to do something when a branch is finished being analyzed. So I need to know when the symbolic execution reaches the end of a branch, which means how can I notice that the symbolic execution reaches the end of an If code block or Else code block? I have tried the CompoundStmt, but it didn't work in the callback function CheckPostStmt<CompoundStmt>, and neither did the BlockExpr work. </span></div><div dir="ltr" style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><span style="font-size:13.44px"><br></span></div><div dir="ltr" style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><span style="font-size:13.44px">It seems that the control flow stmt can only be analyzed in a path-insensitive way, such as using the </span><span style="font-family:arial,sans-serif;font-size:small;color:rgb(34,34,34)">ASTDecl and </span><span style="font-family:arial,sans-serif;font-size:small;color:rgb(34,34,34)">ASTCodeBody callbacks. </span><span style="font-size:13.44px">Are there any other possible ways during the symbolic execution to achieve this goal? </span></div>















<div dir="ltr" style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><div><span style="font-size:13.44px"><br></span></div><div><span style="font-size:13.44px">Thank you!</span><br></div><div><span style="font-size:13.44px"><br></span></div></div></div></div>