Disable Inferbo for Java

Summary: Inferbo is not ready for Java yet Reviewed By: sblackshear Differential Revision: D6837807 fbshipit-source-id: 2631a95
7 years ago · 653f212023
parent 08f21959ce
commit 653f212023
1 changed files with 1 additions and 3 deletions
--- a/infer/src/checkers/registerCheckers.ml
+++ b/infer/src/checkers/registerCheckers.ml
@ -44,9 +44,7 @@ let all_checkers =
        ; (DynamicDispatch Interproc.analyze_procedure, Language.Java) ] }
  ; { name= "buffer overrun"
    ; active= Config.bufferoverrun
-    ; callbacks=
+    ; callbacks= [(Procedure BufferOverrunChecker.checker, Language.Clang)] }
        [ (Procedure BufferOverrunChecker.checker, Language.Clang)
        ; (Procedure BufferOverrunChecker.checker, Language.Java) ] }
  ; { name= "crashcontext"
    ; active= Config.crashcontext
    ; callbacks= [(Procedure BoundedCallTree.checker, Language.Java)] }