Searched refs:ArrayBoundChecker (Results 1 – 4 of 4) 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()
8 ArrayBoundChecker.cpp
329 def ArrayBoundChecker : Checker<"ArrayBound">,331 DescFile<"ArrayBoundChecker.cpp">;
1172 // ArrayBoundChecker. Nothing intelligent (yet); just don't crash.