100644 blob 9a7ddd8c71940530fd1d45080bb4de4e7c81dc01	ClassInitializationAnalysis.java
100644 blob c2a5b534299c376fca24f63fb5906a53d0dbf19a	DeterminismAnalysis.java
100644 blob c791889e3011cd2a915568a5ea34184d696f394a	InitializedClassesOnNormalExitAnalysis.java
100644 blob b2b6111eff94bbb605cd2aed59e878c43cb3be9c	TypeChecker.java
100644 blob 9af04073703c6943de39eb1728373a8814cffb7d	ValueMayDependOnEnvironmentAnalysis.java
100644 blob d8c1bb11d8f8836a3c5ee728a47b4f73d6966cfe	VerifyTypesHelper.java
040000 tree 7890af5d4209ab96c3f82858192be3f8ea802a01	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 194f7e4db3dce7750baecda0a408de68ce8fa271	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree 9cbec1daaa6b98e8f7f5b23474dc5f2b436ae3e7	fieldaccess
040000 tree 9c9484ef337473d39744fcc764a3605bf4a6d4a8	fieldvalueanalysis
040000 tree d22781bb8cdfa459c14e78e42d07bdde7f0e9f28	framework
040000 tree 80fe950d2b379b4667c39a321e19187c9d830399	inlining
040000 tree c1831d49cf09400ec609dbd1afe6b863e35030d5	modeling
040000 tree 68a5ee93f218126e32d276d89bcb62607f610234	proto
040000 tree d62834d3bcd6aa513903af87146ab7fbb07cea25	sideeffect
040000 tree 169fe185cf10d6b4cd2ad8be88d68cd9fbd59573	type
040000 tree 395eafe14477c4c1edc85ea09cdda5add3a9aed3	value