Merge CHERI clang static analyzers from rems-project/llvm-project#194

Merged

resistor merged 76 commits intocheriotfrom

Jul 25, 2025

Commits on Jul 25, 2025

[CHERI-CSA] Allow ASTContext::getIntWidth() for reference type

eupharina
authored and
resistor
committed
[CHERI-CSA] Improve LocAsInt arithmetic support

eupharina
authored and
resistor
committed
[CHERI-CSA] Add provenance bit to LocAsInteger

eupharina
authored and
resistor
committed
[analyzer] scan-build: Retain -nostdinc++ option

eupharina
authored and
resistor
committed
[CHERI-CSA] Add alpha.cheri.ProvenanceSourceChecker

eupharina
authored and
resistor
committed
[CHERI-CSA] ProvenanceSourceChecker: add subtraction

eupharina
authored and
resistor
committed
[CHERI-CSA] Add CapabilityCopyChecker

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: suppress for short loops

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: suppress for unaligned ptr

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: silence for hybrid mode

eupharina
authored and
resistor
committed
[CHERI-CSA] CapabilityCopyChecker: char* as universal pointer

eupharina
authored and
resistor
committed
[CHERI-CSA] CapabilityCopyChecker: suppress FP for short copies

eupharina
authored and
resistor
committed
[CHERI-CSA] CapabilityCopyChecker: improve bug trace

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: silence for hybrid mode

eupharina
authored and
resistor
committed
[CHERI_CSA] CHERIUtils

eupharina
authored and
resistor
committed
[CHERI_CSA] Add Capability Alignment Checker

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: assume align on parameters and globals

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: support align check

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: array element alignment

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: attribute __aligned__

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: BugReporterVisitor

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: fix FP for comparison with void*

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: refactoring of MemRegion alignment

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: add allocation source location to warning

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: improve warning message

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityAlignmentChecker: removing dead symbols

eupharina
authored and
resistor
committed
[CHERI_CSA] move 3 checkers from CHERIAlpha to CHERI section

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: propagate InvalidCap through UnaryOperator

eupharina
authored and
resistor
committed
[CHERI_CSA] Enable cheri.* checkers by default on purecap

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: add FixIts

eupharina
authored and
resistor
committed
[CHERI_CSA] Move cheri.CapabilityAlignmentChecker -> optin.portability.PointerAlignment

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: add ReportForCharPtr option

eupharina
authored and
resistor
committed
[CHERI_CSA] Enable alpha.core.PointerSub by default for CHERI

eupharina
authored and
resistor
committed
[CHERI_CSA] Support non-constant offsets to ElementRegion

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: improve alignment tracking

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: use declaration as uniquing location

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: fix infinite recursion

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerSizeAssumptionsChecker: new checker

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: divide bugs into subtypes

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSource: suppress with -Wno-cheri-provenance

eupharina
authored and
resistor
committed
[CHERI_CSA] Fix note links in reports HTML

eupharina
authored and
resistor
committed
[CHERI_CSA] Fix crash with FieldDecl as UniqLoc

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: report implicit assignment amd memcpy

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: fix FP for adjacent objects

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: fix FP for void* assignment

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: improve warning notes

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: suppress duplicate reports

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: improve messages & traces

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: rework handling symbolic addresses

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: false warnings suppression

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: ReportForCharPtr=false by default

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: refine warning types

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: refine warning types

eupharina
authored and
resistor
committed
[CHERI_CSA] PointerAlignmentChecker: support bcopy

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: delete ptrdiff as capability warning

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: Fix for CompoundAssignmentOp

eupharina
authored and
resistor
committed
[CHERI_CSA] CapabilityCopyChecker: fix for BugType

eupharina
authored and
resistor
committed
[CHERI_CSA] ProvenanceSourceChecker: refine warning types

eupharina
authored and
resistor
committed
[CHERI_CSA] New alpha.cheri.SubObjectRepresentability checker

eupharina
authored and
resistor
committed
[CHERI_CSA] SubObjectRepresentability: detailed message

eupharina
authored and
resistor
committed
[CHERI_CSA] SubObjectRepresentability: disable notes for now

eupharina
authored and
resistor
committed
[CHERI_CSA] SubObjectRepresentability: enable notes with updated cheri-compressed-cap

eupharina
authored and
resistor
committed
[CHERI_CSA] SubObjectRepresentability: move alpha.cheri -> cheri

eupharina
authored and
resistor
committed
[CHERI_CSA] New cheri.Allocation checker

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: move static and heap allocation to new BugType

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: suppress for ptr to first field

eupharina
authored and
resistor
committed
[CHERI_CSA] CHERIUtils: Print aka type in messages

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: suppress for flexible array

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: rework

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: suppress for free

eupharina
authored and
resistor
committed
[CHERI_CSA] CHERI API Modelling

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: suppress for bounded suballocations

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: add ReportForUnknownAllocations option

eupharina
authored and
resistor
committed
[CHERI_CSA] AllocationChecker: disable for non-purecap

eupharina
authored and
resistor
committed
[CHERI_CSA] Refactoring state cleanup for dead symbols & regions

eupharina
authored and
resistor
committed
[CHERI_CSA] SubObjectRepresentability: support other CHERI targets

eupharina
authored and
resistor
committed