Skip to content

40 improve uninitialized variable analysis with byte range lattice and interprocedural function summaries - #41

Merged
SizzleUnrlsd merged 41 commits into
mainfrom
40-improve-uninitialized-variable-analysis-with-byte-range-lattice-and-interprocedural-function-summaries
Feb 9, 2026
Merged

40 improve uninitialized variable analysis with byte range lattice and interprocedural function summaries#41
SizzleUnrlsd merged 41 commits into
mainfrom
40-improve-uninitialized-variable-analysis-with-byte-range-lattice-and-interprocedural-function-summaries

Conversation

@SizzleUnrlsd

@SizzleUnrlsd SizzleUnrlsd commented Feb 9, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@SizzleUnrlsd
chore(build): register uninitialized variable analysis sources
891fa97
@SizzleUnrlsd
docs(cli): document STL filtering behavior and analysis options
72d1151
@SizzleUnrlsd
feat(reporting): extend diagnostic metadata for uninitialized checks
234a26a
@SizzleUnrlsd
feat(cli): add --STL flag to include system and STL functions
07e6f33
@SizzleUnrlsd
test(cli): add coverage for STL flag and uninitialized scenarios
a44a953
@SizzleUnrlsd
feat(diagnostics): add call-based uninitialized read diagnostic messa…
53cf436 
…ging
@SizzleUnrlsd
feat(filter): default to user-code analysis and gate STL via option
2c67585
@SizzleUnrlsd
feat(reporting): serialize uninitialized rule metadata with confidenc…
bace875 
…e and CWE
@SizzleUnrlsd
feat(uninitialized): add call-aware issue kind and callee context
27dee24
@SizzleUnrlsd
feat(uninitialized): implement byte-range lattice with interprocedura…
745dc51 
…l summaries
@SizzleUnrlsd
test(uninitialized): add never-used local variable case
aadf00b
@SizzleUnrlsd
test(uninitialized): add C argument path with conditional initialization
b2f11c9
@SizzleUnrlsd
test(uninitialized): add C++ argument handling without false positive…
42dde51 
…s on argc argv
@SizzleUnrlsd
test(uninitialized): add fully initialized array no-warning case
e862076
@SizzleUnrlsd
test(uninitialized): add partially initialized array warning case
9068b9f
@SizzleUnrlsd
test(uninitialized): add basic uninitialized array read case
6cfc38a
@SizzleUnrlsd
test(uninitialized): add baseline uninitialized scalar read case
2f1f28a
@SizzleUnrlsd
test(uninitialized): add branch-dependent initialization case
800e43c
@SizzleUnrlsd
test(uninitialized): add goto-based control flow initialization case
a7a51de
@SizzleUnrlsd
test(uninitialized): add initialized local no-warning case
1ebd167
@SizzleUnrlsd
test(uninitialized): add interprocedural call-chain read-before-write…
717e3ce 
… case
@SizzleUnrlsd
test(uninitialized): add interprocedural read-before-write case
24363a1
@SizzleUnrlsd
test(uninitialized): add interprocedural partial struct initializatio…
e1603da 
…n case
@SizzleUnrlsd
test(uninitialized): add interprocedural write call-chain no-warning …
5a711cd 
…case
@SizzleUnrlsd
test(uninitialized): add interprocedural write-before-read no-warning…
49c5dcc 
… case
@SizzleUnrlsd
test(uninitialized): add nested loop partial initialization case
1adb6a7
@SizzleUnrlsd
test(uninitialized): add uninitialized pointer dereference case
c000c27
@SizzleUnrlsd
test(uninitialized): add C++ reference propagation case
ce44309
@SizzleUnrlsd
test(uninitialized): add fully initialized struct no-warning case
425eed8
@SizzleUnrlsd
test(uninitialized): add partially initialized struct warning case
2611acd
@SizzleUnrlsd SizzleUnrlsd self-assigned this Feb 9, 2026
@SizzleUnrlsd SizzleUnrlsd linked an issue Feb 9, 2026 that may be closed by this pull request
improve: uninitialized-variable analysis with byte-range lattice and interprocedural function summaries #40
Closed
@SizzleUnrlsd
SizzleUnrlsd merged commit 5088ea4 into main Feb 9, 2026
4 checks passed
@SizzleUnrlsd
SizzleUnrlsd deleted the 40-improve-uninitialized-variable-analysis-with-byte-range-lattice-and-interprocedural-function-summaries branch February 9, 2026 02:20
@SizzleUnrlsd
SizzleUnrlsd restored the 40-improve-uninitialized-variable-analysis-with-byte-range-lattice-and-interprocedural-function-summaries branch February 9, 2026 22:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@SizzleUnrlsd SizzleUnrlsd

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

improve: uninitialized-variable analysis with byte-range lattice and interprocedural function summaries

1 participant

@SizzleUnrlsd