framework/src/main/java/org/checkerframework/framework/flow/package-info.java

/**
 * Contains an extension of the general org.checkerframework.dataflow framework that is specific to
 * the Checker Framework and can be used by any checker.
 */
package org.checkerframework.framework.flow;