diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index dd8290d6a..156807f65 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -721,7 +721,7 @@ and ( annotation_reachability and litho = mk_checker ~long:"litho" "Experimental checkers supporting the Litho framework" and liveness = mk_checker ~long:"liveness" ~default:true "the detection of dead stores and unused variables" - and ownership = mk_checker ~long:"ownership" ~default:true "the detection of C++ lifetime bugs" + and ownership = mk_checker ~long:"ownership" ~default:false "the detection of C++ lifetime bugs" and printf_args = mk_checker ~long:"printf-args" ~default:true "the detection of mismatch between the Java printf format strings and the argument types For, example, this checker will warn about the type error in `printf(\"Hello %d\", \"world\")`"