<div dir="ltr"><div><div><div><div>Hello,<br><br></div>I have been looking through the static analyzer source code in an effort to better understand how it works and was wondering if there are any good resources on understanding the ExprEngine.<br><br></div>Specifically I am having some trouble understanding how statements inside of functions/loops/etc. are added to the worklist.<br><br></div>Thanks,<br></div>Brad<br></div>