100644 blob 937fe2ade6de6305f30677ad4744a98ab4539ceb	AbstractError.java
100644 blob 94ee9cf376c1f59bebec974ef1a12571e2f8ee87	ClassInitializationAnalysis.java
100644 blob 9ae6c86d95020f5280850aa743d8f69ebb1e25e8	DeterminismAnalysis.java
100644 blob 406c9e6f6d4ac3840a3100206735c58ab2379c60	InitializedClassesOnNormalExitAnalysis.java
100644 blob f8a621d8969bbc20a804bb336ff62a2ce4f39283	TypeChecker.java
100644 blob f417d657ac6f06dfebcceafcdc49929e73c130fd	ValueMayDependOnEnvironmentAnalysis.java
040000 tree 91398b728f3b705817b37d884913b06c1ee39646	constant
040000 tree 78c3cd0411884d4fc728360cc329257025638fe3	equivalence
040000 tree c1c2d9e7d7e1322d46ddd9cb4a860689ec9f6c42	escape
040000 tree d4d320706d5735caf11deb155f76e74419f6dd4c	fieldaccess
040000 tree a2f2b6833e21832b5d0b02379b79aa318f3f5d67	fieldvalueanalysis
040000 tree 81688c927d4c83308ebf5d5139bf79f48af6f1fc	modeling
040000 tree 4d7fe3e9d37b3e69b10801aa4972e93b1262f1a9	proto
040000 tree a37bcf21265e550fe0fce189ce9059c8babeeef5	sideeffect
040000 tree 635082732b3f4258272e2120a8cee71d43a66e4e	type
040000 tree f43d25762fa7f332aaf4da635a5ebb64ee357d17	value