100644 blob 416f0642d38cedfdabd650a8a1c50c9f92d9d78d	ClassInitializationAnalysis.java
100644 blob 32c1bb1a06ab7f6c35efe55c78ca76f3bb9519ab	DeterminismAnalysis.java
100644 blob b73a4969ff9e4bff96b7e99d2d70e8136dd05678	InitializedClassesOnNormalExitAnalysis.java
100644 blob 5926eccdc718f0d1ed0bd3a826bc200253e70ea1	TypeChecker.java
100644 blob 29d38c63d3857885c28f5c5b77a685dfcadfa4dc	ValueMayDependOnEnvironmentAnalysis.java
100644 blob d8c1bb11d8f8836a3c5ee728a47b4f73d6966cfe	VerifyTypesHelper.java
040000 tree bc66fde7f83a52f048877bb3ab59c2ed992bdd0c	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 21c70a553cae15b70a79a8f7761b10bf5bc11db7	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree e906c32c1fec2040347b4fc922b2c62f8c9ba768	fieldaccess
040000 tree 40499770bbd95ca5a257faf2bf8e6a44d7c4f80b	fieldvalueanalysis
040000 tree 57c6b32e21ad3b9ccd5d0d692c43c8769602c3a7	framework
040000 tree 81688c927d4c83308ebf5d5139bf79f48af6f1fc	modeling
040000 tree 67ad47f4a361109fa500dbe26944b3d0fb899ae3	proto
040000 tree bc8189d5bf6680fe94152fd808b0fd9c3cf7ebc1	sideeffect
040000 tree e3d705ae144c6a98684528cff02bedf9c7145cc8	type
040000 tree a66c5d9ef60ca86d6a7646f4bbc011f27a72a73f	value