Package edu.umd.cs.findbugs.ba

Examples of edu.umd.cs.findbugs.ba.ReverseDepthFirstSearch

51
52
53
54
55
56
57
58
59
60
61
    @Override
    public ReturnPathTypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
            throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);
        ReturnPathTypeAnalysis analysis = new ReturnPathTypeAnalysis(cfg, rdfs, dfs);
        ReturnPathTypeDataflow dataflow = new ReturnPathTypeDataflow(cfg, analysis);

        dataflow.execute();
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
     */
    @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);
        dataflow.execute();
View Full Code Here
47
48
49
50
51
52
53
54
55
     */
    @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
57
58
59
60
61
62
63
64
65
66
67
        if (methodGen == null) {
            return null;
        }
        CFG cfg = getCFG(analysisCache, descriptor);

        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor);

        LiveLocalStoreAnalysis analysis = new LiveLocalStoreAnalysis(methodGen, rdfs, getDepthFirstSearch(analysisCache,
                descriptor));
        LiveLocalStoreDataflow dataflow = new LiveLocalStoreDataflow(cfg, analysis);
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
     */
    @Override
    protected BackwardTypeQualifierDataflow getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg,
            ValueNumberDataflow vnaDataflow, ConstantPoolGen cpg, IAnalysisCache analysisCache,
            MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) throws CheckedAnalysisException {
        ReverseDepthFirstSearch rdfs = analysisCache.getMethodAnalysis(ReverseDepthFirstSearch.class, methodDescriptor);

        BackwardTypeQualifierDataflowAnalysis analysis = new BackwardTypeQualifierDataflowAnalysis(dfs, rdfs, xmethod, cfg,
                vnaDataflow, cpg, typeQualifierValue);

        // Get the corresponding forward dataflow.
View Full Code Here
TOP

Related Classes of edu.umd.cs.findbugs.ba.ReverseDepthFirstSearch

  • edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflowFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.NonExceptionPostdominatorsAnalysisFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.ReturnPathTypeDataflowFactory
  • edu.umd.cs.findbugs.classfile.engine.bcel.ReverseDepthFirstSearchFactory
    • 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.