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"
    ]




    "[infer/src/base/Config.mli]" -- "[infer/src/base/Config.ml]" [label=" 12 ", penwidth="10", color="#00688bFF"];
    "[infer/src/erlang/ErlangJsonParser.ml]" -- "[infer/src/erlang/ErlangAst.ml]" [label=" 6 ", penwidth="5", color="#00688bA5"];
    "[infer/src/erlang/ErlangEnvironment.mli]" -- "[infer/src/erlang/ErlangEnvironment.ml]" [label=" 5 ", penwidth="4", color="#00688b93"];
    "[infer/src/pulse/PulseBaseAddressAttributes.ml]" -- "[infer/src/pulse/PulseAttribute.mli]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/pulse/PulseBlockSpecialization.ml]" -- "[infer/src/absint/BlockSpecialization.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/pulse/PulseBaseAddressAttributes.ml]" -- "[infer/src/pulse/PulseAttribute.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/backend/ClosureSubstSpecializedMethod.ml]" -- "[infer/src/absint/BlockSpecialization.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/pulse/PulseAttribute.mli]" -- "[infer/src/pulse/PulseAttribute.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/erlang/ErlangTypes.ml]" -- "[infer/src/erlang/ErlangTranslator.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/pulse/PulseAbductiveDomain.mli]" -- "[infer/src/pulse/PulseAbductiveDomain.ml]" [label=" 4 ", penwidth="3", color="#00688b82"];
    "[infer/src/pulse/PulseBaseAddressAttributes.mli]" -- "[infer/src/pulse/PulseAbductiveDomain.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/absint/BlockSpecialization.mli]" -- "[infer/src/absint/BlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/Pulse.ml]" -- "[infer/src/pulse/PulseBlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTranslator.ml]" -- "[infer/src/erlang/ErlangEnvironment.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseAbductiveDomain.ml]" -- "[infer/src/pulse/PulseAttribute.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/backend/CCallSpecializedWithClosures.ml]" -- "[infer/src/absint/BlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBaseAddressAttributes.mli]" -- "[infer/src/pulse/PulseAttribute.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseAbductiveDomain.ml]" -- "[infer/src/pulse/PulseAttribute.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBaseAddressAttributes.mli]" -- "[infer/src/pulse/PulseAttribute.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/cost/ConfigImpactAnalysis.ml]" -- "[infer/src/base/Config.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseInterproc.ml]" -- "[infer/src/pulse/PulseAbductiveDomain.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTypes.mli]" -- "[infer/src/erlang/ErlangTranslator.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseAbductiveDomain.ml]" -- "[infer/src/pulse/PulseBaseAddressAttributes.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTranslator.ml]" -- "[infer/src/erlang/ErlangEnvironment.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseAbductiveDomain.mli]" -- "[infer/src/pulse/Pulse.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBlockSpecialization.mli]" -- "[infer/src/pulse/Pulse.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/absint/BlockSpecialization.mli]" -- "[infer/src/pulse/PulseBlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/backend/CCallSpecializedWithClosures.ml]" -- "[infer/src/absint/BlockSpecialization.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBlockSpecialization.mli]" -- "[infer/src/pulse/PulseBlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/backend/CCallSpecializedWithClosures.ml]" -- "[infer/src/pulse/PulseBlockSpecialization.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/Pulse.ml]" -- "[infer/src/pulse/PulseAbductiveDomain.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTypes.mli]" -- "[infer/src/erlang/ErlangTypes.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTypes.ml]" -- "[infer/src/erlang/ErlangEnvironment.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/erlang/ErlangTypes.ml]" -- "[infer/src/erlang/ErlangEnvironment.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseAbductiveDomain.mli]" -- "[infer/src/pulse/PulseInterproc.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/cost/ConfigImpactAnalysis.ml]" -- "[infer/src/base/Config.mli]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBaseAddressAttributes.mli]" -- "[infer/src/pulse/PulseBaseAddressAttributes.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseBlockSpecialization.ml]" -- "[infer/src/backend/ClosureSubstSpecializedMethod.ml]" [label=" 3 ", penwidth="2", color="#00688b70"];
    "[infer/src/pulse/PulseLatentIssue.ml]" -- "[infer/src/pulse/PulseAbductiveDomain.mli]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/Pulse.ml]" -- "[infer/src/backend/CCallSpecializedWithClosures.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/erlang/ErlangAst.ml]" -- "[infer/src/erlang/ErlangEnvironment.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseReport.ml]" -- "[infer/src/pulse/PulseInterproc.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseAbductiveDomain.ml]" -- "[infer/src/pulse/PulseDiagnostic.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseDecompiler.ml]" -- "[infer/src/pulse/PulseDiagnostic.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/erlang/ErlangTypes.mli]" -- "[infer/src/erlang/ErlangEnvironment.mli]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/clang/cTrans.ml]" -- "[facebook-clang-plugins/libtooling/ASTExporter.h]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseTaint.mli]" -- "[infer/src/pulse/PulseAttribute.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseAbductiveDomain.mli]" -- "[infer/src/pulse/PulseAttribute.mli]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/erlang/ErlangAst.ml]" -- "[infer/src/erlang/ErlangEnvironment.mli]" [label=" 2 ", penwidth="1", color="#00688b5E"];
    "[infer/src/pulse/PulseReport.ml]" -- "[infer/src/pulse/PulseDiagnostic.ml]" [label=" 2 ", penwidth="1", color="#00688b5E"];

}