T-Gruber d63cc4c876

[analyzer] Unknown array lvalue element in Store (#133381) ...

Remove the early return for BaseRegions of type ElementRegion. Return
meaningful MemRegionVal for these cases as well.
Previous discussion:
https://discourse.llvm.org/t/lvalueelement-returns-unknownval-for-multi-dimensional-arrays/85476

2025-03-31 08:44:28 +02:00

..

AnalysisManager.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

AnalyzerOptions.cpp

[NFC][analyzer] Use CheckerBase::getName in checker option handling (#131612)

2025-03-18 16:11:43 +01:00

APSIntType.cpp

…

BasicValueFactory.cpp

[analyzer][NFC] Introduce APSIntPtr, a safe wrapper of APSInt (1/4) (#120435)

2024-12-19 12:04:04 +01:00

BlockCounter.cpp

…

BugReporter.cpp

[analyzer] Introduce per-entry-point statistics (#131175)

2025-03-17 08:23:31 +01:00

BugReporterVisitors.cpp

[clang][analyzer] Add BugReporterVisitor messages for non-null fixed pointer (#129557)

2025-03-17 09:46:58 +01:00

BugSuppression.cpp

[analyzer] Add time-trace scopes for high-level analyzer steps (#125508)

2025-02-05 17:22:18 +01:00

CallDescription.cpp

…

CallEvent.cpp

[analyzer] Simplify CallEvent castArgToParamTypeIfNeeded (#120981)

2024-12-24 17:05:38 +01:00

Checker.cpp

[NFC][analyzer] Framework for multipart checkers (#130985)

2025-03-17 10:19:57 +01:00

CheckerContext.cpp

[StrTable] Switch Clang builtins to use string tables

2025-02-04 18:04:57 +00:00

CheckerHelpers.cpp

…

CheckerManager.cpp

[NFC][analyzer] Use CheckerBase::getName in checker option handling (#131612)

2025-03-18 16:11:43 +01:00

CheckerRegistryData.cpp

…

CMakeLists.txt

[analyzer] Introduce per-entry-point statistics (#131175)

2025-03-17 08:23:31 +01:00

CommonBugCategories.cpp

…

ConstraintManager.cpp

Revert "[analyzer][Solver] Early return if sym is concrete on assuming" (#116362)

2024-11-15 10:28:40 +01:00

CoreEngine.cpp

[analyzer] Introduce per-entry-point statistics (#131175)

2025-03-17 08:23:31 +01:00

DynamicExtent.cpp

…

DynamicType.cpp

…

EntryPointStats.cpp

[analyzer] Add [[maybe_unused]] forgotten in 57e36419b251 (#131617)

2025-03-17 15:00:45 +01:00

Environment.cpp

…

ExplodedGraph.cpp

[analyzer][NFC] Remove a redundant container lookup (#125064)

2025-01-30 20:48:43 +01:00

ExprEngine.cpp

[clang][analyzer] Correctly handle structured bindings captured by lambda (#132579)

2025-03-26 16:03:43 +01:00

ExprEngineC.cpp

Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)

2025-03-06 08:09:09 +01:00

ExprEngineCallAndReturn.cpp

[analyzer] Introduce per-entry-point statistics (#131175)

2025-03-17 08:23:31 +01:00

ExprEngineCXX.cpp

Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)

2025-03-06 08:09:09 +01:00

ExprEngineObjC.cpp

[StaticAnalyzer] Fix state update in VisitObjCForCollectionStmt (#124477)

2025-01-30 16:21:46 -08:00

FunctionSummary.cpp

…

HTMLDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

LoopUnrolling.cpp

[analyzer] Fix zext assertion failure in loop unrolling (#121203)

2024-12-28 11:09:29 +01:00

LoopWidening.cpp

…

MemRegion.cpp

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

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

PlistDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

PrettyStackTraceLocationContext.h

…

ProgramState.cpp

[analyzer] Limit Store by region-store-binding-limit (#127602)

2025-02-24 15:48:06 +01:00

RangeConstraintManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

RangedConstraintManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

RegionStore.cpp

[analyzer] Do list initialization for CXXNewExpr with initializer list arg (#127702)

2025-02-28 17:42:26 +01:00

SarifDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

SimpleConstraintManager.cpp

[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)

2024-12-19 12:51:40 +01:00

SimpleSValBuilder.cpp

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

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

SMTConstraintManager.cpp

…

Store.cpp

[analyzer] Unknown array lvalue element in Store (#133381)

2025-03-31 08:44:28 +02:00

SValBuilder.cpp

[Clang] Introduce a trait to determine the structure binding size (#131515)

2025-03-18 20:50:56 +01:00

SVals.cpp

[analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (#120437)

2024-12-19 12:57:51 +01:00

SymbolManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

TextDiagnostics.cpp

[clang] Extend diagnose_if to accept more detailed warning information, take 2 (#119712)

2025-01-28 08:41:31 +01:00

WorkList.cpp

[analyzer] Introduce per-entry-point statistics (#131175)

2025-03-17 08:23:31 +01:00

Z3CrosscheckVisitor.cpp

[analyzer] Add metrics tracking time spent in Z3 solver (#133236)

2025-03-28 11:26:28 +01:00