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=" 77 ", penwidth="10", color="#00688bFF"];
    "[client/commands/__init__.py]" -- "[client/pyre.py]" [label=" 20 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural/callGraph.mli]" -- "[source/interprocedural/callGraph.ml]" [label=" 20 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/callModel.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 19 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/callModel.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 18 ", penwidth="2", color="#00688b70"];
    "[source/ast/statement.mli]" -- "[source/ast/statement.ml]" [label=" 18 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/type_inference/typeInferenceLocal.ml]" -- "[source/analysis/typeCheck.ml]" [label=" 18 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural/callGraph.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 17 ", penwidth="2", color="#00688b70"];
    "[client/pyre.py]" -- "[client/command_arguments.py]" [label=" 17 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural_analyses/taint/domains.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 16 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural/callGraph.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 16 ", penwidth="2", color="#00688b70"];
    "[source/interprocedural/callGraph.mli]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 15 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 14 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 14 ", penwidth="1", color="#00688b5E"];
    "[source/configuration.mli]" -- "[source/configuration.ml]" [label=" 14 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/callModel.mli]" -- "[source/interprocedural_analyses/taint/callModel.ml]" [label=" 14 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/model.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 13 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/refinement.mli]" -- "[source/analysis/refinement.ml]" [label=" 13 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/domains.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 13 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/model.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 13 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural/callGraph.mli]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 13 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/forwardAnalysis.ml]" [label=" 12 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/preprocessing.ml]" -- "[source/ast/statement.ml]" [label=" 12 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.ml]" -- "[source/analysis/refinement.ml]" [label=" 12 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/sources.ml]" -- "[source/interprocedural_analyses/taint/sinks.ml]" [label=" 12 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.ml]" -- "[source/analysis/refinement.mli]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/taintConfiguration.mli]" -- "[source/interprocedural_analyses/taint/taintConfiguration.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/annotation.mli]" -- "[source/analysis/annotation.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/analysisError.mli]" -- "[source/analysis/analysisError.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/globalModel.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/sinks.mli]" -- "[source/interprocedural_analyses/taint/sinks.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.ml]" -- "[source/analysis/typeCheck.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.mli]" -- "[source/analysis/resolution.ml]" [label=" 11 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/modelVerificationError.mli]" -- "[source/interprocedural_analyses/taint/modelVerificationError.ml]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/issue.mli]" -- "[source/interprocedural_analyses/taint/issue.ml]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[client/command_arguments.py]" -- "[client/configuration.py]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.ml]" -- "[source/interprocedural_analyses/type_inference/typeInferenceLocal.ml]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[client/pyre.py]" -- "[client/configuration.py]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[source/server/query.mli]" -- "[source/server/query.ml]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[source/ast/expression.mli]" -- "[source/ast/expression.ml]" [label=" 10 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/sources.mli]" -- "[source/interprocedural_analyses/taint/sinks.mli]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/ast/transform.ml]" -- "[source/analysis/preprocessing.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.mli]" -- "[source/analysis/typeCheck.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/analysisError.ml]" -- "[source/analysis/typeCheck.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/modelParser.ml]" -- "[source/interprocedural_analyses/taint/backwardAnalysis.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.mli]" -- "[source/analysis/refinement.mli]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/ast/statement.ml]" -- "[source/analysis/typeCheck.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/resolution.mli]" -- "[source/analysis/refinement.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/analysis/attributeResolution.ml]" -- "[source/analysis/typeCheck.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];
    "[source/interprocedural_analyses/taint/modelVerificationError.mli]" -- "[source/interprocedural_analyses/taint/modelParser.ml]" [label=" 9 ", penwidth="1", color="#00688b5E"];

}