BitVecContainsAt Description Check if bitvector contains the given pattern at a specific position.
IterMove Description Move current reading position of Iterator.
IterNext Description Move to next element (wrapper for IterMove)
IterPos Description If there’s space left to read in memory region we’re iterating over, then return a pointer to current read position.
IterPrev Description Move to previous element (wrapper for IterMove)