100644 blob 3fef9c902d1f73ae642eb5c996cf9c50ffd83cb4	Analysis.java
100644 blob 5bd096ec780740a60a35c7b3817f5f40e97de0e9	AnalysisSolver.java
100644 blob 4915ed93229c7276590879429bafd0b753738649	Assumption.java
100644 blob 5ce0a347e1c4ff94e6e978c38958ba66e2a4a991	AssumptionMap.java
100644 blob 1a60e3c41a7efb4136ff97b15b381cbda3d2792e	AssumptionUtil.java
100644 blob f0aab89b48173d17bb1757a5a8a33bd8f1c1b11e	CombinedIntegratedAnalysis.java
100644 blob 93442b53641c274692326e86ed89c84b4b03d9bb	DataflowOptimizer.java
100644 blob 9ec28f30107765e4222e1e2211b724054edc088f	FlowFunction.java
100644 blob c6d64cb12fd3ce10cc2c85b425ef7aa76d3c65e1	Graph.java
100644 blob 49d44c2a98489c15ec0e6088f96bcd29384be3ef	IntegratedAnalysis.java
100644 blob ec60788e56b223b79ec7eb0a92c2199852191c57	IntegratedFlowFunction.java
100644 blob b1a83636d7314eb77dbd91195bf53a47eddb5277	SubgraphAssumptions.java
100644 blob 48af29e738fd8a6a307293a797d1062884151392	TransformationFunction.java
040000 tree f3283eed0f20caafdc7ed880912eeeacbfdc57d1	cfg
040000 tree dd38fc76102fcedbbf242fe757a880fc63c8603d	constants
040000 tree 3f4d3d876aa70290e508520bb0934a85dcdd8e35	copy
040000 tree f6a5214639e4091cf8ccf5302c038de85dd6a960	liveness
040000 tree 80536090ede245c955cacd3fabd057e91be6f580	unreachable