diff --git a/infer/models/cpp/include/infer_model/begin_name_override.inc b/infer/models/cpp/include/infer_model/begin_name_override.inc index a93ad3020..6dc27f242 100644 --- a/infer/models/cpp/include/infer_model/begin_name_override.inc +++ b/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 diff --git a/infer/models/cpp/include/infer_model/end_name_override.inc b/infer/models/cpp/include/infer_model/end_name_override.inc index e94ba3acd..328518380 100644 --- a/infer/models/cpp/include/infer_model/end_name_override.inc +++ b/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 diff --git a/infer/src/IR/dune.in b/infer/src/IR/dune.in index 7e5e65752..fbcc85301 100644 --- a/infer/src/IR/dune.in +++ b/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! *) ;; diff --git a/infer/src/atd/dune.in b/infer/src/atd/dune.in index bf7c4bdf7..812e585a0 100644 --- a/infer/src/atd/dune.in +++ b/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"] diff --git a/infer/src/atd/java_method_decl.atd b/infer/src/atd/java_method_decl.atd index f9da991fb..c9e50381d 100644 --- a/infer/src/atd/java_method_decl.atd +++ b/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; diff --git a/infer/src/atd/java_profiler_samples.atd b/infer/src/atd/java_profiler_samples.atd index 163cb729b..0b5972b78 100644 --- a/infer/src/atd/java_profiler_samples.atd +++ b/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 : string; methodname : string; @@ -9,4 +16,4 @@ type java_profiler_sample = { methods : sampled_method list; } -type java_profiler_samples = java_profiler_sample list \ No newline at end of file +type java_profiler_samples = java_profiler_sample list diff --git a/infer/src/atd/jsonbug.atd b/infer/src/atd/jsonbug.atd index fe655f28c..2d5f62946 100644 --- a/infer/src/atd/jsonbug.atd +++ b/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; diff --git a/infer/src/atd/perf_profiler.atd b/infer/src/atd/perf_profiler.atd index af6972f09..45264d759 100644 --- a/infer/src/atd/perf_profiler.atd +++ b/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 \ No newline at end of file +type perf_profiler = perf_profiler_item list diff --git a/infer/src/atd/runstate.atd b/infer/src/atd/runstate.atd index fe76e0b45..b2912b75c 100644 --- a/infer/src/atd/runstate.atd +++ b/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; diff --git a/infer/src/atd/stacktree.atd b/infer/src/atd/stacktree.atd index 9b325d434..eba879708 100644 --- a/infer/src/atd/stacktree.atd +++ b/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; diff --git a/infer/src/base/dune.in b/infer/src/base/dune.in index 0da4d8431..6651472b0 100644 --- a/infer/src/base/dune.in +++ b/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! *) ;; diff --git a/infer/src/bufferoverrun/absLoc.ml b/infer/src/bufferoverrun/absLoc.ml index 1431bbbbe..8730ea948 100644 --- a/infer/src/bufferoverrun/absLoc.ml +++ b/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. diff --git a/infer/src/bufferoverrun/arrayBlk.ml b/infer/src/bufferoverrun/arrayBlk.ml index f3d86fd47..55e57ec10 100644 --- a/infer/src/bufferoverrun/arrayBlk.ml +++ b/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. diff --git a/infer/src/bufferoverrun/bufferOverrunChecker.ml b/infer/src/bufferoverrun/bufferOverrunChecker.ml index 362076b67..2e718a0e0 100644 --- a/infer/src/bufferoverrun/bufferOverrunChecker.ml +++ b/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. diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml index d48525e84..249d36e56 100644 --- a/infer/src/bufferoverrun/bufferOverrunDomain.ml +++ b/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. diff --git a/infer/src/bufferoverrun/bufferOverrunSemantics.ml b/infer/src/bufferoverrun/bufferOverrunSemantics.ml index cb6a12286..b32d6eb66 100644 --- a/infer/src/bufferoverrun/bufferOverrunSemantics.ml +++ b/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. diff --git a/infer/src/bufferoverrun/itv.ml b/infer/src/bufferoverrun/itv.ml index 0080e5e51..0e5936424 100644 --- a/infer/src/bufferoverrun/itv.ml +++ b/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. diff --git a/infer/src/deadcode/dune.in b/infer/src/deadcode/dune.in index 42d4cb148..e2fd884fb 100644 --- a/infer/src/deadcode/dune.in +++ b/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! *) ;; diff --git a/infer/src/dune-workspace.in b/infer/src/dune-workspace.in index d8b8f47b0..e22f7d83d 100644 --- a/infer/src/dune-workspace.in +++ b/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))) diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in index 9421655fd..7cdd3f03c 100644 --- a/infer/src/dune.common.in +++ b/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 diff --git a/infer/src/dune.in b/infer/src/dune.in index c981e3c86..72f1a9cb1 100644 --- a/infer/src/dune.in +++ b/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 diff --git a/infer/src/istd/dune.in b/infer/src/istd/dune.in index 5737ab624..da9453813 100644 --- a/infer/src/istd/dune.in +++ b/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! *) ;; diff --git a/infer/src/scripts/checkCopyright.ml b/infer/src/scripts/checkCopyright.ml index 88a27c475..e2ad859fd 100644 --- a/infer/src/scripts/checkCopyright.ml +++ b/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) ] diff --git a/infer/src/scripts/dune.in b/infer/src/scripts/dune.in index 60b4ad47a..b1b60025d 100644 --- a/infer/src/scripts/dune.in +++ b/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! *) ;; diff --git a/infer/tests/build_systems/codetoanalyze/ndk-build/hello_app/jni/Android.mk b/infer/tests/build_systems/codetoanalyze/ndk-build/hello_app/jni/Android.mk index a0e310c0b..b05a8cfe5 100644 --- a/infer/tests/build_systems/codetoanalyze/ndk-build/hello_app/jni/Android.mk +++ b/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) \ No newline at end of file +include $(BUILD_SHARED_LIBRARY) diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/Makefile b/infer/tests/codetoanalyze/c/bufferoverrun/Makefile index 37cb38c0b..908e31361 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/Makefile +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/break_continue_return.c b/infer/tests/codetoanalyze/c/bufferoverrun/break_continue_return.c index e977548b2..090892909 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/break_continue_return.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/do_while.c b/infer/tests/codetoanalyze/c/bufferoverrun/do_while.c index 11581776e..3ee10eaea 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/do_while.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/for_loop.c b/infer/tests/codetoanalyze/c/bufferoverrun/for_loop.c index 211b32501..c9b747755 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/for_loop.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/function_call.c b/infer/tests/codetoanalyze/c/bufferoverrun/function_call.c index 288a3cac9..2f6becbbc 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/function_call.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/goto_loop.c b/infer/tests/codetoanalyze/c/bufferoverrun/goto_loop.c index de8c9d14e..14bd41956 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/goto_loop.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/inf_loop.c b/infer/tests/codetoanalyze/c/bufferoverrun/inf_loop.c index 376a5487d..9cd104579 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/inf_loop.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop.c b/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop.c index 08cf4dc12..26743d5a3 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop_with_label.c b/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop_with_label.c index b768c5eda..fd7658e1b 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/nested_loop_with_label.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/trivial.c b/infer/tests/codetoanalyze/c/bufferoverrun/trivial.c index 1bf767ea0..cb368f5b7 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/trivial.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/while_loop.c b/infer/tests/codetoanalyze/c/bufferoverrun/while_loop.c index 05f98ab47..8dd76f5a0 100644 --- a/infer/tests/codetoanalyze/c/bufferoverrun/while_loop.c +++ b/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. diff --git a/infer/tests/codetoanalyze/c/errors/generic.mk b/infer/tests/codetoanalyze/c/errors/generic.mk index ec67ebe4f..d41cdd0ee 100644 --- a/infer/tests/codetoanalyze/c/errors/generic.mk +++ b/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) diff --git a/infer/tests/codetoanalyze/cpp/bufferoverrun/trivial.cpp b/infer/tests/codetoanalyze/cpp/bufferoverrun/trivial.cpp index 1bf767ea0..cb368f5b7 100644 --- a/infer/tests/codetoanalyze/cpp/bufferoverrun/trivial.cpp +++ b/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. diff --git a/sledge/dune-common.in b/sledge/dune-common.in index b78042e24..c79b0dfcb 100644 --- a/sledge/dune-common.in +++ b/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 diff --git a/sledge/src/dune.in b/sledge/src/dune.in index 544f56f1b..25933dbf4 100644 --- a/sledge/src/dune.in +++ b/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"] diff --git a/sledge/src/import/dune.in b/sledge/src/import/dune.in index 0fdc31898..48e1810d5 100644 --- a/sledge/src/import/dune.in +++ b/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 = [] diff --git a/sledge/src/llair/dune.in b/sledge/src/llair/dune.in index 0f5bec23b..7cce5d468 100644 --- a/sledge/src/llair/dune.in +++ b/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"] diff --git a/sledge/src/symbheap/dune.in b/sledge/src/symbheap/dune.in index 4cdf53573..2e7392fce 100644 --- a/sledge/src/symbheap/dune.in +++ b/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_"] diff --git a/sledge/src/trace/dune.in b/sledge/src/trace/dune.in index cdb5f4091..af1562150 100644 --- a/sledge/src/trace/dune.in +++ b/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"]