Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Rule

142     /// Get the propagation rule for a given function.
167 /// taint rule.
206 TaintPropagationRule Rule = llvm::StringSwitch<TaintPropagationRule>(Name)
227 if (!Rule.isNull())
228 return Rule;
251 if (Rule.isNull()) {
303 // First, try generating a propagation rule for this function.
304 TaintPropagationRule Rule =
306 if (!Rule.isNull()) {
307 State = Rule.process(CE, C);