UnsafeBufferUsage.cpp File Reference

#include "clang/Analysis/Analyses/UnsafeBufferUsage.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/FormatString.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/ASTMatchers/ASTMatchers.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Lex/Lexer.h"
#include "clang/Lex/Preprocessor.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include <memory>
#include <optional>
#include <queue>
#include <sstream>
#include "clang/Analysis/Analyses/UnsafeBufferUsageGadgets.def"

Go to the source code of this file.

Classes
class	clang::ast_matchers::MatchDescendantVisitor
struct	clang::ast_matchers::libc_func_matchers::LibcFunNamePrefixSuffixParser
class	UPCPreIncrementGadget
class	UUCAddAssignGadget
class	DerefSimplePtrArithFixableGadget
struct	CompareNode< NodeTy >
struct	WarningGadgetSets
struct	FixableGadgetSets
class	VariableGroupsManagerImpl

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ast_matchers
namespace	clang::ast_matchers::libc_func_matchers

Macros
#define	GADGET(x)   x,
#define	GADGET(x)
#define	NEXT   ++numFound
#define	FIXABLE_GADGET(name)
#define	WARNING_GADGET(name)
#define	WARNING_GADGET(x)
#define	WARNING_OPTIONAL_GADGET(x)
#define	FIXABLE_GADGET(x)    x ## Gadget::matcher().bind(#x),
#define	DEBUG_NOTE_DECL_FAIL(D, Msg)

Functions
static auto	clang::ast_matchers::hasPointerType ()
static auto	clang::ast_matchers::hasArrayType ()
	clang::ast_matchers::AST_MATCHER_P (Stmt, forEachDescendantEvaluatedStmt, internal::Matcher< Stmt >, innerMatcher)
	clang::ast_matchers::AST_MATCHER_P (Stmt, forEachDescendantStmt, internal::Matcher< Stmt >, innerMatcher)
	clang::ast_matchers::AST_MATCHER_P (Stmt, notInSafeBufferOptOut, const UnsafeBufferUsageHandler *, Handler)
	clang::ast_matchers::AST_MATCHER_P (Stmt, ignoreUnsafeBufferInContainer, const UnsafeBufferUsageHandler *, Handler)
	clang::ast_matchers::AST_MATCHER_P (Stmt, ignoreUnsafeLibcCall, const UnsafeBufferUsageHandler *, Handler)
	clang::ast_matchers::AST_MATCHER_P (CastExpr, castSubExpr, internal::Matcher< Expr >, innerMatcher)
	clang::ast_matchers::AST_MATCHER (UnaryOperator, isPreInc)
static auto	clang::ast_matchers::isInUnspecifiedLvalueContext (internal::Matcher< Expr > innerMatcher)
static internal::Matcher< Stmt >	clang::ast_matchers::isInUnspecifiedPointerContext (internal::Matcher< Stmt > InnerMatcher)
static internal::Matcher< Stmt >	clang::ast_matchers::isInUnspecifiedUntypedContext (internal::Matcher< Stmt > InnerMatcher)
	clang::ast_matchers::AST_MATCHER (CXXConstructExpr, isSafeSpanTwoParamConstruct)
	clang::ast_matchers::AST_MATCHER (ArraySubscriptExpr, isSafeArraySubscript)
	clang::ast_matchers::AST_MATCHER_P (CallExpr, hasNumArgs, unsigned, Num)
static bool	clang::ast_matchers::libc_func_matchers::isNullTermPointer (const Expr *Ptr)
static bool	clang::ast_matchers::libc_func_matchers::hasUnsafeFormatOrSArg (const CallExpr *Call, const Expr *&UnsafeArg, const unsigned FmtArgIdx, ASTContext &Ctx, bool isKprintf=false)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER (FunctionDecl, isPredefinedUnsafeLibcFunc)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER (FunctionDecl, isUnsafeVaListPrintfFunc)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER (FunctionDecl, isUnsafeSprintfFunc)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER (FunctionDecl, isNormalPrintfFunc)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER_P (CallExpr, hasUnsafePrintfStringArg, clang::ast_matchers::internal::Matcher< Expr >, UnsafeStringArgMatcher)
	clang::ast_matchers::libc_func_matchers::AST_MATCHER (CallExpr, hasUnsafeSnprintfBuffer)
static void	findGadgets (const Stmt *S, ASTContext &Ctx, const UnsafeBufferUsageHandler &Handler, bool EmitSuggestions, FixableGadgetList &FixableGadgets, WarningGadgetList &WarningGadgets, DeclUseTracker &Tracker)
	Scan the function and return a list of gadgets found with provided kits.
static WarningGadgetSets	groupWarningGadgetsByVar (const WarningGadgetList &AllUnsafeOperations)
static FixableGadgetSets	groupFixablesByVar (FixableGadgetList &&AllFixableOperations)
static std::optional< FixItList >	createDataFixit (const ASTContext &Ctx, const DeclRefExpr *DRE)
static bool	isNonNegativeIntegerExpr (const Expr *Expr, const VarDecl *VD, const ASTContext &Ctx)
static std::optional< FixItList >	fixUPCAddressofArraySubscriptWithSpan (const UnaryOperator *Node)
static StringRef	getEndOfLine ()
static std::string	getUserFillPlaceHolder (StringRef HintTextToUser="placeholder")
template<typename NodeTy >
static std::optional< SourceLocation >	getEndCharLoc (const NodeTy *Node, const SourceManager &SM, const LangOptions &LangOpts)
template<typename NodeTy >
static std::optional< SourceLocation >	getPastLoc (const NodeTy *Node, const SourceManager &SM, const LangOptions &LangOpts)
static std::optional< StringRef >	getExprText (const Expr *E, const SourceManager &SM, const LangOptions &LangOpts)
static std::optional< StringRef >	getRangeText (SourceRange SR, const SourceManager &SM, const LangOptions &LangOpts)
static SourceLocation	getVarDeclIdentifierLoc (const VarDecl *VD)
static std::optional< StringRef >	getVarDeclIdentifierText (const VarDecl *VD, const SourceManager &SM, const LangOptions &LangOpts)
static bool	hasUnsupportedSpecifiers (const VarDecl *VD, const SourceManager &SM)
static SourceRange	getSourceRangeToTokenEnd (const Decl *D, const SourceManager &SM, const LangOptions &LangOpts)
static std::optional< std::string >	getPointeeTypeText (const VarDecl *VD, const SourceManager &SM, const LangOptions &LangOpts, std::optional< Qualifiers > *QualifiersToAppend)
static std::optional< StringRef >	getFunNameText (const FunctionDecl *FD, const SourceManager &SM, const LangOptions &LangOpts)
static std::string	getSpanTypeText (StringRef EltTyText, std::optional< Qualifiers > Quals=std::nullopt)
static std::optional< FixItList >	FixVarInitializerWithSpan (const Expr *Init, ASTContext &Ctx, const StringRef UserFillPlaceHolder)
static std::optional< std::string >	createSpanTypeForVarDecl (const VarDecl *VD, const ASTContext &Ctx)
static FixItList	fixLocalVarDeclWithSpan (const VarDecl *D, ASTContext &Ctx, const StringRef UserFillPlaceHolder, UnsafeBufferUsageHandler &Handler)
static bool	hasConflictingOverload (const FunctionDecl *FD)
static std::optional< FixItList >	createOverloadsForFixedParams (const FixitStrategy &S, const FunctionDecl *FD, const ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static FixItList	fixParamWithSpan (const ParmVarDecl *PVD, const ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static FixItList	fixVariableWithSpan (const VarDecl *VD, const DeclUseTracker &Tracker, ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static FixItList	fixVarDeclWithArray (const VarDecl *D, const ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static FixItList	fixVariableWithArray (const VarDecl *VD, const DeclUseTracker &Tracker, const ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static FixItList	fixVariable (const VarDecl *VD, FixitStrategy::Kind K, const Decl *D, const DeclUseTracker &Tracker, ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static bool	overlapWithMacro (const FixItList &FixIts)
static bool	isParameterOf (const VarDecl *VD, const Decl *D)
static void	eraseVarsForUnfixableGroupMates (std::map< const VarDecl *, FixItList > &FixItsForVariable, const VariableGroupsManager &VarGrpMgr)
static FixItList	createFunctionOverloadsForParms (std::map< const VarDecl *, FixItList > &FixItsForVariable, const VariableGroupsManager &VarGrpMgr, const FunctionDecl *FD, const FixitStrategy &S, ASTContext &Ctx, UnsafeBufferUsageHandler &Handler)
static std::map< const VarDecl *, FixItList >	getFixIts (FixableGadgetSets &FixablesForAllVars, const FixitStrategy &S, ASTContext &Ctx, const Decl *D, const DeclUseTracker &Tracker, UnsafeBufferUsageHandler &Handler, const VariableGroupsManager &VarGrpMgr)
template<typename VarDeclIterTy >
static FixitStrategy	getNaiveStrategy (llvm::iterator_range< VarDeclIterTy > UnsafeVars)
void	applyGadgets (const Decl *D, FixableGadgetList FixableGadgets, WarningGadgetList WarningGadgets, DeclUseTracker Tracker, UnsafeBufferUsageHandler &Handler, bool EmitSuggestions)

Macro Definition Documentation

DEBUG_NOTE_DECL_FAIL

#define DEBUG_NOTE_DECL_FAIL	(		D,
			Msg
	)

Value:

  Handler.addDebugNoteForVar((D), (D)->getBeginLoc(),                          \
                             "failed to produce fixit for declaration '" +     \
                                 (D)->getNameAsString() + "'" + (Msg))

Definition at line 2891 of file UnsafeBufferUsage.cpp.

FIXABLE_GADGET [1/2]

#define FIXABLE_GADGET

(

name

)

Value:

  if (Result.Nodes.getNodeAs<Stmt>(#name)) {                                   \
    FixableGadgets.push_back(std::make_unique<name##Gadget>(Result));          \
    NEXT;                                                                      \
  }

FIXABLE_GADGET [2/2]

#define FIXABLE_GADGET

(

x

)

x ## Gadget::matcher().bind(#x),

GADGET [1/2]

#define GADGET

(

x

)

x,

Definition at line 961 of file UnsafeBufferUsage.cpp.

GADGET [2/2]

#define GADGET

(

x

)

Value:

  case Kind::x:                                                                \
    return #x;

Definition at line 961 of file UnsafeBufferUsage.cpp.

NEXT

#define NEXT   ++numFound

WARNING_GADGET [1/2]

#define WARNING_GADGET

(

name

)

Value:

  if (Result.Nodes.getNodeAs<Stmt>(#name)) {                                   \
    WarningGadgets.push_back(std::make_unique<name##Gadget>(Result));          \
    NEXT;                                                                      \
  }

WARNING_GADGET [2/2]

#define WARNING_GADGET

(

x

)

Value:

          allOf(x ## Gadget::matcher().bind(#x),                               \
                notInSafeBufferOptOut(&Handler)),

WARNING_OPTIONAL_GADGET

#define WARNING_OPTIONAL_GADGET

(

x

)

Value:

          allOf(x ## Gadget::matcher(&Handler).bind(#x),                      \
                notInSafeBufferOptOut(&Handler)),

Function Documentation

applyGadgets()

void applyGadgets	(	const Decl *	D,
		FixableGadgetList	FixableGadgets,
		WarningGadgetList	WarningGadgets,
		DeclUseTracker	Tracker,
		UnsafeBufferUsageHandler &	Handler,
		bool	EmitSuggestions
	)

Definition at line 3634 of file UnsafeBufferUsage.cpp.

References clang::UnsafeBufferUsageHandler::addDebugNoteForVar(), WarningGadgetSets::byVar, FixableGadgetSets::byVar, D, clang::Decl::getASTContext(), clang::DeclaratorDecl::getBeginLoc(), getFixIts(), getNaiveStrategy(), clang::NamedDecl::getNameAsString(), groupFixablesByVar(), groupWarningGadgetsByVar(), clang::UnsafeBufferUsageHandler::handleUnsafeVariableGroup(), isParameterOf(), WarningGadgetSets::noVar, and V.

Referenced by clang::checkUnsafeBufferUsage().

createDataFixit()

static std::optional< FixItList > createDataFixit ( const ASTContext &  Ctx, const DeclRefExpr *  DRE  )

inlinestatic

Returns

fixit that adds .data() call after \DRE.

Definition at line 2653 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateInsertion(), clang::ASTContext::getLangOpts(), getPastLoc(), clang::ASTContext::getSourceManager(), and SM.

createFunctionOverloadsForParms()

static FixItList createFunctionOverloadsForParms ( std::map< const VarDecl *, FixItList > &  FixItsForVariable, const VariableGroupsManager &  VarGrpMgr, const FunctionDecl *  FD, const FixitStrategy &  S, ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3464 of file UnsafeBufferUsage.cpp.

References createOverloadsForFixedParams(), clang::VariableGroupsManager::getGroupOfParms(), and clang::Member.

Referenced by getFixIts().

createOverloadsForFixedParams()

static std::optional< FixItList > createOverloadsForFixedParams ( const FixitStrategy &  S, const FunctionDecl *  FD, const ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3022 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateInsertion(), clang::DeclaratorDecl::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::FunctionDecl::getBody(), getEndOfLine(), getFunNameText(), clang::NamedDecl::getIdentifier(), clang::ASTContext::getLangOpts(), clang::NamedDecl::getName(), clang::IdentifierInfo::getName(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), getPastLoc(), getPointeeTypeText(), getRangeText(), clang::ASTContext::getSourceManager(), getSourceRangeToTokenEnd(), getSpanTypeText(), clang::UnsafeBufferUsageHandler::getUnsafeBufferUsageAttributeTextAt(), getUserFillPlaceHolder(), hasConflictingOverload(), clang::Decl::isImplicit(), Loc, clang::FunctionDecl::param_begin(), clang::Redeclarable< decl_type >::redecls(), and SM.

Referenced by createFunctionOverloadsForParms().

createSpanTypeForVarDecl()

static std::optional< std::string > createSpanTypeForVarDecl ( const VarDecl *  VD, const ASTContext &  Ctx  )

static

Definition at line 2903 of file UnsafeBufferUsage.cpp.

References clang::ASTContext::getLangOpts(), getPointeeTypeText(), clang::ASTContext::getSourceManager(), clang::ValueDecl::getType(), and clang::Type::isPointerType().

Referenced by fixLocalVarDeclWithSpan(), and fixParamWithSpan().

eraseVarsForUnfixableGroupMates()

static void eraseVarsForUnfixableGroupMates ( std::map< const VarDecl *, FixItList > &  FixItsForVariable, const VariableGroupsManager &  VarGrpMgr  )

static

Definition at line 3435 of file UnsafeBufferUsage.cpp.

References clang::VariableGroupsManager::getGroupOfVar(), and clang::Member.

Referenced by getFixIts().

findGadgets()

static void findGadgets ( const Stmt *  S, ASTContext &  Ctx, const UnsafeBufferUsageHandler &  Handler, bool  EmitSuggestions, FixableGadgetList &  FixableGadgets, WarningGadgetList &  WarningGadgets, DeclUseTracker &  Tracker  )

static

Scan the function and return a list of gadgets found with provided kits.

Definition at line 1985 of file UnsafeBufferUsage.cpp.

References clang::ast_matchers::MatchFinder::addMatcher(), clang::ast_matchers::allOf, clang::ast_matchers::anyOf, clang::ast_matchers::bindingDecl, clang::ast_matchers::declRefExpr, clang::ast_matchers::declStmt, clang::ast_matchers::eachOf, FIXABLE_GADGET, clang::ast_matchers::hasArrayType(), clang::ast_matchers::hasPointerType(), clang::ast_matchers::MatchFinder::match(), NEXT, clang::ast_matchers::MatchFinder::MatchCallback::run(), clang::ast_matchers::stmt, clang::ast_matchers::unless, clang::ast_matchers::varDecl, WARNING_GADGET, and WARNING_OPTIONAL_GADGET.

Referenced by clang::checkUnsafeBufferUsage().

fixLocalVarDeclWithSpan()

static FixItList fixLocalVarDeclWithSpan ( const VarDecl *  D, ASTContext &  Ctx, const StringRef  UserFillPlaceHolder, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 2939 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateReplacement(), createSpanTypeForVarDecl(), D, DEBUG_NOTE_DECL_FAIL, FixVarInitializerWithSpan(), clang::Decl::getBeginLoc(), clang::SourceLocation::getLocWithOffset(), clang::ASTContext::getSourceManager(), getVarDeclIdentifierLoc(), hasUnsupportedSpecifiers(), clang::Init, and clang::SourceLocation::isValid().

Referenced by fixVariableWithSpan().

fixParamWithSpan()

static FixItList fixParamWithSpan ( const ParmVarDecl *  PVD, const ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3189 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateReplacement(), createSpanTypeForVarDecl(), DEBUG_NOTE_DECL_FAIL, clang::Qualifiers::getAsString(), clang::NamedDecl::getIdentifier(), clang::ASTContext::getLangOpts(), clang::IdentifierInfo::getName(), getPointeeTypeText(), clang::QualType::getQualifiers(), clang::ASTContext::getSourceManager(), clang::ParmVarDecl::getSourceRange(), getSpanTypeText(), clang::ValueDecl::getType(), clang::ParmVarDecl::hasDefaultArg(), clang::QualType::hasQualifiers(), and hasUnsupportedSpecifiers().

Referenced by fixVariable().

fixUPCAddressofArraySubscriptWithSpan()

static std::optional< FixItList > fixUPCAddressofArraySubscriptWithSpan ( const UnaryOperator *  Node )

static

Definition at line 2691 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateReplacement(), clang::Decl::getASTContext(), clang::DeclRefExpr::getDecl(), getExprText(), clang::Expr::getIntegerConstantExpr(), clang::ASTContext::getLangOpts(), clang::ASTContext::getSourceManager(), clang::DynTypedNode::getSourceRange(), Node, and SM.

fixVarDeclWithArray()

static FixItList fixVarDeclWithArray ( const VarDecl *  D, const ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3258 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateReplacement(), D, DEBUG_NOTE_DECL_FAIL, clang::Lexer::findNextToken(), clang::ASTContext::getAsConstantArrayType(), clang::Decl::getBeginLoc(), clang::QualType::getCanonicalType(), clang::SourceRange::getEnd(), clang::ASTContext::getLangOpts(), clang::SourceLocation::getLocWithOffset(), getRangeText(), clang::ASTContext::getSourceManager(), clang::Decl::getSourceRange(), getVarDeclIdentifierLoc(), getVarDeclIdentifierText(), and clang::QualType::isNull().

Referenced by fixVariableWithArray().

fixVariable()

static FixItList fixVariable ( const VarDecl *  VD, FixitStrategy::Kind  K, const Decl *  D, const DeclUseTracker &  Tracker, ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3354 of file UnsafeBufferUsage.cpp.

References D, DEBUG_NOTE_DECL_FAIL, fixParamWithSpan(), fixVariableWithArray(), fixVariableWithSpan(), clang::ASTContext::getAsConstantArrayType(), clang::ValueDecl::getType(), clang::VarDecl::isLocalVarDecl(), and clang::Type::isPointerType().

Referenced by getFixIts().

fixVariableWithArray()

static FixItList fixVariableWithArray ( const VarDecl *  VD, const DeclUseTracker &  Tracker, const ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3332 of file UnsafeBufferUsage.cpp.

References fixVarDeclWithArray(), and clang::DeclStmt::isSingleDecl().

Referenced by fixVariable().

fixVariableWithSpan()

static FixItList fixVariableWithSpan ( const VarDecl *  VD, const DeclUseTracker &  Tracker, ASTContext &  Ctx, UnsafeBufferUsageHandler &  Handler  )

static

Definition at line 3234 of file UnsafeBufferUsage.cpp.

References DEBUG_NOTE_DECL_FAIL, fixLocalVarDeclWithSpan(), getUserFillPlaceHolder(), and clang::DeclStmt::isSingleDecl().

Referenced by fixVariable().

FixVarInitializerWithSpan()

static std::optional< FixItList > FixVarInitializerWithSpan ( const Expr *  Init, ASTContext &  Ctx, const StringRef  UserFillPlaceHolder  )

static

Definition at line 2813 of file UnsafeBufferUsage.cpp.

References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::ASTContext::getAsConstantArrayType(), getEndCharLoc(), getExprText(), clang::ASTContext::getLangOpts(), getPastLoc(), clang::ASTContext::getSourceManager(), clang::Init, and SM.

Referenced by fixLocalVarDeclWithSpan().

getEndCharLoc()

template<typename NodeTy >

static std::optional< SourceLocation > getEndCharLoc ( const NodeTy *  Node, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2341 of file UnsafeBufferUsage.cpp.

References clang::SourceLocation::isValid(), Loc, clang::Lexer::MeasureTokenLength(), Node, and SM.

Referenced by FixVarInitializerWithSpan(), UPCPreIncrementGadget::getFixits(), and UUCAddAssignGadget::getFixits().

getEndOfLine()

static StringRef getEndOfLine ( )

static

Definition at line 2324 of file UnsafeBufferUsage.cpp.

Referenced by createOverloadsForFixedParams().

getExprText()

static std::optional< StringRef > getExprText ( const Expr *  E, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2365 of file UnsafeBufferUsage.cpp.

References E, clang::Stmt::getBeginLoc(), clang::CharSourceRange::getCharRange(), getPastLoc(), clang::Lexer::getSourceText(), and SM.

Referenced by fixUPCAddressofArraySubscriptWithSpan(), and FixVarInitializerWithSpan().

getFixIts()

static std::map< const VarDecl *, FixItList > getFixIts ( FixableGadgetSets &  FixablesForAllVars, const FixitStrategy &  S, ASTContext &  Ctx, const Decl *  D, const DeclUseTracker &  Tracker, UnsafeBufferUsageHandler &  Handler, const VariableGroupsManager &  VarGrpMgr  )

static

Definition at line 3488 of file UnsafeBufferUsage.cpp.

References clang::UnsafeBufferUsageHandler::addDebugNoteForVar(), clang::internal::anyConflict(), FixableGadgetSets::byVar, createFunctionOverloadsForParms(), D, eraseVarsForUnfixableGroupMates(), fixVariable(), clang::VariableGroupsManager::getGroupOfVar(), clang::ASTContext::getSourceManager(), Iter, and overlapWithMacro().

Referenced by applyGadgets().

getFunNameText()

static std::optional< StringRef > getFunNameText ( const FunctionDecl *  FD, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2529 of file UnsafeBufferUsage.cpp.

References clang::DeclarationNameInfo::getBeginLoc(), clang::NestedNameSpecifierLoc::getBeginLoc(), clang::DeclarationNameInfo::getEndLoc(), clang::Lexer::getLocForEndOfToken(), clang::FunctionDecl::getNameInfo(), clang::DeclaratorDecl::getQualifier(), clang::DeclaratorDecl::getQualifierLoc(), getRangeText(), and SM.

Referenced by createOverloadsForFixedParams().

getNaiveStrategy()

template<typename VarDeclIterTy >

static FixitStrategy getNaiveStrategy ( llvm::iterator_range< VarDeclIterTy >  UnsafeVars )

static

Definition at line 3588 of file UnsafeBufferUsage.cpp.

References clang::QualType::getCanonicalType(), and clang::ValueDecl::getType().

Referenced by applyGadgets().

getPastLoc()

template<typename NodeTy >

static std::optional< SourceLocation > getPastLoc ( const NodeTy *  Node, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2354 of file UnsafeBufferUsage.cpp.

References clang::Lexer::getLocForEndOfToken(), clang::SourceLocation::isValid(), Loc, Node, and SM.

Referenced by createDataFixit(), createOverloadsForFixedParams(), FixVarInitializerWithSpan(), getExprText(), and DerefSimplePtrArithFixableGadget::getFixits().

getPointeeTypeText()

static std::optional< std::string > getPointeeTypeText ( const VarDecl *  VD, const SourceManager &  SM, const LangOptions &  LangOpts, std::optional< Qualifiers > *  QualifiersToAppend  )

static

Definition at line 2456 of file UnsafeBufferUsage.cpp.

References clang::TypeLoc::castAs(), clang::TypeLoc::getBeginLoc(), clang::TypeLoc::getEndLoc(), clang::Lexer::getLocForEndOfToken(), clang::TypeLoc::getNextTypeLoc(), clang::Type::getPointeeType(), clang::QualType::getQualifiers(), getRangeText(), clang::TypeLoc::getSourceRange(), clang::ValueDecl::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::TypeLoc::getTypeLocClass(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::TypeLoc::getUnqualifiedLoc(), getVarDeclIdentifierLoc(), clang::QualType::hasQualifiers(), clang::Type::isFunctionPointerType(), clang::TypeLoc::isNull(), clang::Type::isPointerType(), clang::SourceLocation::isValid(), clang::SourceRange::isValid(), and SM.

Referenced by createOverloadsForFixedParams(), createSpanTypeForVarDecl(), and fixParamWithSpan().

getRangeText()

static std::optional< StringRef > getRangeText ( SourceRange  SR, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2379 of file UnsafeBufferUsage.cpp.

References clang::CharSourceRange::getCharRange(), clang::Lexer::getSourceText(), clang::Invalid, SM, and Text.

Referenced by createOverloadsForFixedParams(), fixVarDeclWithArray(), getFunNameText(), getPointeeTypeText(), and getVarDeclIdentifierText().

getSourceRangeToTokenEnd()

static SourceRange getSourceRangeToTokenEnd ( const Decl *  D, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2438 of file UnsafeBufferUsage.cpp.

References Begin, D, clang::Decl::getBeginLoc(), clang::Decl::getEndLoc(), clang::Lexer::getLocForEndOfToken(), and SM.

Referenced by createOverloadsForFixedParams().

getSpanTypeText()

static std::string getSpanTypeText ( StringRef  EltTyText, std::optional< Qualifiers >  Quals = std::nullopt  )

static

Definition at line 2550 of file UnsafeBufferUsage.cpp.

Referenced by createOverloadsForFixedParams(), and fixParamWithSpan().

getUserFillPlaceHolder()

static std::string getUserFillPlaceHolder ( StringRef  HintTextToUser = "placeholder" )

static

Definition at line 2331 of file UnsafeBufferUsage.cpp.

References s.

Referenced by createOverloadsForFixedParams(), and fixVariableWithSpan().

getVarDeclIdentifierLoc()

static SourceLocation getVarDeclIdentifierLoc ( const VarDecl *  VD )

static

Definition at line 2393 of file UnsafeBufferUsage.cpp.

References clang::Decl::getLocation().

Referenced by fixLocalVarDeclWithSpan(), fixVarDeclWithArray(), getPointeeTypeText(), and getVarDeclIdentifierText().

getVarDeclIdentifierText()

static std::optional< StringRef > getVarDeclIdentifierText ( const VarDecl *  VD, const SourceManager &  SM, const LangOptions &  LangOpts  )

static

Definition at line 2401 of file UnsafeBufferUsage.cpp.

References clang::Lexer::getLocForEndOfToken(), getRangeText(), getVarDeclIdentifierLoc(), clang::Lexer::isAtEndOfMacroExpansion(), clang::SourceLocation::isMacroID(), and SM.

Referenced by fixVarDeclWithArray().

groupFixablesByVar()

static FixableGadgetSets groupFixablesByVar ( FixableGadgetList &&  AllFixableOperations )

static

Definition at line 2143 of file UnsafeBufferUsage.cpp.

References FixableGadgetSets::byVar, and clang::DeclRefExpr::getDecl().

Referenced by applyGadgets().

groupWarningGadgetsByVar()

static WarningGadgetSets groupWarningGadgetsByVar ( const WarningGadgetList &  AllUnsafeOperations )

static

Definition at line 2111 of file UnsafeBufferUsage.cpp.

References WarningGadgetSets::byVar, clang::DeclRefExpr::getDecl(), and WarningGadgetSets::noVar.

Referenced by applyGadgets().

hasConflictingOverload()

static bool hasConflictingOverload ( const FunctionDecl *  FD )

static

Definition at line 2986 of file UnsafeBufferUsage.cpp.

References clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::DeclContextLookupResult::isSingleResult(), and clang::DeclContext::lookup().

Referenced by createOverloadsForFixedParams().

hasUnsupportedSpecifiers()

static bool hasUnsupportedSpecifiers ( const VarDecl *  VD, const SourceManager &  SM  )

static

Definition at line 2419 of file UnsafeBufferUsage.cpp.

References clang::Decl::attrs(), clang::VarDecl::hasConstantInitialization(), clang::VarDecl::hasLocalStorage(), clang::VarDecl::isConstexpr(), and clang::VarDecl::isInlineSpecified().

Referenced by fixLocalVarDeclWithSpan(), and fixParamWithSpan().

isNonNegativeIntegerExpr()

static bool isNonNegativeIntegerExpr ( const Expr *  Expr, const VarDecl *  VD, const ASTContext &  Ctx  )

static

Definition at line 2264 of file UnsafeBufferUsage.cpp.

References clang::Expr::getIntegerConstantExpr(), clang::Expr::getType(), and clang::Type::isUnsignedIntegerType().

Referenced by UUCAddAssignGadget::getFixits().

isParameterOf()

static bool isParameterOf ( const VarDecl *  VD, const Decl *  D  )

static

Definition at line 3427 of file UnsafeBufferUsage.cpp.

References D, and clang::Decl::getDeclContext().

Referenced by applyGadgets().

overlapWithMacro()

static bool overlapWithMacro ( const FixItList &  FixIts )

static

Definition at line 3414 of file UnsafeBufferUsage.cpp.

References clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::SourceLocation::isMacroID(), Range, and clang::FixItHint::RemoveRange.

Referenced by getFixIts().