100644 blob 937fe2ade6de6305f30677ad4744a98ab4539ceb	AbstractError.java
100644 blob 827529ac1e059da35c36556c01ecf936c95951f0	ClassInitializationAnalysis.java
100644 blob b8e6950651b4dcb995588cd6b73ad6bc8e404ec7	DeterminismAnalysis.java
100644 blob f5cd48db785e2c0f69664edcb1be009a2f09c185	InitializedClassesOnNormalExitAnalysis.java
100644 blob 01a7e3d1ceee821a2b1739d8589b6d38f5b9a898	TypeChecker.java
100644 blob d9f4e2d05bfe9836395300acee14a01da145163a	ValueMayDependOnEnvironmentAnalysis.java
040000 tree 12ded5e3e19ac3250d9d4c82c1344318957723f2	constant
040000 tree eff4fb651a893fe4006704b7680104f75b1984a4	equivalence
040000 tree 0ecf831cce472c8ea6168dbbde620feff8fbc7fb	escape
040000 tree bb1e3f8a34377eefc4c18e04347bb1086c34a36b	fieldaccess
040000 tree 83b5dd4daecad2461c923cefd4c810ffb82c38df	fieldvalueanalysis
040000 tree ec69886b1454d7fa97759a2828d664d8e7987b40	modeling
040000 tree c9aa8d6b4b46172bba4dcda047c909107e3553ec	proto
040000 tree 3c3fc483a50e375026e8c67caa811e33a31c5dcb	sideeffect
040000 tree 311e77c571985d174014950db2c929fbb24f802a	type
040000 tree 6ab8a681cbbf8c783f231e65b0ad746da70a240b	value