Control Flow

Construct control flow graphs from program source and analyze coverage criteria — node, edge, condition, and path coverage.