HomeSort by relevance Sort by last modified time
    Searched refs:CheckerContext (Results 1 - 25 of 55) sorted by null

1 2 3

  /external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 /// \sa CheckerContext
70 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {}
80 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
89 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
95 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
107 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
113 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
116 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {}
128 CheckerContext &) const {
    [all...]
TraversalChecker.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
31 void checkEndFunction(CheckerContext &C) const;
36 CheckerContext &C) const {
53 void TraversalDumper::checkEndFunction(CheckerContext &C) const {
66 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
70 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
ReturnUndefChecker.cpp 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void emitUndef(CheckerContext &C, const Expr *RetE) const;
32 void checkReference(CheckerContext &C, const Expr *RetE,
35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
40 CheckerContext &C) const {
72 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE,
86 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const {
94 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
TaintTesterChecker.cpp 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 SymbolRef getPointedToSymbol(CheckerContext &C,
35 void checkPostStmt(const Expr *E, CheckerContext &C) const;
45 CheckerContext &C) const {
ExprInspectionChecker.cpp 13 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
23 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
24 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
27 CheckerContext &C) const;
30 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
35 CheckerContext &C) const {
52 CheckerContext &C) {
84 CheckerContext &C) const {
101 CheckerContext &C) const {
UnixAPIChecker.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
39 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
40 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const;
41 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const;
42 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const;
43 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const;
44 void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const;
45 void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const;
46 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const
    [all...]
ObjCSelfInitChecker.cpp 45 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
55 static bool isSelfVar(SVal location, CheckerContext &C);
66 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const;
67 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
68 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
70 CheckerContext &C) const;
71 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
73 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
74 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
119 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C)
    [all...]
MacOSXAPIChecker.cpp 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
39 void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
42 typedef void (MacOSXAPIChecker::*SubChecker)(CheckerContext &,
52 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
105 CheckerContext &C) const {
GenericTaintChecker.cpp 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
37 void checkPostStmt(const DeclRefExpr *DRE, CheckerContext &C) const;
39 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
54 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
57 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
60 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
63 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const;
67 static bool isStdin(const Expr *E, CheckerContext &C);
71 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg)
    [all...]
StreamChecker.cpp 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
74 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
78 void Fopen(CheckerContext &C, const CallExpr *CE) const;
79 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
80 void Fclose(CheckerContext &C, const CallExpr *CE) const;
81 void Fread(CheckerContext &C, const CallExpr *CE) const;
82 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
83 void Fseek(CheckerContext &C, const CallExpr *CE) const;
84 void Ftell(CheckerContext &C, const CallExpr *CE) const
    [all...]
ChrootChecker.cpp 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
54 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
58 void Chroot(CheckerContext &C, const CallExpr *CE) const;
59 void Chdir(CheckerContext &C, const CallExpr *CE) const;
64 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
87 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const {
97 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const {
124 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
FixedAddressChecker.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
NSAutoreleasePoolChecker.cpp 26 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
39 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
45 CheckerContext &C) const {
UndefinedArraySubscriptChecker.cpp 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
36 CheckerContext &C) const {
DivZeroChecker.cpp 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
29 CheckerContext &C) const ;
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
37 CheckerContext &C) const {
49 CheckerContext &C) const {
NoReturnFunctionChecker.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
32 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
33 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
39 CheckerContext &C) const {
103 CheckerContext &C) const {
StackAddrEscapeChecker.cpp 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
36 void checkEndFunction(CheckerContext &Ctx) const;
38 void EmitStackError(CheckerContext &C, const MemRegion *R,
95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
120 CheckerContext &C) const {
162 void StackAddrEscapeChecker::checkEndFunction(CheckerContext &Ctx) const {
169 CheckerContext &Ctx;
174 CallBack(CheckerContext &CC) :
DynamicTypePropagation.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
32 CheckerContext &C) const;
36 CheckerContext &C) const;
38 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
39 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
40 void checkPostStmt(const ImplicitCastExpr *CastE, CheckerContext &C) const;
45 CheckerContext &C) {
59 CheckerContext &C) const {
103 CheckerContext &C) const {
175 CheckerContext &C) const
    [all...]
ObjCContainersChecker.cpp 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
47 CheckerContext &C) const;
53 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
54 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
62 CheckerContext &C) const {
81 CheckerContext &C) const {
104 CheckerContext &C) const {
SimpleStreamChecker.cpp 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
64 CheckerContext &C) const;
67 CheckerContext &C,
76 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
122 CheckerContext &C) const {
143 CheckerContext &C) const {
186 CheckerContext &C) const {
210 CheckerContext &C) const
    [all...]
CStringChecker.cpp 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
60 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
61 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
73 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
76 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
77 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
78 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
79 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
80 void evalCopyCommon(CheckerContext &C, const CallExpr *CE
    [all...]
PthreadLockChecker.cpp 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
38 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
50 CheckerContext &C) const {
87 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
150 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
BoolAssignmentChecker.cpp 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 void emitReport(ProgramStateRef state, CheckerContext &C) const;
29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
34 CheckerContext &C) const {
55 CheckerContext &C) const {
  /external/clang/lib/StaticAnalyzer/Core/
CheckerContext.cpp 1 //== CheckerContext.cpp - Context info for path-sensitive checkers-----------=//
10 // This file defines CheckerContext that provides contextual info for
15 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
22 const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const {
29 StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const {
39 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD,
91 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
  /external/clang/examples/analyzer-plugin/
MainCallChecker.cpp 4 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
14 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
18 void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {

Completed in 1078 milliseconds

1 2 3