Examples of dk.brics.string.external.Resolver

dk.brics.string.external.Resolver
Callback interface to allow the string analysis to model some external methods and fields more precisely.
A resolver is added to the current list of active resolvers by the {@link dk.brics.string.StringAnalysis#addResolver StringAnalysis.addResolver} method.Every time the analysis encounters a reference to a field or method which it does not know about, it will ask all active resolvers (in the order in which they were added) for information about the field or method.

        for (Class<?> clazz : customResolvers) {
            Object o = clazz.newInstance();
            if (!(o instanceof Resolver)) {
                throw new RuntimeException(clazz.getCanonicalName() + " does not implement " + Resolver.class.getCanonicalName());
            }
            Resolver resolver = (Resolver)o;
            StringAnalysis.addResolver(resolver);
        }
        
        // create external visibility
        ExternalVisibility ext = null;

View Full Code Here

   */
  public void analyzeStrings() {
    dk.brics.string.Debug.init();
    Debug.println(1, true, "Running string analysis...");
    StringAnalysis.clearResolvers();
    StringAnalysis.addResolver(new Resolver() {
      public MethodResolution resolveMethod(InvokeExpr e, SootMethod m) {
        String sig = m.getSignature();
        if (sig.equals("<dk.brics.xact.XML: java.lang.String getString(java.lang.String)>") ||
            sig.equals("<dk.brics.xact.XML: java.lang.String getString()>")) {
          Automaton a = Datatypes.get("string"); // TODO: should use the XML graph (run twice!?)

View Full Code Here

TOP

Related Classes of dk.brics.string.external.Resolver

dk.brics.string.AnalyzeRuntime

dk.brics.xact.analysis.soot.PutStringSources

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.