100644 blob 9a7ddd8c71940530fd1d45080bb4de4e7c81dc01	ClassInitializationAnalysis.java
100644 blob c2a5b534299c376fca24f63fb5906a53d0dbf19a	DeterminismAnalysis.java
100644 blob c791889e3011cd2a915568a5ea34184d696f394a	InitializedClassesOnNormalExitAnalysis.java
100644 blob b2b6111eff94bbb605cd2aed59e878c43cb3be9c	TypeChecker.java
100644 blob f15e40423c7f794fa9879e940309b5e993e092db	ValueMayDependOnEnvironmentAnalysis.java
100644 blob d8c1bb11d8f8836a3c5ee728a47b4f73d6966cfe	VerifyTypesHelper.java
040000 tree 625d79370eca6680a4e6d0b1cedd768ae5e82b0f	constant
040000 tree 6115905ca553c16a560f54f253194cb3eff3d364	environmentdependence
040000 tree 194f7e4db3dce7750baecda0a408de68ce8fa271	equivalence
040000 tree a31f80195547088e39b467deaff65227296e944a	escape
040000 tree f8bcb85220cede4c6510de19cda1fd17fdb0aa5a	fieldaccess
040000 tree cd00a3ba0db6ac44f497570bce81fede09ced36f	fieldvalueanalysis
040000 tree d22781bb8cdfa459c14e78e42d07bdde7f0e9f28	framework
040000 tree 959f73bf30e67ef5668484575493c5a87835238d	inlining
040000 tree f0d71f9bd10007df4181f5a1645b42816f8a6e17	modeling
040000 tree 2759d01d4a40f8b414673909ddac0495bc333aca	proto
040000 tree d62834d3bcd6aa513903af87146ab7fbb07cea25	sideeffect
040000 tree e648029ee2560a2afac72d70662b833a766890df	type
040000 tree 12021825249c53f4b9ad06055fcb26d1a32230db	value