Package dataflow

Class Summary
StaticDataflow test cases for dataflow analysis involving static fields.