100644 blob a46b2e071f22020f6261673e7cbb6cd8c7e7613b	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 bc66fde7f83a52f048877bb3ab59c2ed992bdd0c	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 4e5368685e96115f7b2a417584b05dfa1c7169df	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree bbae1c08f6d5c07132a940110a753fbcb4f9a370	fieldaccess
040000 tree f33e89fcc5887dfc7815d9cb4e073156222a1cb9	fieldvalueanalysis
040000 tree 56c0981fd3bff0424df3accc0a9f003d1df0aefb	framework
040000 tree 80fe950d2b379b4667c39a321e19187c9d830399	inlining
040000 tree c1831d49cf09400ec609dbd1afe6b863e35030d5	modeling
040000 tree d837c81506a8bb6a51ba3b80cfb56f9b835d2a6c	proto
040000 tree d62834d3bcd6aa513903af87146ab7fbb07cea25	sideeffect
040000 tree d03a15b3a1bc831527db4adfbe6e160d2e50ff3b	type
040000 tree e6a84b7c97f90a02498cbabbc18f5bb8afda2922	value