[cfe-dev] [analyzer][RFC] Attribute(s) to enhance/configure the analysis
Gábor Márton via cfe-dev
cfe-dev at lists.llvm.org
Tue Oct 20 08:34:19 PDT 2020
There is an evolving need to configure the Clang Static Analyzer within the
analyzed source code itself. We'd like to
1) suppress specific checkers (we already have an ongoing discussion at
2) express summaries (mainly argument constraints)
3) express taint propagation rules for functions (or for global variables
What if we had one attribute for CSA with a StringArgument?
(Actually, we already have that with the `annotate` attribute.)
So we'd have something like this:
Disadvantages: we must process strings whenever a node has the 'csa' attr
attached, we have to come up with a "DSL".
Advantages: total flexibility.
I'd like to explore the possible approaches that we could have. For
example, Aaron suggested alternatively for the suppression:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev