Examples of execute()

Examples of edu.umd.cs.findbugs.ba.LockChecker.execute()

45
46
47
48
49
50
51
52
53
     */
    @Override
    public LockChecker analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        LockChecker lockChecker = new LockChecker(descriptor);

        lockChecker.execute();
        return lockChecker;
    }
}
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.LockDataflow.execute()

60
61
62
63
64
65
66
67
68
69
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        CFG cfg = getCFG(analysisCache, descriptor);

        LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs);
        LockDataflow dataflow = new LockDataflow(cfg, analysis);
        dataflow.execute();
        return dataflow;

    }
}
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.PruneInfeasibleExceptionEdges.execute()

159
160
161
162
163
164
165
166
167
168
169
            try {
                TypeDataflow typeDataflow = analysisCache.getMethodAnalysis(TypeDataflow.class, descriptor);
                // Exception edge pruning based on ExceptionSets.
                // Note: this is quite slow.
                PruneInfeasibleExceptionEdges pruner = new PruneInfeasibleExceptionEdges(cfg, methodGen, typeDataflow);
                pruner.execute();
                changed = changed || pruner.wasCFGModified();
            } catch (MissingClassException e) {
                AnalysisContext.currentAnalysisContext().getLookupFailureCallback()
                .reportMissingClass(e.getClassNotFoundException());
            } catch (DataflowAnalysisException e) {
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.PruneUnconditionalExceptionThrowerEdges.execute()

185
186
187
188
189
190
191
192
193
194
195
                ConstantPoolGen cpg = analysisCache.getClassAnalysis(ConstantPoolGen.class, descriptor.getClassDescriptor());
                TypeDataflow typeDataflow = analysisCache.getMethodAnalysis(TypeDataflow.class, descriptor);

                PruneUnconditionalExceptionThrowerEdges pruner = new PruneUnconditionalExceptionThrowerEdges(jclass, method,
                        methodGen, cfg, cpg, typeDataflow, AnalysisContext.currentAnalysisContext());
                pruner.execute();
                if (pruner.wasCFGModified()) {
                    changed = true;

                }
            } catch (DataflowAnalysisException e) {
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.ReturnPathDataflow.execute()

50
51
52
53
54
55
56
57
58
    public ReturnPathDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        ReturnPathAnalysis analysis = new ReturnPathAnalysis(dfs);
        ReturnPathDataflow dataflow = new ReturnPathDataflow(cfg, analysis);
        dataflow.execute();
        return dataflow;
    }
}
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.bcp.PatternMatcher.execute()

77
78
79
80
81
82
83
84
85
86
87
                if (methodGen == null) {
                    continue;
                }

                PatternMatcher matcher = new PatternMatcher(pattern, classContext, method);
                matcher.execute();

                Iterator<ByteCodePatternMatch> j = matcher.byteCodePatternMatchIterator();
                while (j.hasNext()) {
                    ByteCodePatternMatch match = j.next();
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.ca.CallListDataflow.execute()

27
28
29
30
31
32
33
34
35
36
37
    public CallListDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CallListAnalysis analysis = new CallListAnalysis(getCFG(analysisCache, descriptor), getDepthFirstSearch(analysisCache,
                descriptor), getConstantPoolGen(analysisCache, descriptor.getClassDescriptor()));

        CallListDataflow dataflow = new CallListDataflow(getCFG(analysisCache, descriptor), analysis);
        dataflow.execute();

        return dataflow;

    }
}
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.constant.ConstantDataflow.execute()

31
32
33
34
35
36
37
38
39
40
        if (methodGen == null) {
            return null;
        }
        ConstantAnalysis analysis = new ConstantAnalysis(methodGen, getDepthFirstSearch(analysisCache, descriptor));
        ConstantDataflow dataflow = new ConstantDataflow(getCFG(analysisCache, descriptor), analysis);
        dataflow.execute();

        return dataflow;
    }
}
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow.execute()

77
78
79
80
81
82
83
84
85
86
87
        // XXX: type analysis is needed to resolve method calls for
        // checking whether call targets unconditionally dereference parameters
        analysis.setTypeDataflow(typeDataflow);

        UnconditionalValueDerefDataflow dataflow = new UnconditionalValueDerefDataflow(cfg, analysis);
        dataflow.execute();
        if (ClassContext.DUMP_DATAFLOW_ANALYSIS) {
            dataflow.dumpDataflow(analysis);
        }
        if (UnconditionalValueDerefAnalysis.DEBUG) {
            ClassContext.dumpDataflowInformation(getMethod(analysisCache, descriptor), cfg, vnd, inv, dataflow, typeDataflow);
View Full Code Here

Examples of edu.umd.cs.findbugs.ba.heap.LoadDataflow.execute()

53
54
55
56
57
58
59
60
61
            return null;
        }
        LoadAnalysis analysis = new LoadAnalysis(getDepthFirstSearch(analysisCache, descriptor), getConstantPoolGen(
                analysisCache, descriptor.getClassDescriptor()));
        LoadDataflow dataflow = new LoadDataflow(getCFG(analysisCache, descriptor), analysis);
        dataflow.execute();
        return dataflow;
    }
}
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.