[all-commits] [llvm/llvm-project] d99031: Pull in the draft PR "[clang][ssaf] Add clang-ssaf...

[Ziqing Luo via All-commits]

  Branch: refs/heads/users/ziqingluo/PR-175802731-3
  Home:   https://github.com/llvm/llvm-project
  Commit: d99031b02490303a5011477f04547159f06b5c2a
      https://github.com/llvm/llvm-project/commit/d99031b02490303a5011477f04547159f06b5c2a
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    A clang/test/Analysis/Scalable/ssaf-analyzer/Inputs/lu-badext.txt
    A clang/test/Analysis/Scalable/ssaf-analyzer/Inputs/lu-noext
    A clang/test/Analysis/Scalable/ssaf-analyzer/Inputs/lu.json
    A clang/test/Analysis/Scalable/ssaf-analyzer/Outputs/all.json
    A clang/test/Analysis/Scalable/ssaf-analyzer/Outputs/both.json
    A clang/test/Analysis/Scalable/ssaf-analyzer/Outputs/pairs.json
    A clang/test/Analysis/Scalable/ssaf-analyzer/Outputs/tags.json
    A clang/test/Analysis/Scalable/ssaf-analyzer/analyzer.test
    A clang/test/Analysis/Scalable/ssaf-analyzer/help.test
    A clang/test/Analysis/Scalable/ssaf-analyzer/lit.local.cfg
    A clang/test/Analysis/Scalable/ssaf-analyzer/validation-errors-permissions.test
    A clang/test/Analysis/Scalable/ssaf-analyzer/validation-errors.test
    A clang/test/Analysis/Scalable/ssaf-analyzer/version.test
    M clang/test/CMakeLists.txt
    M clang/tools/CMakeLists.txt
    A clang/tools/clang-ssaf-analyzer/CMakeLists.txt
    A clang/tools/clang-ssaf-analyzer/SSAFAnalyzer.cpp

  Log Message:
  -----------
  Pull in the draft PR "[clang][ssaf] Add clang-ssaf-analyzer #188881"


  Commit: 183dc93f6ff8fada4a233ffa87068f13f8d4a2b1
      https://github.com/llvm/llvm-project/commit/183dc93f6ff8fada4a233ffa87068f13f8d4a2b1
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    M clang/include/clang/ScalableStaticAnalysisFramework/Core/Model/PrivateFieldNames.def
    M clang/include/clang/ScalableStaticAnalysisFramework/Core/SourcePassAnalysis/SourcePassAnalysis.h
    M clang/include/clang/ScalableStaticAnalysisFramework/Core/WholeProgramAnalysis/WPASuite.h
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Core/Serialization/JSONFormat/WPASuite.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Core/TUSummary/TUSummaryBuilder.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Core/WholeProgramAnalysis/AnalysisDriver.cpp
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-bad-edges.json
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-bad-id.json
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-empty.json
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-no-key.json
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-odd-count.json
    M clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-bad-epls.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-bad-id.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-empty.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-no-key.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-odd-count.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result.json
    M clang/test/Analysis/Scalable/ssaf-format/WPASuite/with-plugin.test
    M clang/test/Analysis/Scalable/ssaf-format/WPASuite/without-plugin.test

  Log Message:
  -----------
  [SSAF] Add UnsafeBufferReachableDebugAnalysis--a source pass analysis

Also added temporary workaround for LUNamespace and Entity linkage info


  Commit: 12f896d43a6f2d0c3960239f58177a64e826f719
      https://github.com/llvm/llvm-project/commit/12f896d43a6f2d0c3960239f58177a64e826f719
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    A clang/test/Analysis/Scalable/EndToEnd/UnsafeBufferFlow/connected_units_by_calls.cpp
    A clang/test/Analysis/Scalable/EndToEnd/UnsafeBufferFlow/connected_units_by_class_and_clients.cpp
    A clang/test/Analysis/Scalable/EndToEnd/UnsafeBufferFlow/connected_units_by_global.cpp
    A clang/test/Analysis/Scalable/EndToEnd/UnsafeBufferFlow/connected_units_by_ret.cpp
    A clang/test/Analysis/Scalable/EndToEnd/UnsafeBufferFlow/disconnected_units.cpp

  Log Message:
  -----------
  [SSAF][UnsafeBufferReachableAnalysis] add end-to-end testing


  Commit: 5d4b5c5d167b2d00a4cd87b9120afffebbbabbf5
      https://github.com/llvm/llvm-project/commit/5d4b5c5d167b2d00a4cd87b9120afffebbbabbf5
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    M clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp

  Log Message:
  -----------
  fix clang-format


Compare: https://github.com/llvm/llvm-project/compare/ae5a3eed7eee...5d4b5c5d167b

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications