dk.brics.string.java

Interfaces  AbstractDispatchStrategy AssertionCreator FieldReferenceTranslator IntermediateFactory Jimple2IntermediateFactory MethodCallTranslator MethodTranslator StatementTranslator StatementTranslatorFacade StaticStringTypes TaintAnalysisStrategy TranslationContext

Classes  AbstractDispatchClassHierarchy ApplicationFieldReferenceTranslator ApplicationMethodCallTranslator AssertionBranch AssertionBranches AssertionContext AssertionCreatorImpl Automatons BuiltinMethodCallTranslator CompositeFieldReferenceTranslator CompositeMethodCallTranslator ControlFlowBuilder ExprAnswerVisitor HotspotInfo HotspotValueBoxPair Jimple2Intermediate Jimple2IntermediateFactoryImpl MethodTranslatorImpl NaiveMethodCallTranslator PrintClassHierarchy ResolverFieldReferenceTranslator ResolverMethodCallTranslator StatementTranslatorFacadeImpl StatementTranslatorImpl StaticStringTypesNull ThisPointerAnalysis TranslatedStatement Types VariableManager