This module deals with the construction of coverage measures from control flow graphs extracted from bytecode.