Module Integration.Driver

entry points for top-level functionalities such as capture under various build systems, analysis, and reporting

type mode =
  1. | Analyze
  2. | Ant of {
    1. prog : string;
    2. args : string list;
    }
  3. | BuckErlang of {
    1. prog : string;
    2. args : string list;
    }
  4. | BuckGenrule of {
    1. prog : string;
    }
  5. | BxlClang of {
    1. build_cmd : string list;
    }
  6. | BxlJava of {
    1. build_cmd : string list;
    }
  7. | BxlPython of {
    1. build_cmd : string list;
    }
  8. | Clang of {
    1. compiler : Clang.compiler;
    2. prog : string;
    3. args : string list;
    }
  9. | ClangCompilationDB of {
    1. db_files : [ `Escaped of string | `Raw of string ] list;
    }
  10. | Erlc of {
    1. args : string list;
    }
  11. | Gradle of {
    1. prog : string;
    2. args : string list;
    }
  12. | Hackc of {
    1. prog : string;
    2. args : string list;
    }
  13. | Javac of {
    1. compiler : Javac.compiler;
    2. prog : string;
    3. args : string list;
    }
  14. | JsonSIL of {
    1. cfg_json : string;
    2. tenv_json : string;
    }
  15. | Kotlinc of {
    1. prog : string;
    2. args : string list;
    }
  16. | Llair of {
    1. source_file : string;
    2. llair_file : string;
    }
  17. | Maven of {
    1. prog : string;
    2. args : string list;
    }
  18. | NdkBuild of {
    1. build_cmd : string list;
    }
  19. | Python of {
    1. prog : string;
    2. args : string list;
    }
  20. | PythonBytecode of {
    1. files : string list;
    }
  21. | Rebar3 of {
    1. args : string list;
    }
  22. | Swiftc of {
    1. prog : string;
    2. args : string list;
    }
  23. | Textual of {
    1. textualfiles : string list;
    }
  24. | XcodeBuild of {
    1. prog : string;
    2. args : string list;
    }
  25. | XcodeXcpretty of {
    1. prog : string;
    2. args : string list;
    }

based on the build_system and options passed to infer, we run in different driver modes

val is_analyze_mode : mode -> bool
val mode_from_command_line : mode IStdlib.IStd.Lazy.t

driver mode computed from the command-line arguments and settings in Config

val report : unit -> unit
val run : mode -> unit