@@ -72,6 +72,13 @@ let all_checkers =
7272 ; callbacks=
7373 [ (Procedure JavaTaintAnalysis. checker, Config. Java )
7474 ; (Procedure ClangTaintAnalysis. checker, Config. Clang ) ] }
75+ ; { name= " RacerD"
76+ ; active= Config. racerd
77+ ; callbacks=
78+ [ (Procedure RacerD. analyze_procedure, Config. Clang )
79+ ; (Procedure RacerD. analyze_procedure, Config. Java )
80+ ; (Cluster RacerD. file_analysis, Config. Clang )
81+ ; (Cluster RacerD. file_analysis, Config. Java ) ] }
7582 ; { name= " repeated calls"
7683 ; active= Config. repeated_calls
7784 ; callbacks= [(Procedure RepeatedCallsChecker. callback_check_repeated_calls, Config. Java )] }
@@ -84,13 +91,6 @@ let all_checkers =
8491 Procedure ResourceLeaks. checker
8592 , Config. Java ) ] }
8693 ; {name= " SIOF" ; active= Config. siof; callbacks= [(Procedure Siof. checker, Config. Clang )]}
87- ; { name= " RacerD"
88- ; active= Config. racerd
89- ; callbacks=
90- [ (Procedure RacerD. analyze_procedure, Config. Clang )
91- ; (Procedure RacerD. analyze_procedure, Config. Java )
92- ; (Cluster RacerD. file_analysis, Config. Clang )
93- ; (Cluster RacerD. file_analysis, Config. Java ) ] }
9494 ; { name= " uninitialized variables"
9595 ; active= Config. uninit
9696 ; callbacks= [(Procedure Uninit. checker, Config. Clang )] } ]
0 commit comments