llvm-project/clang/lib/Checker/GRExprEngineInternalChecks.h

//=-- GRExprEngineInternalChecks.h- Builtin GRExprEngine Checks -----*- C++ -*-=
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
//  This file defines functions to instantiate and register the "built-in"
//  checks in GRExprEngine.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS
#define LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS

namespace clang {

class GRExprEngine;

// Foundational checks that handle basic semantics.
void RegisterAdjustedReturnValueChecker(GRExprEngine &Eng);
void RegisterArrayBoundChecker(GRExprEngine &Eng);
void RegisterAttrNonNullChecker(GRExprEngine &Eng);
void RegisterBuiltinFunctionChecker(GRExprEngine &Eng);
void RegisterCallAndMessageChecker(GRExprEngine &Eng);
void RegisterCastToStructChecker(GRExprEngine &Eng);
void RegisterCastSizeChecker(GRExprEngine &Eng);
void RegisterDereferenceChecker(GRExprEngine &Eng);
void RegisterDivZeroChecker(GRExprEngine &Eng);
void RegisterFixedAddressChecker(GRExprEngine &Eng);
void RegisterNoReturnFunctionChecker(GRExprEngine &Eng);
void RegisterObjCAtSyncChecker(GRExprEngine &Eng);
void RegisterPointerArithChecker(GRExprEngine &Eng);
void RegisterPointerSubChecker(GRExprEngine &Eng);
void RegisterReturnPointerRangeChecker(GRExprEngine &Eng);
void RegisterReturnUndefChecker(GRExprEngine &Eng);
void RegisterStackAddrLeakChecker(GRExprEngine &Eng);
void RegisterUndefBranchChecker(GRExprEngine &Eng);
void RegisterUndefCapturedBlockVarChecker(GRExprEngine &Eng);
void RegisterUndefResultChecker(GRExprEngine &Eng);
void RegisterUndefinedArraySubscriptChecker(GRExprEngine &Eng);
void RegisterUndefinedAssignmentChecker(GRExprEngine &Eng);
void RegisterVLASizeChecker(GRExprEngine &Eng);

// API checks.
void RegisterMacOSXAPIChecker(GRExprEngine &Eng);
void RegisterOSAtomicChecker(GRExprEngine &Eng);
void RegisterUnixAPIChecker(GRExprEngine &Eng);

} // end clang namespace
#endif
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage value into their own respective subclasses of Checker (and put them in .cpp files where their implementation details are hidden from GRExprEngine). llvm-svn: 86215 2009-11-06 10:24:13 +08:00			`//=-- GRExprEngineInternalChecks.h- Builtin GRExprEngine Checks ------ C++ --=`
			`//`
			`// The LLVM Compiler Infrastructure`
			`//`
			`// This file is distributed under the University of Illinois Open Source`
			`// License. See LICENSE.TXT for details.`
			`//`
			`//===----------------------------------------------------------------------===//`
			`//`
			`// This file defines functions to instantiate and register the "built-in"`
			`// checks in GRExprEngine.`
			`//`
			`//===----------------------------------------------------------------------===//`

			`#ifndef LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS`
			`#define LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS`

			`namespace clang {`

			`class GRExprEngine;`

Divide list of registration functions in API and foundational checks. Also trim whitespace. llvm-svn: 97083 2010-02-25 08:20:25 +08:00			`// Foundational checks that handle basic semantics.`
static analyzer: handle casts of a function to a function pointer with a different return type. While we don't emit any errors (yet), at least we avoid cases where we might crash because of an assertion failure later on (when the return type differs from what is expected). llvm-svn: 95268 2010-02-04 08:47:48 +08:00			`void RegisterAdjustedReturnValueChecker(GRExprEngine &Eng);`
Sort list of checker registration functions. llvm-svn: 97082 2010-02-25 08:20:22 +08:00			`void RegisterArrayBoundChecker(GRExprEngine &Eng);`
Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. llvm-svn: 86809 2009-11-11 13:50:44 +08:00			`void RegisterAttrNonNullChecker(GRExprEngine &Eng);`
Sort list of checker registration functions. llvm-svn: 97082 2010-02-25 08:20:22 +08:00			`void RegisterBuiltinFunctionChecker(GRExprEngine &Eng);`
			`void RegisterCallAndMessageChecker(GRExprEngine &Eng);`
			`void RegisterCastToStructChecker(GRExprEngine &Eng);`
CastSizeChecker checks when casting a malloc'ed symbolic region to type T, whether the size of the symbolic region is a multiple of the size of T. Fixes PR6123 and PR7217. llvm-svn: 104584 2010-05-25 12:59:19 +08:00			`void RegisterCastSizeChecker(GRExprEngine &Eng);`
Refactor DereferenceChecker to use only the new Checker API instead of the old builder API. This percolated a bunch of changes up to the Checker class (where CheckLocation has been renamed VisitLocation) and GRExprEngine. ProgramPoint now has the notion of a "LocationCheck" point (with PreLoad and PreStore respectively), and a bunch of the old ProgramPoints that are no longer used have been removed. llvm-svn: 86798 2009-11-11 11:26:34 +08:00			`void RegisterDereferenceChecker(GRExprEngine &Eng);`
Make the implementation of DivZeroChecker private. llvm-svn: 86288 2009-11-07 04:47:51 +08:00			`void RegisterDivZeroChecker(GRExprEngine &Eng);`
Sort list of checker registration functions. llvm-svn: 97082 2010-02-25 08:20:22 +08:00			`void RegisterFixedAddressChecker(GRExprEngine &Eng);`
			`void RegisterNoReturnFunctionChecker(GRExprEngine &Eng);`
Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil llvm-svn: 113573 2010-09-10 11:05:40 +08:00			`void RegisterObjCAtSyncChecker(GRExprEngine &Eng);`
Sort list of checker registration functions. llvm-svn: 97082 2010-02-25 08:20:22 +08:00			`void RegisterPointerArithChecker(GRExprEngine &Eng);`
			`void RegisterPointerSubChecker(GRExprEngine &Eng);`
Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. llvm-svn: 86252 2009-11-06 21:30:44 +08:00			`void RegisterReturnPointerRangeChecker(GRExprEngine &Eng);`
Make the implementation of DivZeroChecker private. llvm-svn: 86288 2009-11-07 04:47:51 +08:00			`void RegisterReturnUndefChecker(GRExprEngine &Eng);`
Add a checker check if a global variable holds a local variable's address after the function call is left where the local variable is declared. llvm-svn: 105602 2010-06-08 18:00:00 +08:00			`void RegisterStackAddrLeakChecker(GRExprEngine &Eng);`
Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder in the checker directly. But I don't have a better approach for now. llvm-svn: 89640 2009-11-23 11:20:54 +08:00			`void RegisterUndefBranchChecker(GRExprEngine &Eng);`
Add simpler checker to check if variables captured by a block are uninitialized. llvm-svn: 96341 2010-02-16 16:33:59 +08:00			`void RegisterUndefCapturedBlockVarChecker(GRExprEngine &Eng);`
Refactor undefined result checker. This is the last one. llvm-svn: 89750 2009-11-24 16:24:26 +08:00			`void RegisterUndefResultChecker(GRExprEngine &Eng);`
Sort list of checker registration functions. llvm-svn: 97082 2010-02-25 08:20:22 +08:00			`void RegisterUndefinedArraySubscriptChecker(GRExprEngine &Eng);`
			`void RegisterUndefinedAssignmentChecker(GRExprEngine &Eng);`
			`void RegisterVLASizeChecker(GRExprEngine &Eng);`
Divide list of registration functions in API and foundational checks. Also trim whitespace. llvm-svn: 97083 2010-02-25 08:20:25 +08:00
			`// API checks.`
Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls to various MacOS X functions. The checks in BasicObjCFoundationChecks.cpp will gradually be migrated here. As a first check, check that when 'dispatch_once()' is passed a predicate value that has non-local storage. llvm-svn: 97116 2010-02-25 13:44:09 +08:00			`void RegisterMacOSXAPIChecker(GRExprEngine &Eng);`
Divide list of registration functions in API and foundational checks. Also trim whitespace. llvm-svn: 97083 2010-02-25 08:20:25 +08:00			`void RegisterOSAtomicChecker(GRExprEngine &Eng);`
Add UnixAPIChecker, a meta checker to include various precondition checks for calls to various unix/posix functions, e.g. 'open()'. As a first check, check that when 'open()' is passed 'O_CREAT' that it has a third argument. llvm-svn: 97086 2010-02-25 08:20:35 +08:00			`void RegisterUnixAPIChecker(GRExprEngine &Eng);`
Divide list of registration functions in API and foundational checks. Also trim whitespace. llvm-svn: 97083 2010-02-25 08:20:25 +08:00
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage value into their own respective subclasses of Checker (and put them in .cpp files where their implementation details are hidden from GRExprEngine). llvm-svn: 86215 2009-11-06 10:24:13 +08:00			`} // end clang namespace`
			`#endif`