[all-commits] [llvm/llvm-project] b73ce3: [SSAF][PointerFlow] Add PointerFlow summary and ex...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b73ce3e53fcb9f72c759139e93db7e16a813c3b2
      https://github.com/llvm/llvm-project/commit/b73ce3e53fcb9f72c759139e93db7e16a813c3b2
  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/EntityPointerLevel.h
    M clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h
    A clang/include/clang/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlow.h
    M clang/include/clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h
    M clang/include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/CMakeLists.txt
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlow.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowExtractor.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowFormat.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageExtractor.cpp
    A clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageFormat.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Tool/Utils.cpp
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/tu-summary-bad-array.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/tu-summary-bad-summary.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/tu-summary-no-key.json
    A clang/test/Analysis/Scalable/PointerFlow/Inputs/tu-summary.json
    A clang/test/Analysis/Scalable/PointerFlow/tu-summary-serialization.test
    M clang/test/Analysis/Scalable/ssaf-format/list.test
    A clang/unittests/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowTest.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/CMakeLists.txt

  Log Message:
  -----------
  [SSAF][PointerFlow] Add PointerFlow summary and extractor (#188654)

Implement a PointerFlow summary and extractor, which uses
EntityPointerLevel. An assignment is extracted as a pair of
EntityPointerLevels, representing a directed edge.
Edges extracted from assignments form a directed graph
encoding abstract pointer flow information.

rdar://172429193

---------

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