[PATCH] D28952: [analyzer] Add new Z3 constraint manager backend

wangrunan via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue May 9 21:38:33 PDT 2017

Previous message: [PATCH] D30909: [Analyzer] Finish taint propagation to derived symbols of tainted regions
Next message: [PATCH] D28952: [analyzer] Add new Z3 constraint manager backend
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

iris added a comment.

How can I make z3constraintmanager.cpp work in the command line?Or how to make z3 work?


Repository:
  rL LLVM

https://reviews.llvm.org/D28952

Previous message: [PATCH] D30909: [Analyzer] Finish taint propagation to derived symbols of tainted regions
Next message: [PATCH] D28952: [analyzer] Add new Z3 constraint manager backend
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list