100644 blob 05e6f822cada406aa22293c4241cc91d65998cd6	ClassInitializationAnalysis.java
100644 blob c2a5b534299c376fca24f63fb5906a53d0dbf19a	DeterminismAnalysis.java
100644 blob d6439aa73879e9b707f43de09623198c32ff8764	InitializedClassesOnNormalExitAnalysis.java
100644 blob c2627bc5f0afba3bcf1950dd88aa611ceafbc4d1	TypeChecker.java
100644 blob 924928bd8c124bd6a5e1076360cbe59437ad18f0	ValueMayDependOnEnvironmentAnalysis.java
100644 blob 5643834fc90cd90c91b10a7eec3368ef99187de1	VerifyTypesHelper.java
040000 tree ac7e9c80cafd3016d06e0da8405e464d428a8b7d	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 6628f879ba31302deed8e15e4c93abd0102b33a6	equivalence
040000 tree 17b015f92550889c062e429e5a642bf9bb1837a8	escape
040000 tree b5e0446345e52e1d6d1dfff34385878ab23fcbd9	fieldaccess
040000 tree 57959bf38dea31ca67a60eca1dbf3e173ab2bfb2	fieldvalueanalysis
040000 tree e64f067c9a362e89bdc7bae0a65fab02fbdf3544	framework
040000 tree 5f27d10b4a3311de00152a9435f2c31d93cb4df3	inlining
040000 tree 33eed4db6303040cedb8149db8b91c8bf1010c59	modeling
040000 tree 20897b5d7cb24dc56f9fa233ea1ff5f98e3423d0	proto
040000 tree 88338098bb21615f1bc7188488a92843beb3baf4	sideeffect
040000 tree 3c4c2363e8f968a5c80f99c82536f5c103a1d490	type
040000 tree 08f3639b9b1002a0cf4d7f4044368da31f459d0e	value