[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