100644 blob 41f5dc8b3181f78149a80c6e5c75a457fe242c70	ClassInitializationAnalysis.java
100644 blob 32c1bb1a06ab7f6c35efe55c78ca76f3bb9519ab	DeterminismAnalysis.java
100644 blob b73a4969ff9e4bff96b7e99d2d70e8136dd05678	InitializedClassesOnNormalExitAnalysis.java
100644 blob 8c8eeb965ae4517e7297909f3318d6bf4d695916	TypeChecker.java
100644 blob fbb42a99cb3369a404829ff0a250ca40fc0ce428	ValueMayDependOnEnvironmentAnalysis.java
040000 tree 7cb93f869d199fd3ed1de7332dc1bbcefd3dceac	constant
040000 tree 21c70a553cae15b70a79a8f7761b10bf5bc11db7	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree 007b44d98795d606ac06b0deb483e0d97c42c637	fieldaccess
040000 tree c40fa04a6e2282d69763f5962273927607488791	fieldvalueanalysis
040000 tree 81688c927d4c83308ebf5d5139bf79f48af6f1fc	modeling
040000 tree 6a9499469ea9158c7e685f8115ee39a894551fa6	proto
040000 tree 1e1e616bd7fb031ec95fd8a3ddfe5d273fd4f04d	sideeffect
040000 tree 4dce2e502f4ff10e7e268b25c44765897f1228fb	type
040000 tree f379db6a8a3f972e54bddb916fee7bc6c009e7f2	value