<div dir="ltr">Hello,<div><br></div><div>1. I've noticed that CLang has 2 different analysis modules: GRExprEngine and DataFlowSolver. The former has advanced abstract domains but does not perform fixed point analysis (but rather bounded checking) like the latter. I want to use GRExprEngine for fixed point analysis (i,e, i want to invoke a Join during the analysis). How can i do that?<br clear="all">

<br></div><div>2. What are your thoughts on linking the APRON abstract domain library to CLang? This will allow for a much stronger constraint language than the current one.</div><div><br></div><div>Thanks!<br>-- <br><div dir="ltr">

<span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">Regards,<br><font color="#888888">Nimrod</font></span></div><br>
</div></div>