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/interprocedural_analyses/taint/forwardAnalysis.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[source/analysis/locationBasedLookup.mli]" -- "[source/analysis/locationBasedLookup.ml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[source/interprocedural_analyses/taint/callModel.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[source/interprocedural_analyses/taint/domains.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[source/interprocedural/classInterval.mli]" -- "[source/interprocedural/classInterval.ml]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[source/interprocedural_analyses/taint/sources.ml]" -- "[source/interprocedural_analyses/taint/sinks.ml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[source/interprocedural_analyses/taint/sinks.ml]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[source/interprocedural_analyses/taint/callModel.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[source/interprocedural_analyses/taint/sources.ml]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[source/interprocedural_analyses/taint/sources.mli]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/domains.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/domains.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/callModel.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sinks.mli]" -- "[source/interprocedural_analyses/taint/sinks.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sinks.mli]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural/classHierarchyGraph.mli]" -- "[source/interprocedural/classHierarchyGraph.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sources.mli]" -- "[source/interprocedural_analyses/taint/sinks.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sources.mli]" -- "[source/interprocedural_analyses/taint/sinks.mli]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sinks.mli]" -- "[source/interprocedural_analyses/taint/sources.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[client/commands/persistent.py]" -- "[client/commands/language_server_protocol.py]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/interprocedural_analyses/taint/sources.mli]" -- "[source/interprocedural_analyses/taint/sources.ml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[source/service/staticAnalysis.mli]" -- "[source/service/staticAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/sinks.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/service/staticAnalysis.mli]" -- "[source/command/analyzeCommand.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransforms.mli]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/issue.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/callModel.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/sources.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/sinks.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintConfiguration.ml]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/domains.ml]" -- "[source/interprocedural_analyses/taint/callModel.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransforms.mli]" -- "[source/interprocedural_analyses/taint/taintConfiguration.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransforms.ml]" -- "[source/interprocedural_analyses/taint/taintConfiguration.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransform.mli]" -- "[source/interprocedural_analyses/taint/taintTransform.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" -- "[source/interprocedural/classInterval.mli]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/analysis/astEnvironment.mli]" -- "[source/analysis/astEnvironment.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/service/memory.mli]" -- "[source/service/memory.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/issue.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/service/dependencyTrackedMemory.mli]" -- "[source/service/dependencyTrackedMemory.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransforms.mli]" -- "[source/interprocedural_analyses/taint/taintTransforms.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/service/staticAnalysis.ml]" -- "[source/command/analyzeCommand.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/sources.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/taintTransforms.ml]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" -- "[source/interprocedural/classInterval.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/hack_parallel/hack_parallel/heap/sharedMemory.mli]" -- "[source/hack_parallel/hack_parallel/heap/sharedMemory.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/modelParser.ml]" -- "[source/interprocedural_analyses/taint/globalModel.ml]" [label=" 1 ", penwidth="1", color="#00688b5E"];

}