Add missing FB copyrights

Reviewed By: jberdine

Differential Revision: D10517964

fbshipit-source-id: b2bbdef03

infer/models/cpp/include/infer_model/begin_name_override.inc

@@ -1,3 +1,10 @@
+/*
+ * Copyright (c) 2016-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
 #define make_shared std__make_shared
 #define enable_shared_from_this std__enable_shared_from_this
 #define shared_ptr std__shared_ptr

infer/models/cpp/include/infer_model/end_name_override.inc

@@ -1,3 +1,10 @@
+/*
+ * Copyright (c) 2016-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
 #undef make_shared
 #undef enable_shared_from_this
 #undef shared_ptr

infer/src/IR/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 ;;

infer/src/atd/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 let cflags = common_cflags @ ["-w"; "-27-32-34-35-39"]

infer/src/atd/java_method_decl.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type java_method_decl = {
   ?signature : string option;
   ~unresolved_signature : bool;

infer/src/atd/java_profiler_samples.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type sampled_method = {
     classname <json name="class"> : string;
     methodname <json name="method"> : string;
@@ -9,4 +16,4 @@ type java_profiler_sample = {
   methods : sampled_method list;
 }
 
-type java_profiler_samples = java_profiler_sample list
+type java_profiler_samples = java_profiler_sample list

infer/src/atd/jsonbug.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2013-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type json_trace_item = {
   level : int;
   filename : string;

infer/src/atd/perf_profiler.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type perf_profiler_item = {
     function_name : string;
     avg_inclusive_cpu_time_ms : float;
@@ -6,4 +13,4 @@ type perf_profiler_item = {
     p90_exclusive_cpu_time_ms : float;
 }
 
-type perf_profiler = perf_profiler_item list
+type perf_profiler = perf_profiler_item list

infer/src/atd/runstate.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type infer_version = {
   major: int;
   minor: int;

infer/src/atd/stacktree.atd

@@ -1,3 +1,10 @@
+(*
+ * Copyright (c) 2016-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
 type line_range_t = {
   start_line : int;
   end_line : int;

infer/src/base/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 ;;

infer/src/bufferoverrun/absLoc.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/bufferoverrun/arrayBlk.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/bufferoverrun/bufferOverrunChecker.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/bufferoverrun/bufferOverrunDomain.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/bufferoverrun/bufferOverrunSemantics.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/bufferoverrun/itv.ml

@@ -1,8 +1,7 @@
 (*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/src/deadcode/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 ;;

infer/src/dune-workspace.in

@@ -1,4 +1,8 @@
 (lang dune 1.0)
+; Copyright (c) 2018-present, Facebook, Inc.
+;
+; This source code is licensed under the MIT license found in the
+; LICENSE file in the root directory of this source tree.
 
 (context (opam (switch @OPAMSWITCH@) (name default) (merlin)))
 (context (opam (switch @OPAMSWITCH@) (name opt)))

infer/src/dune.common.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* use strings so that it looks like OCaml even before substituting, e.g. to use ocamlformat *)
 
 type build_mode = Default | Opt | Test

infer/src/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 let ( ^/ ) = Filename.concat

infer/src/istd/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 ;;

infer/src/scripts/checkCopyright.ml

@@ -205,10 +205,9 @@ let pp_copyright ~monoidics ~ropas ~copyright_year com_style fmt =
   in
   pp_start () ;
   if ropas then (
-    pp_line " Copyright (c) %d-present" copyright_year ;
-    pp_line "" ;
-    pp_line " Programming Research Laboratory (ROPAS)" ;
-    pp_line " Seoul National University, Korea" )
+    pp_line " Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)" ;
+    pp_line "                             Seoul National University, Korea" ;
+    pp_line " Copyright (c) 2017-present, Facebook, Inc." )
   else (
     if monoidics then pp_line " Copyright (c) 2009-2013, Monoidics ltd." ;
     pp_line " Copyright (c) %d-present, Facebook, Inc." copyright_year ) ;
@@ -244,14 +243,17 @@ let copyright_has_changed fname lines ~notice_range:(cstart, cend) ~monoidics ~r
 let com_style_of_lang =
   [ (".ac", comment_style_m4)
   ; (".al", comment_style_al)
+  ; (".atd", comment_style_ocaml)
   ; (".c", comment_style_c)
   ; (".cpp", comment_style_c)
   ; (".h", comment_style_c)
+  ; (".inc", comment_style_c)
   ; (".java", comment_style_c)
   ; (".ll", comment_style_llvm)
   ; (".m", comment_style_c)
   ; (".m4", comment_style_m4)
   ; (".make", comment_style_make)
+  ; (".mk", comment_style_make)
   ; (".ml", comment_style_ocaml)
   ; (".mli", comment_style_ocaml)
   ; (".mll", comment_style_ocaml)
@@ -262,6 +264,10 @@ let com_style_of_lang =
   ; (".re", comment_style_c)
   ; (".rei", comment_style_c)
   ; (".sh", comment_style_shell)
+  ; ("dune.in", comment_style_ocaml)
+  ; ("dune.common.in", comment_style_ocaml)
+  ; ("dune-common.in", comment_style_ocaml)
+  ; ("dune-workspace.in", comment_style_llvm)
   ; ("Makefile", comment_style_make) ]
 
 

infer/src/scripts/dune.in

@@ -1,3 +1,9 @@
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 (* NOTE: prepend dune.common to this file! *)
 
 ;;

infer/tests/build_systems/codetoanalyze/ndk-build/hello_app/jni/Android.mk

@@ -1,5 +1,10 @@
+# Copyright (c) 2016-present, Facebook, Inc.
+#
+# This source code is licensed under the MIT license found in the
+# LICENSE file in the root directory of this source tree.
+
 LOCAL_PATH := $(call my-dir)
 include $(CLEAR_VARS)
 LOCAL_MODULE := hello
 LOCAL_SRC_FILES := ../hello.c
-include $(BUILD_SHARED_LIBRARY)
+include $(BUILD_SHARED_LIBRARY)

infer/tests/codetoanalyze/c/bufferoverrun/Makefile

@@ -1,7 +1,6 @@
-# Copyright (c) 2016-present
-#
-# Programming Research Laboratory (ROPAS)
-# Seoul National University, Korea
+# Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+#                             Seoul National University, Korea
+# Copyright (c) 2017-present, Facebook, Inc.
 #
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/break_continue_return.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/do_while.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/for_loop.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/function_call.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/goto_loop.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/inf_loop.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/nested_loop.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/nested_loop_with_label.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/trivial.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/bufferoverrun/while_loop.c

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

infer/tests/codetoanalyze/c/errors/generic.mk

@@ -1,3 +1,7 @@
+# Copyright (c) 2015-present, Facebook, Inc.
+#
+# This source code is licensed under the MIT license found in the
+# LICENSE file in the root directory of this source tree.
 
 SOURCES = $(shell ls *.c)
 OBJECTS = $(SOURCES:.c=.o)

infer/tests/codetoanalyze/cpp/bufferoverrun/trivial.cpp

@@ -1,8 +1,7 @@
 /*
- * Copyright (c) 2016-present
- *
- * Programming Research Laboratory (ROPAS)
- * Seoul National University, Korea
+ * Copyright (c) 2016-present, Programming Research Laboratory (ROPAS)
+ *                             Seoul National University, Korea
+ * Copyright (c) 2017-present, Facebook, Inc.
  *
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.

sledge/dune-common.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let common_flags =
   {|(-w +a-4-9-18-40-42-44-48@50

sledge/src/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let deps = ["import"; "trace"; "llair_"; "symbheap"]
 

sledge/src/import/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let deps = []
 

sledge/src/llair/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let deps = ["import"; "trace"]
 

sledge/src/symbheap/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let deps = ["import"; "trace"; "llair_"]
 

sledge/src/trace/dune.in

@@ -1,4 +1,10 @@
 (* -*- tuareg -*- *)
+(*
+ * Copyright (c) 2018-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
 
 let deps = ["import"]