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 7516adcd82ff126541f95d0677f92b70f4ccef2e	equivalence
040000 tree 17b015f92550889c062e429e5a642bf9bb1837a8	escape
040000 tree 521c8df1f90c73576419f6a31b0c60d5363f6b1c	fieldaccess
040000 tree 80684312dc6662485cb72e45db28c10d8b8622ce	fieldvalueanalysis
040000 tree e64f067c9a362e89bdc7bae0a65fab02fbdf3544	framework
040000 tree 188f7fc139d6e2e25f2722a068b05cf4f6519042	inlining
040000 tree 33eed4db6303040cedb8149db8b91c8bf1010c59	modeling
040000 tree 6a3cb94da0e4f2aa8c61eb827f809e59db854cc6	proto
040000 tree 88338098bb21615f1bc7188488a92843beb3baf4	sideeffect
040000 tree 3734a0e85fb41121c7879a6896ad0e329780b78d	type
040000 tree 8bf0d0793732057f54270058483fc64f4d3ee2af	value