Searched refs:ArrayBoundCheckerV2 (Results 1 – 3 of 3) sorted by relevance
29 class ArrayBoundCheckerV2 : class84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad, in checkLocation()181 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, in reportOOB()305 mgr.registerChecker<ArrayBoundCheckerV2>(); in registerArrayBoundCheckerV2()
9 ArrayBoundCheckerV2.cpp
333 def ArrayBoundCheckerV2 : Checker<"ArrayBoundV2">,335 DescFile<"ArrayBoundCheckerV2.cpp">;