|
clang 20.0.0git
|
Go to the source code of this file.
Classes | |
| class | clang::ento::Z3CrosscheckVisitor |
| The bug visitor will walk all the nodes in a path and collect all the constraints. More... | |
| struct | clang::ento::Z3CrosscheckVisitor::Z3Result |
| class | clang::ento::Z3CrosscheckOracle |
| The oracle will decide if a report should be accepted or rejected based on the results of the Z3 solver and the statistics of the queries of a report equivalenece class. More... | |
Namespaces | |
| namespace | clang |
| The JSON file list parser is used to communicate input to InstallAPI. | |
| namespace | clang::ento |
1.9.6