DC is a library for adding dataflow constraints to C/C++ programs.