A library for adding dataflow constraints to C/C++ programs