Package dk.brics.jwig.analysis.graph

Examples of dk.brics.jwig.analysis.graph.StateMachine

22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
        this.fullStateMachine = fullStateMachine;
    }

    @Override
    public SiteMap construct() {
        StateMachine stateMachine = removeLambdaAndFilterTransitions(fullStateMachine);
        Set<State> seen = new HashSet<State>();
        LinkedList<State> worklist = new LinkedList<State>();
        SiteMap map = new SiteMap();
        for (WebMethodState initialState : stateMachine.getInitialStates()) {
            worklist.add(initialState);
            map.addPage(SiteMapper.makePage(initialState.getMethod()));
            seen.add(initialState);
        }
        while (!worklist.isEmpty()) {
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
        }
        return map;
    }

    private StateMachine removeLambdaAndFilterTransitions(StateMachine machine) {
        StateMachine clone = machine.clone();
        boolean more = true;
        while (more) {
            more = false;
            for (State s : clone.getAllStates()) {
                if (s != null) {
                    for (Transition t : s.getTransitions()) {
                        if (t instanceof LambdaTransition
                                || t instanceof FilterTransition) {
                            State target = t.getTarget();
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
    private static Logger log = Logger.getLogger(InvocationDetector.class);

    public StateMachine detect(Interface interfacee) {
        log.info("Detecting invocations of makeURL");

        StateMachine stateMachine = new StateMachine();
        addRegisteredMethods(interfacee, stateMachine);
        buildCallGraph(stateMachine);
        log.info("Done detecting invocations of makeURL");
        log.info("Analyzing the gap names of XML.plug invocations");
        return stateMachine;
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
    private static final int JWIG_ANALYZE_STATEMENTS = 17;

    @Test
    public void testEmpty() {
        StateMachine stateMachine = new Jaive(MyEmptyWebSite.class)
                .getStateMachine();
        final FormChecker checker = new FormChecker(stateMachine);
        Set<SootMethod> xmlReturners = checker.findXMLReturners();
        Map<Stmt, ValueBox> analysisStatements = checker
                .markAnalysisStatements(stateMachine.getPluggings(),
                        xmlReturners);
        // no starting states --> empty state machine
        assertEquals(0, analysisStatements.size());
    }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
104
105
        assertEquals(0, analysisStatements.size());
    }

    @Test
    public void test() {
        StateMachine stateMachine = new Jaive(MyWebSite.class)
                .getStateMachine();
        final FormChecker checker = new FormChecker(stateMachine);
        Set<SootMethod> xmlReturners = checker.findXMLReturners();
        Map<Stmt, ValueBox> analysisStatements = checker
                .markAnalysisStatements(stateMachine.getPluggings(),
                        xmlReturners);
        assertEquals(11 + JWIG_ANALYZE_STATEMENTS, analysisStatements.size());
    }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
109
    public void saveFlowGraph() {
        DotVisualizer visualizer = new DotVisualizer(stateMachine);
        System.out.println("Saving flowgraph");
        saveFlowGraph(visualizer, "lambda");

        final StateMachine clone = stateMachine.clone();
        clone.removeLambdas();

        DotVisualizer v2 = new DotVisualizer(clone);
        saveFlowGraph(v2, "");
        System.out.println("Done");
    }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
        }
    }

    @Test
    public void test() {
        StateMachine stateMachine = new Jaive(MyWebSite.class)
                .getStateMachine();
        Set<SootMethod> xmlReturners = new FormChecker(stateMachine)
                .findXMLReturners();
        assertEquals(5, xmlReturners.size());
    }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
    private static final int JWIG_CLASSES = 2;

    @Test
    public void test() {
        StateMachine stateMachine = new Jaive(MyWebSite.class)
                .getStateMachine();
        final FormChecker checker = new FormChecker(stateMachine);
        Set<SootMethod> xmlReturners = checker.findXMLReturners();
        final Collection<Plugging> pluggings = stateMachine.getPluggings();
        List<String> classes = checker.markAnalysisClasses(pluggings,
                xmlReturners);
        // webapp & handler = 2 classes

        assertEquals(2 + JWIG_CLASSES, classes.size());
View Full Code Here
TOP

Related Classes of dk.brics.jwig.analysis.graph.StateMachine

  • dk.brics.jwig.analysis.jaive.FormCheckerFindXMLReturnersTest
  • dk.brics.jwig.analysis.jaive.FormCheckerMarkAnalysisClassesTest
  • dk.brics.jwig.analysis.jaive.FormCheckerMarkAnalysisStatementsTest
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.jaive.Jaive
  • dk.brics.jwig.analysis.jaive.Plugging
  • dk.brics.jwig.analysis.siteMap.FullSiteMapConstructor
  • soot.SootMethod
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.