100644 blob dbaf662da4c94fba55c4d5c169d3ff1754b8e04d	ClassInitializationAnalysis.java
100644 blob c2a5b534299c376fca24f63fb5906a53d0dbf19a	DeterminismAnalysis.java
100644 blob eb26afaf998558d23bf1e49698b59095f78774ce	InitializedClassesOnNormalExitAnalysis.java
100644 blob b2b6111eff94bbb605cd2aed59e878c43cb3be9c	TypeChecker.java
100644 blob 2cf02142bc06c66cdba38bd845ab317450d3b64c	ValueMayDependOnEnvironmentAnalysis.java
100644 blob d8c1bb11d8f8836a3c5ee728a47b4f73d6966cfe	VerifyTypesHelper.java
040000 tree bc66fde7f83a52f048877bb3ab59c2ed992bdd0c	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree db698af340b21bb14ec95142bdcbf9a9311c7bb0	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree 8201da6803ad7021130bd37806d1872c7248e28f	fieldaccess
040000 tree 5b4dcb6037d3a6eabd3583acbed99738a89bf350	fieldvalueanalysis
040000 tree 21ee361cd37f837bc2b9fdd9fe3516548d2cbd18	framework
040000 tree 4dc00415f7b1742ccdd2e3854a15daf938b2ad0d	inlining
040000 tree 4f86ac905833865c1e8279961ab0c156475ea421	modeling
040000 tree 2e1282dda25d86e2851bef8b4290d23aee958c55	proto
040000 tree ae24349b9b3fa86286be318a4a97e83f39f28ad1	sideeffect
040000 tree e5d9d2651f0f2682676e2b0385c1fd78f1fc5bd8	type
040000 tree e9c0c77f91bfac631a70081cd0935c2f29b0ac02	value