graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[source/CallPositionFrames.h]" -- "[source/CallPositionFrames.cpp]" [label=" 12 ", penwidth="10", color="#00688bFF"];
    "[source/CalleeFrames.h]" -- "[source/CalleeFrames.cpp]" [label=" 10 ", penwidth="8", color="#00688bDB"];
    "[source/TaintV2.h]" -- "[source/TaintV2.cpp]" [label=" 9 ", penwidth="7", color="#00688bC9"];
    "[source/CalleeFrames.h]" -- "[source/CallPositionFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/CalleeFrames.h]" -- "[source/CallPositionFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/CalleeFrames.cpp]" -- "[source/CallPositionFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.h]" -- "[source/CalleeFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.cpp]" -- "[source/CallPositionFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.cpp]" -- "[source/CalleeFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.cpp]" -- "[source/CalleeFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/CalleeFrames.cpp]" -- "[source/CallPositionFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.h]" -- "[source/CallPositionFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.h]" -- "[source/CalleeFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.cpp]" -- "[source/CallPositionFrames.cpp]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/TaintV2.h]" -- "[source/CallPositionFrames.h]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[source/Options.h]" -- "[source/Options.cpp]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[source/Issue.cpp]" -- "[source/Taint.h]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/TaintV1.h]" -- "[source/TaintV1.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/FulfilledPartialKindState.cpp]" -- "[source/Transfer.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/Transfer.cpp]" -- "[source/CallGraph.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/Model.cpp]" -- "[source/Transfer.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/Taint.h]" -- "[source/Transfer.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/FulfilledPartialKindState.cpp]" -- "[source/Taint.h]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/Redex.h]" -- "[source/Redex.cpp]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[source/MarianaTrench.cpp]" -- "[source/Redex.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/MarianaTrench.cpp]" -- "[source/EventLogger.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/MethodConstraints.cpp]" -- "[source/model-generator/BuilderPatternGenerator.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Taint.h]" -- "[source/CalleeFrames.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/ClassProperties.h]" -- "[source/Heuristics.h]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/MarianaTrench.cpp]" -- "[source/Options.h]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Taint.h]" -- "[source/TaintV1.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/FulfilledPartialKindState.h]" -- "[source/FrameSet.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Heuristics.h]" -- "[source/model-generator/JoinOverrideGenerator.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Transfer.h]" -- "[source/Transfer.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Taint.h]" -- "[source/TaintV2.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/ModelGenerator.h]" -- "[source/Positions.h]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/BuilderPatternGenerator.h]" -- "[source/model-generator/BuilderPatternGenerator.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/ReturnsThisAnalyzer.h]" -- "[source/Model.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/AnalysisEnvironment.cpp]" -- "[source/Taint.h]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/FrameSet.h]" -- "[source/FrameSet.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Heuristics.h]" -- "[source/MarianaTrench.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/CanonicalName.h]" -- "[source/CanonicalName.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Taint.h]" -- "[source/TaintV1.h]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/Model.h]" -- "[source/model-generator/MethodConstraints.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/FrameSet.h]" -- "[source/Transfer.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/ClassProperties.h]" -- "[source/ClassProperties.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/ReturnsThisAnalyzer.h]" -- "[source/Transfer.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/ModelGenerator.h]" -- "[source/model-generator/ModelGenerator.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/JsonModelGenerator.cpp]" -- "[source/Options.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];
    "[source/model-generator/MethodConstraints.cpp]" -- "[source/ModelGeneration.cpp]" [label=" 1 ", penwidth="1", color="#00688b4C"];

}