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

[Ziqing Luo via All-commits]

  Branch: refs/heads/users/ziqingluo/PR-175802731-4
  Home:   https://github.com/llvm/llvm-project
  Commit: f1c76f863a58f4dfa0363bbd88fb6de9511df0d1
      https://github.com/llvm/llvm-project/commit/f1c76f863a58f4dfa0363bbd88fb6de9511df0d1
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-04-28 (Tue, 28 Apr 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: c7e805c202a73bdd343876d190a6f7cd34535f38
      https://github.com/llvm/llvm-project/commit/c7e805c202a73bdd343876d190a6f7cd34535f38
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-04-28 (Tue, 28 Apr 2026)

  Changed paths:
    M clang/include/clang/Frontend/FrontendOptions.h
    M clang/include/clang/Options/Options.td
    A clang/include/clang/ScalableStaticAnalysisFramework/Frontend/SourcePassAnalysisFrontendAction.h
    M clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Frontend/CMakeLists.txt
    A clang/lib/ScalableStaticAnalysisFramework/Frontend/SourcePassAnalysisFrontendAction.cpp

  Log Message:
  -----------
  [SSAF] Add CLI option for SourcePassAnalysis


  Commit: 84195793a6e24b796a9f5c63c546f5b4d32084c8
      https://github.com/llvm/llvm-project/commit/84195793a6e24b796a9f5c63c546f5b4d32084c8
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-04-28 (Tue, 28 Apr 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/CMakeLists.txt
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Core/CMakeLists.txt
    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/help.cpp
    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: 9e4748e9a7201eaa4397eabef11fd4299f623ed0
      https://github.com/llvm/llvm-project/commit/9e4748e9a7201eaa4397eabef11fd4299f623ed0
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-04-28 (Tue, 28 Apr 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


Compare: https://github.com/llvm/llvm-project/compare/f1c76f863a58%5E...9e4748e9a720

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