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

Merged

SizzleUnrlsd merged 12 commits into

mainfrom

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

Feb 10, 2026

Commits on Feb 10, 2026

test(cli): add regression checks for function filters and uninitialized analysis
SizzleUnrlsd
committed
0e6d8e9
fix(uninitialized-analysis): improve constructor write modeling and pointer base canonicalization
SizzleUnrlsd
committed
94f170c
test(uninitialized-analysis): add brace-initialized local regression case
SizzleUnrlsd
committed
b728753
test(uninitialized-analysis): add C++ ctor and sret regression coverage
SizzleUnrlsd
committed
36848cc
test(uninitialized-analysis): add iterator wrapper false-positive regression case
SizzleUnrlsd
committed
ac10033
test(uninitialized-analysis): add default member initializer assignment regression case
SizzleUnrlsd
committed
3988c6a
test(uninitialized-analysis): add default member read-after-construction regression case
SizzleUnrlsd
committed
f13fcf3
test(uninitialized-analysis): add interprocedural partial-struct initialization scenario
SizzleUnrlsd
committed
f48847c
test(uninitialized-analysis): add opaque constructor initialization regression case
SizzleUnrlsd
committed
afbc8da
chore(test): update length commit
SizzleUnrlsd
committed
c1d1d10
chore(copy-initialization): add copy-initialization for struct
SizzleUnrlsd
committed
7ceb194
chore(style): format code with clang-format
SizzleUnrlsd
committed
ef33e5e