llvm-project
[SSAF][PointerFlow] Add PointerFlow summary and extractor
#188654
Merged
Overview
Commits
120
Changes
View On GitHub

[SSAF][PointerFlow] Add PointerFlow summary and extractor #188654

ziqingluo-90 merged 120 commits into main from users/ziqingluo/PR-172429193-3
ziqingluo-90
ziqingluo-90 Reapply "[clang][ssaf] Add UnsafeBufferUsage summary extractor for fu…
cb8c65a3
ziqingluo-90 [ssaf][UnsafeBufferUsage] Add support for extracting unsafe pointers …
09fcf76d
ziqingluo-90 clean up
613955c1
ziqingluo-90 Address comments
deef1a0a
ziqingluo-90 Reapply "[clang][ssaf] Add UnsafeBufferUsage summary extractor for fu…
5ffde95a
ziqingluo-90 [ssaf][UnsafeBufferUsage] Add support for extracting unsafe pointers …
fe7dd289
ziqingluo-90 clean up
ebd6232d
ziqingluo-90 Address comments
e26fd174
ziqingluo-90 [ssaf][UnsafeBufferUsage] Add JSON serialization for UnsafeBufferUsage
9a212055
ziqingluo-90 Merge branch 'main' into users/ziqingluo/eng/PR-171735836
1bf9a447
ziqingluo-90 fix a conflict merge issue
8e063bd5
ziqingluo-90 Fix clang-format issue
9a4630dd
ziqingluo-90 Merge branch 'users/ziqingluo/eng/PR-171735836' into users/ziqingluo/…
5e855a99
ziqingluo-90 [NFC][SSAF][UnsafeBufferUsage] Separate EntityPointerLevel and Unsafe…
50ab0797
ziqingluo-90 [SSAF][UnsafeBufferUsage] Implement AST visitor that respects the con…
5e830286
ziqingluo-90 [SSAF][PointerAssignments] Add PointerAssignments summary and extractor
cd394f79
ziqingluo-90 ziqingluo-90 requested a review from aviralg aviralg 57 days ago
ziqingluo-90 ziqingluo-90 requested a review from steakhal steakhal 57 days ago
ziqingluo-90 ziqingluo-90 requested a review from jkorous-apple jkorous-apple 57 days ago
llvmbot llvmbot added clang
llvmbot llvmbot added clang:static analyzer
llvmbot llvmbot added clang:analysis
llvmbot llvmbot added clang:ssaf
llvmbot
llvmbot
github-actions
github-actions
github-actions
ziqingluo-90 Merge remote-tracking branch 'origin' into users/ziqingluo/eng/PR-171…
620d322d
ziqingluo-90 address some comments
e5dbc489
ziqingluo-90 address comments
2cbbc1af
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBuffe…
84206125
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBuffe…
f8a2e0e6
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBuffe…
354f742f
ziqingluo-90 refactor UnsafeBufferUsage serialization API and test for Format inde…
157f3c29
ziqingluo-90 address comments
0e7f715a
ziqingluo-90 address comments
e4d0b9ea
ziqingluo-90 Merge branch 'main' into users/ziqingluo/eng/PR-171920065
4d8f738e
ziqingluo-90 address comments
54e480ee
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
68eddbb1
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
70c1962d
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
1b980e08
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
b220e30e
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
9eebb20e
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/U…
74863f2b
ziqingluo-90 Update clang/unittests/ScalableStaticAnalysisFramework/Analyses/Unsaf…
ce07c3ce
ziqingluo-90 Merge remote-tracking branch 'origin/main' into users/ziqingluo/eng/P…
d30f0f56
ziqingluo-90 Merge branch 'main' into users/ziqingluo/eng/PR-171920065
0a1c2972
jkorous-apple
jkorous-apple requested changes on 2026-04-02
ziqingluo-90 [NFC][SSAF][UnsafeBufferUsage] Separate EntityPointerLevel and Unsafe…
b44a1107
ziqingluo-90 rebase
f3c29ee5
ziqingluo-90 clean up
1cf2c6a6
ziqingluo-90 Merge remote-tracking branch 'origin/users/ziqingluo/PR-172429193' in…
a71bb3b9
ziqingluo-90 fix issues after rebase
4c681abf
ziqingluo-90 remove proxy functions for unit-testing UnsafeBufferUsageExtractor
036f9b1c
ziqingluo-90 fix clang-format issue
1a7d5339
ziqingluo-90 fix build issue
ae576062
ziqingluo-90 fix bugs
8e548903
ziqingluo-90 fix typo
abc7647c
ziqingluo-90 fix format
63be9b26
ziqingluo-90 Merge remote-tracking branch 'origin/users/ziqingluo/PR-172429193-2' …
f7bafb07
ziqingluo-90 rename to PointerFlow
8b954b93
ziqingluo-90 improve the PR
5730becf
ziqingluo-90 refactor tests to use HandleTranslationUnit, get rid of proxy functions
492ec75e
ziqingluo-90 add include of ExprCXX.h
33209adc
ziqingluo-90 fix clang-format
c52d2df0
ziqingluo-90 ziqingluo-90 changed the title [SSAF][PointerAssignments] Add PointerAssignments summary and extractor [SSAF][PointerFlow] Add PointerFlow summary and extractor 44 days ago
ziqingluo-90 fix a test failure on Windows
be1be133
ziqingluo-90 fix clang-format
6cd1636e
ziqingluo-90 [NFC][SSAF] Move EntityPointerLevel to a separate folder
a4ccace9
ziqingluo-90 [SSAF][UnsafeBufferUsage] Add APIs to the EntityPointerLevel module f…
3994ca43
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/EntityPoint…
11bc5e09
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/E…
3b4bddf9
ziqingluo-90 Update clang/include/clang/ScalableStaticAnalysisFramework/Analyses/E…
ab919452
ziqingluo-90 address comments
d44fad76
ziqingluo-90 Merge branch 'main' into users/ziqingluo/PR-172429193-pre-2
0b8f8e7a
ziqingluo-90 fix format
39fbbba0
ziqingluo-90 [SSAF][UnsafeBufferUsage] Remove UnsafeBufferUsageExtractor.h
65abbbd4
ziqingluo-90 [NFC][SSAF] Extract common code in Analyses to a shared file
9407fc4e
ziqingluo-90 [SSAF][Analyses] Add an AST visitor for the contribution model
f4ab72cb
ziqingluo-90 [UnsafeBufferUsage][SSAF] Change -Wunsafe-buffer-usage API for SSAF-b…
d116672a
ziqingluo-90 Merge branch 'main' into users/ziqingluo/PR-172429193-pre-2
19344ade
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-pre-2' into users/ziqinglu…
59033e11
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-4' into users/ziqi…
6c7ec717
ziqingluo-90 Fix issues after merge
477feef3
ziqingluo-90 clean up code
f4ab5e00
ziqingluo-90 clean up
21b98e0e
ziqingluo-90 fix format
ef430c6c
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-1' into users/ziqi…
4f206768
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-2' into users/ziqi…
e9c0b9c4
ziqingluo-90 fix merge issues
bae2ead1
ziqingluo-90 fix build issue
25ccdfab
ziqingluo-90 clean up
47f1c1a5
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-3' into users/ziqi…
e7ef07b8
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-4' into users/ziqi…
e1c1ada6
ziqingluo-90 ziqingluo-90 requested a review from vangthao95 vangthao95 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from lamb-j lamb-j 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from DeinAlptraum DeinAlptraum 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from JDevlieghere JDevlieghere 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from QuietMisdreavus QuietMisdreavus 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from snprajwal snprajwal 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from aaupov aaupov 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from maksfb maksfb 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from rafaelauler rafaelauler 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from ayermolo ayermolo 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from yota9 yota9 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from paschalis-mpeis paschalis-mpeis 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from yozhu yozhu 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from yavtuk yavtuk 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from mchoo7 mchoo7 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from lanza lanza 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from bcardosolopes bcardosolopes 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from xlauko xlauko 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from andykaylor andykaylor 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from banach-space banach-space 37 days ago
ziqingluo-90 ziqingluo-90 requested a review from nikic nikic 37 days ago
ziqingluo-90 ziqingluo-90 requested a review 37 days ago
ziqingluo-90 ziqingluo-90 changed the base branch from users/ziqingluo/PR-172429193-2 to users/ziqingluo/PR-172429193-2-split-4 37 days ago
ziqingluo-90 ziqingluo-90 removed review request 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from nikic nikic 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from JDevlieghere JDevlieghere 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from aaupov aaupov 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from paschalis-mpeis paschalis-mpeis 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from banach-space banach-space 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from QuietMisdreavus QuietMisdreavus 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from xlauko xlauko 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from bcardosolopes bcardosolopes 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from maksfb maksfb 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from rafaelauler rafaelauler 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from lanza lanza 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from yota9 yota9 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from yavtuk yavtuk 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from lamb-j lamb-j 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from vangthao95 vangthao95 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from ayermolo ayermolo 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from DeinAlptraum DeinAlptraum 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from andykaylor andykaylor 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from mchoo7 mchoo7 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from snprajwal snprajwal 37 days ago
ziqingluo-90 ziqingluo-90 removed review request from yozhu yozhu 37 days ago
ziqingluo-90 remove irrelevant changes
9f8c1d41
ziqingluo-90 clean up code
8d5a7199
ziqingluo-90 fix linux build fail
3cd2f6f8
ziqingluo-90 fix linux build fail
b644c8d6
ziqingluo-90 move ASTContext include to the header
51c6b68a
ziqingluo-90 fix build error
db82d211
ziqingluo-90 Merge commit '2537596d2292d32e029dbccf4ecee55202c8ec64' into users/zi…
d686a64f
ziqingluo-90 add missing include
9324e93e
ziqingluo-90 ziqingluo-90 requested a review from rupprecht rupprecht 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from keith keith 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from aaronmondal aaronmondal 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from antiagainst antiagainst 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from kuhar kuhar 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from IgWod IgWod 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from dcaballe dcaballe 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from nicolasvasilache nicolasvasilache 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from matthias-springer matthias-springer 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from silee2 silee2 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from charithaintc charithaintc 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from Jianhui-Li Jianhui-Li 32 days ago
ziqingluo-90 ziqingluo-90 requested a review from Endilll Endilll 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from rupprecht rupprecht 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from keith keith 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from aaronmondal aaronmondal 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from antiagainst antiagainst 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from kuhar kuhar 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from IgWod IgWod 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from dcaballe dcaballe 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from nicolasvasilache nicolasvasilache 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from matthias-springer matthias-springer 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from silee2 silee2 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from charithaintc charithaintc 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from Jianhui-Li Jianhui-Li 32 days ago
ziqingluo-90 ziqingluo-90 removed review request from Endilll Endilll 32 days ago
github-actions
ziqingluo-90 ziqingluo-90 changed the title [SSAF][PointerFlow] Add PointerFlow summary and extractor [Do not review until rebase][SSAF][PointerFlow] Add PointerFlow summary and extractor 32 days ago
ziqingluo-90 Update clang/unittests/ScalableStaticAnalysisFramework/Analyses/Unsaf…
ce73ab70
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBuffe…
9356e1e4
ziqingluo-90 address comments
212474a0
ziqingluo-90 Merge remote-tracking branch 'origin/main' into users/ziqingluo/PR-17…
0a5870d8
ziqingluo-90 Move templates into clang::ssaf
cd5634a0
ziqingluo-90 a class should own a std::function instead of a llvm::function_ref
a69a290e
ziqingluo-90 Merge remote-tracking branch 'origin/users/ziqingluo/PR-172429193-2-s…
07f7b03d
ziqingluo-90 fix build issue
e9d24b03
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-2' into users/ziqi…
43f82081
ziqingluo-90 Merge remote-tracking branch 'origin/users/ziqingluo/PR-172429193-2-s…
66f29459
ziqingluo-90 fix build issue
699d592c
ziqingluo-90 fix build issue
bc19b3d5
ziqingluo-90 Merge branch 'users/ziqingluo/PR-172429193-2-split-3' into users/ziqi…
31bacc1e
ziqingluo-90 Merge remote-tracking branch 'origin/main' into users/ziqingluo/PR-17…
fad1e489
ziqingluo-90 Merge remote-tracking branch 'origin/users/ziqingluo/PR-172429193-2-s…
486cc512
ziqingluo-90 had Claude to give a review pass
3c3f64f1
ziqingluo-90 Add #include "clang/AST/ExprCXX.h"
b7a4020a
ziqingluo-90 ziqingluo-90 changed the title [Do not review until rebase][SSAF][PointerFlow] Add PointerFlow summary and extractor [SSAF][PointerFlow] Add PointerFlow summary and extractor 31 days ago
Base automatically changed from users/ziqingluo/PR-172429193-2-split-4 to main 31 days ago
steakhal
steakhal commented on 2026-04-22
ziqingluo-90 add 'explicit'
2eb7b02b
ziqingluo-90 remove base default ctor call
1813c326
ziqingluo-90 fix license title length
7bcd12cf
ziqingluo-90 Move serialization code to *Format.cpp files
f6463b7c
ziqingluo-90 address comments
cb5bfb15
ziqingluo-90 address comments
ecb8bd10
ziqingluo-90 address comments
c7506a9d
ziqingluo-90 ziqingluo-90 requested a review from steakhal steakhal 28 days ago
ziqingluo-90 ziqingluo-90 requested a review from jkorous-apple jkorous-apple 28 days ago
ziqingluo-90 address comments
18bc1d23
ziqingluo-90 fix build issue
b006b065
ziqingluo-90 fix clang format
4170f6df
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
jkorous-apple
jkorous-apple commented on 2026-04-27
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow…
950f4652
ziqingluo-90 Update clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow…
6567b818
ziqingluo-90 address comments
0ba904d5
ziqingluo-90 ziqingluo-90 requested a review from jkorous-apple jkorous-apple 22 days ago
ziqingluo-90
ziqingluo-90 Merge remote-tracking branch 'origin/main' into users/ziqingluo/PR-17…
975d5fa6
jkorous-apple
jkorous-apple approved these changes on 2026-04-30
ziqingluo-90 ziqingluo-90 merged b73ce3e5 into main 17 days ago
ziqingluo-90 ziqingluo-90 deleted the users/ziqingluo/PR-172429193-3 branch 17 days ago
llvm-ci
ziqingluo-90
llvm-ci

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
clang clang:static analyzer clang:analysis clang:ssaf
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum