[PATCH] D120289: [clang][dataflow] Add SAT solver interface and implementation

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 22 10:27:49 PST 2022


xazax.hun added a comment.

Note that, there are already precedents for Clang using solver tech from LLVM. E.g., the clang static analyzer's Z3-based refutation support is using the SMT API in LLVM, and there are experiments integrating yet another solver with the SA: https://reviews.llvm.org/D110125


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D120289/new/

https://reviews.llvm.org/D120289



More information about the cfe-commits mailing list