CaptureCompilationDatabase (infer.Integration.CaptureCompilationDatabase)

val get_compilation_database_files_buck : 
  IBase.BuckMode.clang_compilation_db_deps ->
  prog:string ->
  args:string list ->
  [> `Raw of string ] list

Get the compilation database files that contain the compilation given by the buck command. It will be the compilation of the passed targets only or also the dependencies according to the flag --buck-compilation-database deps | no-deps

val get_compilation_database_files_xcodebuild : 
  prog:string ->
  args:string list ->
  [> `Escaped of string ] list

Get the compilation database files that contain the compilation given by the xcodebuild command, using xcpretty.

val capture : 
  changed_files:IBase.SourceFile.Set.t option ->
  db_files:[< `Escaped of string | `Raw of string ] list ->
  unit

Run the capture of the files for which we have compilation commands in db_files and changed_files, if specified.