diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml index 66317da1e..0013e0a71 100644 --- a/infer/src/checkers/registerCheckers.ml +++ b/infer/src/checkers/registerCheckers.ml @@ -72,6 +72,13 @@ let all_checkers = ; callbacks= [ (Procedure JavaTaintAnalysis.checker, Config.Java) ; (Procedure ClangTaintAnalysis.checker, Config.Clang) ] } + ; { name= "RacerD" + ; active= Config.racerd + ; callbacks= + [ (Procedure RacerD.analyze_procedure, Config.Clang) + ; (Procedure RacerD.analyze_procedure, Config.Java) + ; (Cluster RacerD.file_analysis, Config.Clang) + ; (Cluster RacerD.file_analysis, Config.Java) ] } ; { name= "repeated calls" ; active= Config.repeated_calls ; callbacks= [(Procedure RepeatedCallsChecker.callback_check_repeated_calls, Config.Java)] } @@ -84,13 +91,6 @@ let all_checkers = Procedure ResourceLeaks.checker , Config.Java ) ] } ; {name= "SIOF"; active= Config.siof; callbacks= [(Procedure Siof.checker, Config.Clang)]} - ; { name= "RacerD" - ; active= Config.racerd - ; callbacks= - [ (Procedure RacerD.analyze_procedure, Config.Clang) - ; (Procedure RacerD.analyze_procedure, Config.Java) - ; (Cluster RacerD.file_analysis, Config.Clang) - ; (Cluster RacerD.file_analysis, Config.Java) ] } ; { name= "uninitialized variables" ; active= Config.uninit ; callbacks= [(Procedure Uninit.checker, Config.Clang)] } ]