Package edu.umd.cs.findbugs.ba

Examples of edu.umd.cs.findbugs.ba.CFG$LocationIterator

28
29
30
31
32
33
34
35
36
37
38
     * edu.umd.cs.findbugs.classfile.IAnalysisEngine#analyze(edu.umd.cs.findbugs
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public DominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true);
        Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg,
                analysis);
        dataflow.execute();
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public NonImplicitExceptionPostDominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
            throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        NonImplicitExceptionPostDominatorsAnalysis analysis = new NonImplicitExceptionPostDominatorsAnalysis(cfg,
                getReverseDepthFirstSearch(analysisCache, descriptor), getDepthFirstSearch(analysisCache, descriptor));
        Dataflow<BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<BitSet, PostDominatorsAnalysis>(cfg, analysis);
        dataflow.execute();

View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
     * edu.umd.cs.findbugs.classfile.IAnalysisEngine#analyze(edu.umd.cs.findbugs
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    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
45
46
47
48
49
50
51
52
53
54
55
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public NonExceptionPostdominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
            throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);
        NonExceptionPostdominatorsAnalysis analysis = new NonExceptionPostdominatorsAnalysis(cfg, rdfs, getDepthFirstSearch(
                analysisCache, descriptor));
        Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg,
                analysis);
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
        MethodGen methodGen = getMethodGen(analysisCache, descriptor);
        if (methodGen == null) {
            throw new MethodUnprofitableException(descriptor);
        }

        CFG cfg = getCFG(analysisCache, descriptor);

        ValueNumberDataflow vnd = getValueNumberDataflow(analysisCache, descriptor);

        UnconditionalValueDerefAnalysis analysis = new UnconditionalValueDerefAnalysis(getReverseDepthFirstSearch(analysisCache,
                descriptor), getDepthFirstSearch(analysisCache, descriptor), cfg, getMethod(analysisCache, descriptor),
View Full Code Here
46
47
48
49
50
51
52
53
54
55
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public ReverseDepthFirstSearch analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
            throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        ReverseDepthFirstSearch rdfs = new ReverseDepthFirstSearch(cfg);
        rdfs.search();
        return rdfs;
    }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
    public IsNullValueDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        MethodGen methodGen = getMethodGen(analysisCache, descriptor);
        if (methodGen == null) {
            throw new MethodUnprofitableException(descriptor);
        }
        CFG cfg = getCFG(analysisCache, descriptor);
        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        AssertionMethods assertionMethods = getAssertionMethods(analysisCache, descriptor.getClassDescriptor());
        TypeDataflow typeDataflow = getTypeDataflow(analysisCache, descriptor);
View Full Code Here
53
54
55
56
57
58
59
60
        if (method.getCode() == null) {
            return null;
        }

        CFG cfg = getCFG(analysisCache, descriptor);
        return new CompactLocationNumbering(cfg);
    }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
            throws CheckedAnalysisException {
        MethodGen methodGen = getMethodGen(analysisCache, descriptor);
        if (methodGen == null) {
            return null;
        }
        CFG cfg = getCFG(analysisCache, descriptor);

        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);

        LiveLocalStoreAnalysis analysis = new LiveLocalStoreAnalysis(methodGen, rdfs, getDepthFirstSearch(analysisCache,
                descriptor));
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
     * edu.umd.cs.findbugs.classfile.IAnalysisEngine#analyze(edu.umd.cs.findbugs
     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public BlockTypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        BlockTypeAnalysis analysis = new BlockTypeAnalysis(dfs);
        BlockTypeDataflow dataflow = new BlockTypeDataflow(cfg, analysis);
        dataflow.execute();
        return dataflow;
View Full Code Here
TOP

Related Classes of edu.umd.cs.findbugs.ba.CFG$LocationIterator

  • edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowFactory
  • edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory
  • edu.umd.cs.findbugs.ba.npe.DerefFinder
  • edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder
  • edu.umd.cs.findbugs.bcel.CFGDetector
  • edu.umd.cs.findbugs.classfile.engine.bcel.BlockTypeAnalysisFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.CompactLocationNumberingFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.DepthFirstSearchFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.DominatorsAnalysisFactory
    • 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.