100644 blob 68b456b08cf956ad918a7e07636207c2202544da	AbstractState.java
100644 blob af7a8369b97f5a3e8d1fdacc396994f8c823e979	AbstractTransferFunction.java
100644 blob a8a1832d2e90fb6dc3b1fc9f64e7eb4e5aa31772	DataflowAnalysisResult.java
100644 blob fd0a7615d4780da4293515958f14ea5b4f35a2ab	FailedTransferFunctionResult.java
100644 blob 4f00ef04ef6bd098bb2bb2c01aacbb7d9e7abc31	IntraproceduralDataflowAnalysis.java
100644 blob 96a17abb15008449dfa78ec7dd344b16128bef12	TransferFunctionResult.java