Searched refs:ArrayBoundChecker (Results 1 – 5 of 5) sorted by relevance
26 class ArrayBoundChecker : class36 void ArrayBoundChecker::checkLocation(SVal l, bool isLoad, const Stmt* LoadS, in checkLocation()92 mgr.registerChecker<ArrayBoundChecker>(); in registerArrayBoundChecker()
13 ArrayBoundChecker.cpp
19 ArrayBoundChecker.cpp \
327 def ArrayBoundChecker : Checker<"ArrayBound">,329 DescFile<"ArrayBoundChecker.cpp">;
1172 // ArrayBoundChecker. Nothing intelligent (yet); just don't crash.