FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

Go: Switch from def-use flow to use-use flow by owen-mc · Pull Request #14751 · github/codeql · GitHub

Go: Switch from def-use flow to use-use flow - #14751

Merged

owen-mc merged 64 commits into

github:mainfrom

owen-mc:go/feature/use-use-flow

Oct 2, 2025

Commits on Oct 1, 2025

Switch to use-use dataflow. This will make post-update nodes easy to implement.
owen-mc
committed
16a11b4
Add missing QLDoc
owen-mc
committed
4484d5b
Clean up code in basicLocalFlowStep
owen-mc
committed
5267671
Include first step from SsaVariableCapture
owen-mc
committed
b474315
Remove local flow step from SSA defn to SSA capture
owen-mc
committed
49b8b0b
Adjust SafeFormatArgumentSanitizer to use-use flow
owen-mc
committed
4e04d27
Fix Allocation Size Overflow for use-use flow
owen-mc
committed
b2a9cec
Fix IncorrectIntegerConversion for use-use flow
owen-mc
committed
9068315
Optimise join order for varBlockReaches

smowton
authored and
owen-mc
committed
a3eb010
Use `_` instead of exists variable x2
owen-mc
committed
32de211
Make insecure randomness test more realistic
owen-mc
committed
3594dba
Test result that was missing is now found
owen-mc
committed
5210665
Line numbers change because 3 lines were added
owen-mc
committed
c20abf6
Expected changes in dataflow edges
owen-mc
committed
14301e0
Fix QLDoc typo
owen-mc
committed
d13d717
Pull out post-update node logic into predicate
owen-mc
committed
7a515c1
Convert post-update logic to IR (part 1)
owen-mc
committed
c8b8e25
Convert post-update logic to IR (part 2)
owen-mc
committed
203952f
Implement `writesComponent` at IR level
owen-mc
committed
ad18018
Convert post-update logic to IR (part 3)
owen-mc
committed
05a16dc
Inline predicate only used once
owen-mc
committed
89ae0e3
Switch order of PUN test output
owen-mc
committed
9892836
Add Email Injection tests for reverse flow models
owen-mc
committed
a0c647c
Make separate post-update nodes
owen-mc
committed
118def8
Expected changes in test output
owen-mc
committed
d2230c5
Expected change in test output
owen-mc
committed
ac71f9c
Make store step to send stmt's channel use post-update node
owen-mc
committed
3229630
Fix test expectations for Cleartext Logging
owen-mc
committed
8a3bd84
Non-initializing writes should target post-update nodes
owen-mc
committed
cf6cfe2
Refactor: Create `writesFieldOnSsaWithFields`
owen-mc
committed
748c53a
Fix flow to variable capture
owen-mc
committed
6215587
Adjust Stack Exposure test so it passes
owen-mc
committed
3906f25
Fix backwards flow through TaintTracking::FunctionModel
owen-mc
committed
5efc8ac
Add missing qldocs
owen-mc
committed
6cb6953
Fix bad join order
owen-mc
committed
a9420d4
Typo

owen-mc
and
Copilot
committed
52b6539
Add change notes
owen-mc
committed
f5f6d64
Fix email injection sink that needs local flow
owen-mc
committed
25f1823
Delete commented out code
owen-mc
committed
4ee236d
Rename helper predicate
owen-mc
committed
1d9a93a
Use slightly less confusing syntax
owen-mc
committed
b1bcbec
Rename confusing predicate and add qldoc
owen-mc
committed
630a844
Rephrase change note to avoid technical terms
owen-mc
committed
7b42618
Convert OpenUrlRedirect tests to InlineExpectations
owen-mc
committed
1144bb9
Add OpenUrlRedirect tests for Url.Host field
owen-mc
committed
414bab1
Fix OpenUrlRedirect barrier for write to Url.Host
owen-mc
committed
c9a2816
Add and use `WriteNode.writesFieldPreUpdate`
owen-mc
committed
489b843
Delete `WriteNode.writesFieldOnSsaWithFields`
owen-mc
committed
2ffb638
Fix pointer content store step for write to field of pointer dereference
owen-mc
committed
6fcd358
Add and use `WriteNode.writesElementPreUpdate`
owen-mc
committed
59e3c14
Deprecate `WriteNode.writesComponent`
owen-mc
committed
8a21a4f
Make SafeUrlFlow test more comprehensive (failing)
owen-mc
committed
620ae33
Fix SafeUrlFlow so test passes
owen-mc
committed
6e4dbe8
Convert SSRF tests to inline expectations tests
owen-mc
committed
8b04d0a
Add test for assignment to Url.Host field
owen-mc
committed
c9ce2c8
Improve SSRF additional flow step
owen-mc
committed
f0f5fc7
Test PathAssignmentBarrier for OpenUrlRedirect
owen-mc
committed
6d6852f
Simplify PathAssignmentBarrier
owen-mc
committed
c006777
Improve additional flow step for Host field
owen-mc
committed
2629369

Commits on Oct 2, 2025

Back | FazBrowse Home | New Git URL