[all-commits] [llvm/llvm-project] 8578a0: [SSAF][WPA] Add "no-op" PointerFlow and UnsafeBuff...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8578a0a87f4fbce8c34d4069491a197e038a995d
      https://github.com/llvm/llvm-project/commit/8578a0a87f4fbce8c34d4069491a197e038a995d
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-05-05 (Tue, 05 May 2026)

  Changed paths:
    M clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h
    A clang/include/clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowAnalysis.h
    A clang/include/clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowFormat.h
    A clang/include/clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.h
    M clang/include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/CMakeLists.txt
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowAnalysis.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowExtractor.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowFormat.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.h
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageAnalysis.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageExtractor.cpp
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-bad-edges.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-bad-id.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-empty.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-no-key.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result-odd-count.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/wpa-result.json
    M clang/test/Analysis/Scalable/PointerFlow/tu-summary-serialization.test
    A clang/test/Analysis/Scalable/PointerFlow/wpa-result-serialization.test
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-bad-epls.json
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-bad-id.json
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-empty.json
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-no-key.json
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result-odd-count.json
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/Inputs/wpa-result.json
    M clang/test/Analysis/Scalable/UnsafeBufferUsage/tu-summary-serialization.test
    A clang/test/Analysis/Scalable/UnsafeBufferUsage/wpa-result-serialization.test
    A clang/unittests/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowWPATest.cpp
    A clang/unittests/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageWPATest.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/CMakeLists.txt

  Log Message:
  -----------
  [SSAF][WPA] Add "no-op" PointerFlow and UnsafeBufferUsage analysis (#193089)

Added 'no-op' PointerFlow and UnsafeBufferUsage analyses to convert
summary data into AnalysisResult, which DerivedAnalysis can then consume.

Also, refactored the PointerFlow and UnsafeBufferUsage serialization
for code sharing.

rdar://174874942

---------

Co-authored-by: Balázs Benics <benicsbalazs at gmail.com>
Co-authored-by: Jan Korous <jkorous at apple.com>



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