Lines Matching refs:check
87 class MallocChecker : public Checker<check::DeadSymbols,
88 check::EndPath,
89 check::PreStmt<ReturnStmt>,
90 check::PreStmt<CallExpr>,
91 check::PostStmt<CallExpr>,
92 check::PostStmt<BlockExpr>,
93 check::Location,
94 check::Bind,
96 check::RegionChanges>
143 /// Check if this is one of the functions which can allocate/reallocate memory
181 /// Check if the function is not known to us. So, for example, we could
246 // check. If we have to handle more cases here, it might be cleaner just
387 // Check all the attributes, if there are any.
504 // Check for null dereferences.
567 // Check double free.
982 // Check use after free, when a freed pointer is passed to a call.
1002 // Check if we are returning a symbol.
1017 // Check if we are returning freed memory.
1021 // If this function body is not inlined, check if the symbol is escaping.
1088 // Check if the location is a freed symbolic region.
1097 // Check various ways a symbol can be invalidated.
1177 // Check if the function is known to us. So, for example, we could
