analysis -- condition qualifier for conditions used by static analysis toolsanalysis is a condition qualifier that is used for conditions that arenot intended to be checked at run time but only by static analysis tools.