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

You can't submit an answer to this poll because you're not part of this course!

Back to top

COMP3142 24T3 (Software Testing and Quality Assurance) is powered by WebCMS3
CRICOS Provider No. 00098G