Searched refs:markPartsInteresting (Results 1 – 1 of 1) sorted by relevance
138 static void markPartsInteresting(PathSensitiveBugReport &BR,673 void ArrayBoundCheckerV2::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting() function in ArrayBoundCheckerV2721 markPartsInteresting(*BR, ErrorState, Offset, IsTaintBug); in reportOOB()723 markPartsInteresting(*BR, ErrorState, *Extent, IsTaintBug); in reportOOB()