100644 blob 3fef9c902d1f73ae642eb5c996cf9c50ffd83cb4	Analysis.java
100644 blob c978395b08390a9b6b598b1a11e331048d9fb071	AnalysisSolver.java
100644 blob 4915ed93229c7276590879429bafd0b753738649	Assumption.java
100644 blob 5ce0a347e1c4ff94e6e978c38958ba66e2a4a991	AssumptionMap.java
100644 blob d4b15777a6e1006b48e2329d535daad1c7c5f172	AssumptionUtil.java
100644 blob 3512e3e743d14432e2a46dc8b85a6b3c559bec5c	CombinedIntegratedAnalysis.java
100644 blob 2a2c4ee7efd46f9f414394306dee0aeb123cac65	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 eefa410ef97b5abb5c4b3ecf9355b9b68e69f036	cfg
040000 tree d38f5779dd248a58c024014291028bc7cbb17306	constants
040000 tree cf12f3a34796ccc35547937b524511edded2604c	copy
040000 tree 430340b1699e1181116db71c143508b699f434ff	liveness
040000 tree 4f88ffce18fea70744c9ceb71a72614cc93be384	unreachable