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

Merged

SizzleUnrlsd merged 12 commits intomainfrom

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
fix(uninitialized-analysis): improve constructor write modeling and pointer base canonicalization
SizzleUnrlsd
committed
test(uninitialized-analysis): add brace-initialized local regression case
SizzleUnrlsd
committed
test(uninitialized-analysis): add C++ ctor and sret regression coverage
SizzleUnrlsd
committed
test(uninitialized-analysis): add iterator wrapper false-positive regression case
SizzleUnrlsd
committed
test(uninitialized-analysis): add default member initializer assignment regression case
SizzleUnrlsd
committed
test(uninitialized-analysis): add default member read-after-construction regression case
SizzleUnrlsd
committed
test(uninitialized-analysis): add interprocedural partial-struct initialization scenario
SizzleUnrlsd
committed
test(uninitialized-analysis): add opaque constructor initialization regression case
SizzleUnrlsd
committed
chore(test): update length commit
SizzleUnrlsd
committed
chore(copy-initialization): add copy-initialization for struct
SizzleUnrlsd
committed
chore(style): format code with clang-format
SizzleUnrlsd
committed