Home | History | Annotate | Download | only in Checkers

Lines Matching defs:checkBind

128   void checkBind(SVal location, SVal val, const Stmt*S,
1102 // Stop tracking symbols when a value escapes as a result of checkBind.
1108 void MallocChecker::checkBind(SVal loc, SVal val, const Stmt *S,