[clang] [analyzer] Introduce per-entry-point statistics (PR #131175)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 14 04:27:59 PDT 2025


================
@@ -353,6 +353,12 @@ ANALYZER_OPTION(bool, DisplayCTUProgress, "display-ctu-progress",
                 "the analyzer's progress related to ctu.",
                 false)
 
+ANALYZER_OPTION(
+    StringRef, DumpSEStatsToCSV, "dump-se-stats-to-csv",
----------------
steakhal wrote:

Symbolic Execution. We frequently use `SE` as an alternative to `CSA` for legacy reasons.
We should probably rename this option to avoid it all together to something like `dump-entry-point-stats-to-csv`.

https://github.com/llvm/llvm-project/pull/131175


More information about the cfe-commits mailing list