Isaac Nudelman c6fa115b2d

[clang][analyzer] Relax assertion for non-default address spaces in the cstring checker (#153498) ...

Prevent an assertion failure in the cstring checker when library
functions like memcpy are defined with non-default address spaces.

Adds a test for this case.

2025-08-20 16:07:54 -05:00

..

cert

[clang][analyzer][NFC] Add a helper for conjuring symbols at call events (#137182)

2025-04-25 13:32:38 +02:00

MPI-Checker

[analyzer][NFCI] Remove ad-hoc program point tagging (#142980)

2025-06-06 14:34:47 +02:00

RetainCountChecker

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

UninitializedObject

[clang] Replace SmallSet with SmallPtrSet (NFC) (#154262)

2025-08-19 07:11:39 -07:00

WebKit

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

AllocationState.h

…

AnalysisOrderChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

AnalyzerStatsChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

ArrayBoundChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

AssumeModeling.cpp

[analyzer] Drop assertion enforcing that assume args are known constants (#151908)

2025-08-05 17:03:53 +02:00

BasicObjCFoundationChecks.cpp

[NFC][analyzer] Clean bug type use in BasicObjCFoundationChecks (#151141)

2025-07-30 13:04:44 +02:00

BitwiseShiftChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

BlockInCriticalSectionChecker.cpp

[clang][analyzer] Teach the BlockInCriticalSectionChecker about O_NONBLOCK streams (#127049)

2025-02-17 15:35:40 +01:00

BoolAssignmentChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

BuiltinFunctionChecker.cpp

[clang][analyzer] Fix error path of builtin overflow (#136345)

2025-04-20 16:14:41 +02:00

CallAndMessageChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

CastSizeChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

CastToStructChecker.cpp

…

CastValueChecker.cpp

…

CheckerDocumentation.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

CheckObjCDealloc.cpp

…

CheckObjCInstMethSignature.cpp

…

CheckPlacementNew.cpp

[analyzer] Fix FP for cplusplus.placement new #149240 (#150161)

2025-07-30 15:14:06 +02:00

CheckSecuritySyntaxOnly.cpp

…

ChrootChecker.cpp

…

CloneChecker.cpp

…

CMakeLists.txt

[clang][analyzer] Add StoreToImmutable checker (#150417)

2025-08-04 14:56:33 +02:00

ContainerModeling.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

ConversionChecker.cpp

…

CStringChecker.cpp

[clang][analyzer] Relax assertion for non-default address spaces in the cstring checker (#153498)

2025-08-20 16:07:54 -05:00

CStringSyntaxChecker.cpp

…

CXXDeleteChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

CXXSelfAssignmentChecker.cpp

…

DeadStoresChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

DebugCheckers.cpp

…

DebugContainerModeling.cpp

…

DebugIteratorModeling.cpp

…

DereferenceChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

DirectIvarAssignment.cpp

…

DivZeroChecker.cpp

[analyzer] Avoid contradicting assumption in tainted div-by-0 error node (#144491)

2025-06-17 13:07:44 +02:00

DynamicTypeChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

DynamicTypePropagation.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

EnumCastOutOfRangeChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

ErrnoChecker.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

ErrnoModeling.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

ErrnoModeling.h

Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured (#137355)

2025-05-12 14:19:44 +02:00

ErrnoTesterChecker.cpp

[clang][analyzer][NFC] Add a helper for conjuring symbols at call events (#137182)

2025-04-25 13:32:38 +02:00

ExprInspectionChecker.cpp

[NFC][analyzer] Rename CheckerBase::getCheckerName to getName (#130953)

2025-03-12 14:49:00 +01:00

FixedAddressChecker.cpp

…

FuchsiaHandleChecker.cpp

…

GCDAntipatternChecker.cpp

…

GenericTaintChecker.cpp

[analyzer][NFCI] Remove ad-hoc program point tagging (#142980)

2025-06-06 14:34:47 +02:00

GTestChecker.cpp

…

InnerPointerChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

InterCheckerAPI.h

…

InvalidatedIteratorChecker.cpp

…

Iterator.cpp

Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured (#137355)

2025-05-12 14:19:44 +02:00

Iterator.h

Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured (#137355)

2025-05-12 14:19:44 +02:00

IteratorModeling.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

IteratorRangeChecker.cpp

…

IvarInvalidationChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

LLVMConventionsChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

LocalizationChecker.cpp

[clang] Replace SmallSet with SmallPtrSet (NFC) (#154262)

2025-08-19 07:11:39 -07:00

MacOSKeychainAPIChecker.cpp

[analyzer][NFCI] Remove ad-hoc program point tagging (#142980)

2025-06-06 14:34:47 +02:00

MacOSXAPIChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

MallocChecker.cpp

[analyzer] Detect use-after-free for field address (e.g., &ptr->field) (#152462)

2025-08-08 20:48:50 +02:00

MallocSizeofChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

MIGChecker.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

MismatchedIteratorChecker.cpp

[clang][analyzer] Improve the modeling of insert in MismatchedIteratorChecker (#132596)

2025-03-23 09:49:37 +01:00

MmapWriteExecChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

Move.h

…

MoveChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

NonnullGlobalConstantsChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

NonNullParamChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

NoOwnershipChangeVisitor.cpp

…

NoOwnershipChangeVisitor.h

[analyzer] Conversion to CheckerFamily: MallocChecker (#147080)

2025-07-08 15:56:21 +02:00

NoReturnFunctionChecker.cpp

…

NSAutoreleasePoolChecker.cpp

…

NSErrorChecker.cpp

[analyzer] Conversion to CheckerFamily: NSOrCFErrorDerefChecker (#151171)

2025-07-30 13:54:59 +02:00

NullabilityChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

NumberObjectConversionChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

ObjCAtSyncChecker.cpp

…

ObjCAutoreleaseWriteChecker.cpp

…

ObjCContainersASTChecker.cpp

…

ObjCContainersChecker.cpp

…

ObjCMissingSuperCallChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

ObjCPropertyChecker.cpp

…

ObjCSelfInitChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

ObjCSuperDeallocChecker.cpp

…

ObjCUnusedIVarsChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

OSObjectCStyleCast.cpp

…

PaddingChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

PointerArithChecker.cpp

[clang] Replace SmallSet with SmallPtrSet (NFC) (#154262)

2025-08-19 07:11:39 -07:00

PointerSubChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

PthreadLockChecker.cpp

…

PutenvStackArrayChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

ReturnPointerRangeChecker.cpp

…

ReturnUndefChecker.cpp

…

ReturnValueChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

RunLoopAutoreleaseLeakChecker.cpp

…

SetgidSetuidOrderChecker.cpp

…

SimpleStreamChecker.cpp

…

SmartPtr.h

…

SmartPtrChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

SmartPtrModeling.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

StackAddrEscapeChecker.cpp

[analyzer] Conversion to CheckerFamily: StackAddrEscapeChecker (#151136)

2025-07-30 14:04:55 +02:00

StdLibraryFunctionsChecker.cpp

[clang] Improve nested name specifier AST representation (#147835)

2025-08-09 05:06:53 -03:00

StdVariantChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

STLAlgorithmModeling.cpp

Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured (#137355)

2025-05-12 14:19:44 +02:00

StoreToImmutableChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

StreamChecker.cpp

Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured (#137355)

2025-05-12 14:19:44 +02:00

StringChecker.cpp

…

TaggedUnionModeling.h

…

Taint.cpp

…

TaintTesterChecker.cpp

…

TestAfterDivZeroChecker.cpp

[clang] Use std::tie to implement operator< (NFC) (#139438)

2025-05-11 07:13:41 -07:00

TraversalChecker.cpp

…

TrustNonnullChecker.cpp

…

TrustReturnsNonnullChecker.cpp

…

UndefBranchChecker.cpp

…

UndefCapturedBlockVarChecker.cpp

…

UndefinedArraySubscriptChecker.cpp

…

UndefinedAssignmentChecker.cpp

[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)

2025-08-08 19:16:47 +02:00

UndefinedNewArraySizeChecker.cpp

…

UndefResultChecker.cpp

[StaticAnalyzer] Remove unused includes (NFC) (#141525)

2025-05-26 14:57:13 -07:00

UnixAPIChecker.cpp

[analyzer] Remove trivially true condition (#152850)

2025-08-11 14:42:43 +02:00

UnreachableCodeChecker.cpp

[clang] Ensure newline at the end of files (NFC) (#143154)

2025-06-06 09:16:46 -07:00

ValistChecker.cpp

[NFC][analyzer] Remove CheckerNameRef::getName() (#130780)

2025-03-11 16:33:10 +01:00

VforkChecker.cpp

[clang] Replace SmallSet with SmallPtrSet (NFC) (#154262)

2025-08-19 07:11:39 -07:00

VirtualCallChecker.cpp

[NFC][analyzer] Rename getTagDescription to getDebugName (#141511)

2025-05-26 21:29:09 +02:00

VLASizeChecker.cpp

Reland [Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sugar types (#149613)

2025-07-19 03:44:14 -03:00

Yaml.h

…