Ted Kremenek | eb94113 | 2009-11-13 01:15:47 +0000 | [diff] [blame] | 1 | //=-- GRExprEngineExperimentalChecks.h ------------------------------*- C++ -*-= |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines functions to instantiate and register experimental |
| 11 | // checks in GRExprEngine. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 15 | #include "GRExprEngineInternalChecks.h" |
Ted Kremenek | eb94113 | 2009-11-13 01:15:47 +0000 | [diff] [blame] | 16 | #include "GRExprEngineExperimentalChecks.h" |
Ted Kremenek | 9705309 | 2010-01-26 22:59:55 +0000 | [diff] [blame] | 17 | #include "clang/Checker/Checkers/LocalCheckers.h" |
Ted Kremenek | eb94113 | 2009-11-13 01:15:47 +0000 | [diff] [blame] | 18 | |
| 19 | using namespace clang; |
| 20 | |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 21 | void clang::RegisterExperimentalChecks(GRExprEngine &Eng) { |
| 22 | // These are checks that never belong as internal checks |
| 23 | // within GRExprEngine. |
Ted Kremenek | eb94113 | 2009-11-13 01:15:47 +0000 | [diff] [blame] | 24 | RegisterPthreadLockChecker(Eng); |
Zhongxing Xu | 7b76096 | 2009-11-13 07:25:27 +0000 | [diff] [blame] | 25 | RegisterMallocChecker(Eng); |
Zhongxing Xu | c196095 | 2010-06-16 05:38:05 +0000 | [diff] [blame] | 26 | RegisterStreamChecker(Eng); |
Ted Kremenek | eb94113 | 2009-11-13 01:15:47 +0000 | [diff] [blame] | 27 | } |
| 28 | |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 29 | void clang::RegisterExperimentalInternalChecks(GRExprEngine &Eng) { |
| 30 | // These are internal checks that should eventually migrate to |
| 31 | // RegisterInternalChecks() once they have been further tested. |
| 32 | |
| 33 | // Note that this must be registered after ReturnStackAddresEngsChecker. |
| 34 | RegisterReturnPointerRangeChecker(Eng); |
Ted Kremenek | 68c9ced | 2009-11-21 17:55:24 +0000 | [diff] [blame] | 35 | |
| 36 | RegisterFixedAddressChecker(Eng); |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 37 | RegisterPointerSubChecker(Eng); |
| 38 | RegisterPointerArithChecker(Eng); |
| 39 | RegisterCastToStructChecker(Eng); |
Zhongxing Xu | ab28099 | 2010-05-25 04:59:19 +0000 | [diff] [blame] | 40 | RegisterCastSizeChecker(Eng); |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 41 | RegisterArrayBoundChecker(Eng); |
Zhongxing Xu | 9b14683 | 2010-06-09 06:08:24 +0000 | [diff] [blame] | 42 | |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 43 | } |