Displaying 1 result from an estimated 1 matches for "z3constraintmanager".
Did you mean:
constraintmanager
2018 Mar 15
1
[GSoC 2018] Integrate with Z3 SMT solver to reduce false positives.
...itely true or false (i.e. whether the constraints are satisfiable),
thus preventing exponential blowup of the analysis.
However, when I was looking through the github version of LLVM, it seems
like z3 is already incorporated:
https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
I guess my question is, what would the project contribute on top of the z3
manager that is currently implemented for LLVM?
Thanks!
Brenda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180314/d594e46f...