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 db698af340b21bb14ec95142bdcbf9a9311c7bb0	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree 3d698e494253772f2c690f76bd0b2f337835d63e	fieldaccess
040000 tree 39c3a8716261e9da9394d3576212be615ba2227b	fieldvalueanalysis
040000 tree 21ee361cd37f837bc2b9fdd9fe3516548d2cbd18	framework
040000 tree 31e7965bcc11014ae6b2d9068a6507d38098a442	inlining
040000 tree 4f86ac905833865c1e8279961ab0c156475ea421	modeling
040000 tree c850cb6c571909e4a7090c697fadcfb379d9f6bc	proto
040000 tree d62834d3bcd6aa513903af87146ab7fbb07cea25	sideeffect
040000 tree 5ef10c9a2522f2f2c01d3d7a180d6e2361fc0279	type
040000 tree 97e41d2a6288a940ccc309ee49adf0dc73a739d4	value