100644 blob 416f0642d38cedfdabd650a8a1c50c9f92d9d78d	ClassInitializationAnalysis.java
100644 blob 32c1bb1a06ab7f6c35efe55c78ca76f3bb9519ab	DeterminismAnalysis.java
100644 blob b73a4969ff9e4bff96b7e99d2d70e8136dd05678	InitializedClassesOnNormalExitAnalysis.java
100644 blob 8c8eeb965ae4517e7297909f3318d6bf4d695916	TypeChecker.java
100644 blob 29d38c63d3857885c28f5c5b77a685dfcadfa4dc	ValueMayDependOnEnvironmentAnalysis.java
040000 tree bc66fde7f83a52f048877bb3ab59c2ed992bdd0c	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 21c70a553cae15b70a79a8f7761b10bf5bc11db7	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree 65b8521a825f7e33c61f95c0096abd12b96a541d	fieldaccess
040000 tree b32ead5f05705031eb442484d1a110e2a5e0e0f9	fieldvalueanalysis
040000 tree 0d7f786ffc09b261f1a0116aba4d97b875e45c26	framework
040000 tree 81688c927d4c83308ebf5d5139bf79f48af6f1fc	modeling
040000 tree 5968bffd27191605cb4c4978cf1c1fcdd9e068cc	proto
040000 tree bc8189d5bf6680fe94152fd808b0fd9c3cf7ebc1	sideeffect
040000 tree 8dcb9bef6921b67c593f46e1b8d64e5295798145	type
040000 tree 9eb69f7398d544bc59a54c0cfa4701fea2808f4d	value