Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===-- Analyses.def - Metadata about Static Analyses -----------*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | // This file defines the set of static analyses used by AnalysisConsumer. |
||
| 10 | // |
||
| 11 | //===----------------------------------------------------------------------===// |
||
| 12 | |||
| 13 | #ifndef ANALYSIS_CONSTRAINTS |
||
| 14 | #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) |
||
| 15 | #endif |
||
| 16 | |||
| 17 | ANALYSIS_CONSTRAINTS(RangeConstraints, "range", |
||
| 18 | "Use constraint tracking of concrete value ranges", |
||
| 19 | CreateRangeConstraintManager) |
||
| 20 | |||
| 21 | ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver", |
||
| 22 | CreateZ3ConstraintManager) |
||
| 23 | |||
| 24 | #ifndef ANALYSIS_DIAGNOSTICS |
||
| 25 | #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATEFN) |
||
| 26 | #endif |
||
| 27 | |||
| 28 | ANALYSIS_DIAGNOSTICS(HTML, "html", "Output analysis results using HTML", |
||
| 29 | createHTMLDiagnosticConsumer) |
||
| 30 | |||
| 31 | ANALYSIS_DIAGNOSTICS( |
||
| 32 | HTML_SINGLE_FILE, "html-single-file", |
||
| 33 | "Output analysis results using HTML (not allowing for multi-file bugs)", |
||
| 34 | createHTMLSingleFileDiagnosticConsumer) |
||
| 35 | |||
| 36 | ANALYSIS_DIAGNOSTICS(PLIST, "plist", "Output analysis results using Plists", |
||
| 37 | createPlistDiagnosticConsumer) |
||
| 38 | |||
| 39 | ANALYSIS_DIAGNOSTICS( |
||
| 40 | PLIST_MULTI_FILE, "plist-multi-file", |
||
| 41 | "Output analysis results using Plists (allowing for multi-file bugs)", |
||
| 42 | createPlistMultiFileDiagnosticConsumer) |
||
| 43 | |||
| 44 | ANALYSIS_DIAGNOSTICS(PLIST_HTML, "plist-html", |
||
| 45 | "Output analysis results using HTML wrapped with Plists", |
||
| 46 | createPlistHTMLDiagnosticConsumer) |
||
| 47 | |||
| 48 | ANALYSIS_DIAGNOSTICS(SARIF, "sarif", "Output analysis results using SARIF", |
||
| 49 | createSarifDiagnosticConsumer) |
||
| 50 | |||
| 51 | ANALYSIS_DIAGNOSTICS(SARIF_HTML, "sarif-html", |
||
| 52 | "Output analysis results using both SARIF and HTML " |
||
| 53 | "output files", |
||
| 54 | createSarifHTMLDiagnosticConsumer) |
||
| 55 | |||
| 56 | ANALYSIS_DIAGNOSTICS(TEXT, "text", "Text output of analysis results to stderr", |
||
| 57 | createTextPathDiagnosticConsumer) |
||
| 58 | |||
| 59 | ANALYSIS_DIAGNOSTICS(TEXT_MINIMAL, "text-minimal", |
||
| 60 | "Emits minimal diagnostics to stderr, stating only the " |
||
| 61 | "warning message and the associated notes. Usually " |
||
| 62 | "used in addition to other analysis types", |
||
| 63 | createTextMinimalPathDiagnosticConsumer) |
||
| 64 | |||
| 65 | #ifndef ANALYSIS_PURGE |
||
| 66 | #define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) |
||
| 67 | #endif |
||
| 68 | |||
| 69 | ANALYSIS_PURGE( |
||
| 70 | PurgeStmt, "statement", |
||
| 71 | "Purge symbols, bindings, and constraints before every statement") |
||
| 72 | |||
| 73 | ANALYSIS_PURGE( |
||
| 74 | PurgeBlock, "block", |
||
| 75 | "Purge symbols, bindings, and constraints before every basic block") |
||
| 76 | |||
| 77 | ANALYSIS_PURGE(PurgeNone, "none", |
||
| 78 | "Do not purge symbols, bindings, or constraints") |
||
| 79 | |||
| 80 | #ifndef ANALYSIS_INLINING_MODE |
||
| 81 | #define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) |
||
| 82 | #endif |
||
| 83 | |||
| 84 | ANALYSIS_INLINING_MODE(All, "all", "Analyze all functions as top level") |
||
| 85 | |||
| 86 | ANALYSIS_INLINING_MODE( |
||
| 87 | NoRedundancy, "noredundancy", |
||
| 88 | "Do not analyze a function which has been previously inlined") |
||
| 89 | |||
| 90 | #undef ANALYSIS_CONSTRAINTS |
||
| 91 | #undef ANALYSIS_DIAGNOSTICS |
||
| 92 | #undef ANALYSIS_PURGE |
||
| 93 | #undef ANALYSIS_INLINING_MODE |
||
| 94 | #undef ANALYSIS_IPA |