Integrationmodule Ant : sig ... endmodule Buck : sig ... endmodule Buck2Clang : sig ... endmodule BuckBuildReport : sig ... endmodule BuckFlavors : sig ... endmodule BuckJavaFlavor : sig ... endmodule BxlCapture : sig ... endmodule CaptureCompilationDatabase : sig ... endmodule CaptureManipulation : sig ... endmodule CaptureSILJson : sig ... endCapture module for the json analysis in the capture phase
module Clang : sig ... endmodule CompilationDatabase : sig ... endmodule ConfigImpactIssuesTest : sig ... endmodule ConfigImpactPostProcess : sig ... endmodule CostIssuesTest : sig ... endmodule DatalogFacts : sig ... endmodule Differential : sig ... endmodule DifferentialFilters : sig ... endmodule Driver : sig ... endentry points for top-level functionalities such as capture under various build systems, analysis, and reporting
module Erlang : sig ... endmodule Gradle : sig ... endmodule Hack : sig ... endmodule Help : sig ... endmodule InferCommandImplementation : sig ... endimplementations of infer commands
module IssuesTest : sig ... endmodule Javac : sig ... endmodule JsonReports : sig ... endmodule Kotlinc : sig ... endmodule Maven : sig ... endmodule MergeCapture : sig ... endmodule NdkBuild : sig ... endmodule NullsafeAnnotationGraphUtils : sig ... endA helper module to deal with Nullsafe annotation graph's JSON representation
module Python : sig ... endmodule ReportDataFlows : sig ... endmodule ReportDiff : sig ... endmodule ReportLineage : sig ... endmodule SarifReport : sig ... endmodule TextReport : sig ... endmodule TraceBugs : sig ... endmodule XMLReport : sig ... endmodule XcodeBuild : sig ... end