<div>Hello!  Need some help. </div><div>How can I get symbolic values of some variables in function with memory copy loop.
Exactly, I need symbolic values of variables in loop control expression, parent functions arguments, caller functions arguments, etc. i.e. some type of backward-analysis? </div><div><br /></div><div>As I understood I must use checkEndAnalysis callback and then iterate 
over ExplodedGraph nodes again and again and again. Does simpler way exist?</div>