Examples of dk.brics.xact.analysis.flowgraph.statements.UnknownStm

Package dk.brics.xact.analysis.flowgraph.statements

Examples of dk.brics.xact.analysis.flowgraph.statements.UnknownStm

dk.brics.xact.analysis.flowgraph.statements.UnknownStm
Assignment of an unknown value, such as {@link dk.brics.xact.XML#parseDocument(String)} and variants.

        }
        @Override
        public void visitEscapeStm(EscapeStm s) {
          Component c = var_alias.getData(s.getVar());
          if (c.array) {
            cfg.addStatement(new UnknownStm(s.getVar(), s.getOrigin()));
            replace(s, cfg.finish());
          } else {
            cfg.setOrigin(s.getOrigin());
            replace(s, cfg.finish());
          }

View Full Code Here

        // toXML() defined in external code?
        if (!toxmlMethod.getDeclaringClass().isApplicationClass()) {
            // ask config to resolve it
            String typename = config.resolveToXML(toxmlMethod);
            if (typename == null) {
                cfg.addStatement(new UnknownStm(base, context.getCurrentOrigin()));
            } else {
                cfg.addStatement(new ValidateStm(base, null, context.parseSchemaType(typename, context.getCurrentOrigin()), context.getCurrentOrigin()));
            }
            return;
        }

View Full Code Here

    @Override
    public Variable caseThisRef(ThisRef v, Object question) {
        Variable var = makevar();
        SootClass currentClass = context.getCurrentClass();
        if (config.hasExternalSubtypes(currentClass)) {
            cfg.addStatement(new UnknownStm(var, context.getCurrentOrigin()));
            return var;
        }
        cfg.startBranch();
        for (SootMethod m : (List<SootMethod>)context.getHierarchy().resolveAbstractDispatch(currentClass, Scene.v().getMethod("<dk.brics.xact.ToXMLable: dk.brics.xact.XML toXML()>"))) {
            if (!m.getDeclaringClass().isApplicationClass())

View Full Code Here

  /**
   * Generates an UnknownStm.
   */
  private void putUnknown() {
    hardcodeResult = makevar();
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }

View Full Code Here

    hardcodeResult = makevar();
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }
  private void putUnknown(Value var) {
    hardcodeResult = translateExpr(var);
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }

View Full Code Here

TOP

Related Classes of dk.brics.xact.analysis.flowgraph.statements.UnknownStm

dk.brics.xact.analysis.soot.Translator

dk.brics.xact.analysis.transformations.ArrayTransformer

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.