
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Hi Shweta,</div><div><br></div><div>Please find attached a preliminary version of my patch. I am curious to hear from you how well it works.</div><div><br></div><div>The STP-based constraint manager is implemented as a plug-in which lives in clang/tools/smt-constraint-manager/. There is a README file in that directory that explains how to build and use the plug-in. I have only tested it on OS X.</div><div><br></div><div>The README also details some caveats that will affect both accuracy and performance.</div><div><br></div><div>Note that with this patch applied, the static analyzer will perform worse even when the plug-in is not active, because I had to disable an optimization in SValBuilder::makeSymExprValNN. I also hope to solve this before submitting the patch, but please keep this in mind if you are planning on running benchmarks.</div><div><br></div><div>Best,</div><div>Ryan</div><div><br></div></body></html>