Toggle Menu
AFL uses (ID of previous BB >> 1) XOR (ID of current BB) as the unique ID for basic block transitions.
Why do we need to do the right shifting for the previous BB?
to handle cases where a branch connects multiple BBs
to handle cases where a BB loops back to itself
Back to top