clang: lib/StaticAnalyzer/Checkers/NoOwnershipChangeVisitor.h Source File (original) (raw)

1

2

3

4

5

6

7

8

12

14namespace ento {

15

17protected:

18

21

22 LLVM_DUMP_METHOD static std::string

24

25

26

27

28

31

34

37

39

43

44 return nullptr;

45 }

46

50

51 return nullptr;

52 }

53

54

58

59public:

61

62private:

64

65public:

69

70 void Profile(llvm::FoldingSetNodeID &ID) const override {

71 static int Tag = 0;

72 ID.AddPointer(&Tag);

73 ID.AddPointer(Sym);

74 }

75};

76}

77}

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

Decl - This represents one declaration (or definition), e.g.

Represents a call to a C++ constructor.

Represents an abstract call to a function or method along a particular path.

static LLVM_DUMP_METHOD std::string getFunctionName(const ExplodedNode *CallEnterN)

PathDiagnosticPieceRef maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R, const ObjCMethodCall &Call, const ExplodedNode *N) final

Consume the information on the non-modifying stack frame in order to either emit a note or not.

virtual bool doesFnIntendToHandleOwnership(const Decl *Callee, ASTContext &ACtx)=0

Heuristically guess whether the callee intended to free the resource.

PathDiagnosticPieceRef maybeEmitNoteForCXXThis(PathSensitiveBugReport &R, const CXXConstructorCall &Call, const ExplodedNode *N) final

Consume the information on the non-modifying stack frame in order to either emit a note or not.

const CheckerBase & Checker

void Profile(llvm::FoldingSetNodeID &ID) const override

bool wasModifiedInFunction(const ExplodedNode *CallEnterN, const ExplodedNode *CallExitEndN) final

PathDiagnosticPieceRef maybeEmitNoteForParameters(PathSensitiveBugReport &R, const CallEvent &Call, const ExplodedNode *N) final

Consume the information on the non-modifying stack frame in order to either emit a note or not.

NoOwnershipChangeVisitor(SymbolRef Sym, const CheckerBase *Checker)

virtual PathDiagnosticPieceRef emitNote(const ExplodedNode *N)=0

virtual bool hasResourceStateChanged(ProgramStateRef CallEnterState, ProgramStateRef CallExitEndState)=0

Put a diagnostic on return statement (or on } in its absence) of all inlined functions for which some...

Represents any expression that calls an Objective-C method.

std::shared_ptr< PathDiagnosticPiece > PathDiagnosticPieceRef

The JSON file list parser is used to communicate input to InstallAPI.