28 refactor clean up codebase and reduce duplication - #29

Merged

SizzleUnrlsd merged 53 commits into

mainfrom

28-refactor-clean-up-codebase-and-reduce-duplication

Feb 7, 2026

Commits on Feb 7, 2026

build: register extracted analysis sources
SizzleUnrlsd
committed
338fd14
feat: add size-minus-one write error code
SizzleUnrlsd
committed
b4c982f
refactor: reduce stack analyzer to orchestration glue
SizzleUnrlsd
committed
270cdc5
test: relax escape expectations for vla read
SizzleUnrlsd
committed
a1d43c9
refactor: add input pipeline header
SizzleUnrlsd
committed
d9f520f
refactor: add input pipeline header
SizzleUnrlsd
committed
6d3c1c9
refactor: add analyzer utilities header
SizzleUnrlsd
committed
9ec8611
refactor: add mem intrinsic overflow analysis header
SizzleUnrlsd
committed
f11ca93
refactor: add const-parameter analysis header
SizzleUnrlsd
committed
a5e0f18
refactor: add size-minus-k analysis header
SizzleUnrlsd
committed
c8714a3
refactor: add integer range analysis header
SizzleUnrlsd
committed
a999443
refactor: add stack computation header
SizzleUnrlsd
committed
7b63b6f
refactor: add stack pointer escape analysis header
SizzleUnrlsd
committed
a8e4e9c
refactor: add invalid base reconstruction header
SizzleUnrlsd
committed
a5ebdbb
refactor: add stack buffer analysis header
SizzleUnrlsd
committed
3397a80
refactor: add ir value utilities header
SizzleUnrlsd
committed
401c45b
refactor: add function filter header
SizzleUnrlsd
committed
8cfb399
refactor: add alloca usage analysis header
SizzleUnrlsd
committed
b95047b
refactor: add module passes header
SizzleUnrlsd
committed
a140977
refactor: move function filter implementation
SizzleUnrlsd
committed
c740407
refactor: move alloca usage analysis
SizzleUnrlsd
committed
85c1ef1
refactor: move stack pointer escape analysis
SizzleUnrlsd
committed
0cbe772
refactor: move invalid base reconstruction analysis
SizzleUnrlsd
committed
eb4a72e
refactor: move stack buffer analysis
SizzleUnrlsd
committed
d3a5ccc
refactor: move ir value utilities
SizzleUnrlsd
committed
039739a
refactor: move const-parameter analysis
SizzleUnrlsd
committed
f153e9c
refactor: move size-minus-k analysis
SizzleUnrlsd
committed
2c384b0
refactor: move integer range analysis
SizzleUnrlsd
committed
02a3c96
refactor: move stack computation
SizzleUnrlsd
committed
06422c5
refactor: move input pipeline logic
SizzleUnrlsd
committed
97ab66c
refactor: move dynamic alloca analysis
SizzleUnrlsd
committed
b9a0f01
refactor: move mem intrinsic overflow analysis
SizzleUnrlsd
committed
88aebf3
refactor: move analyzer utilities
SizzleUnrlsd
committed
a89cb44
refactor: move module passes implementation
SizzleUnrlsd
committed
31c58b2
refactor: move report serialization
SizzleUnrlsd
committed
efeecb8
test: add interproc escape fixture stub
SizzleUnrlsd
committed
b4cd897
test: add wrapper size-minus-one case
SizzleUnrlsd
committed
76bd325
test: add strncpy size-minus-one case
SizzleUnrlsd
committed
930fb80
test: add size-minus-one ir fixture
SizzleUnrlsd
committed
e0d1934
test: add unreachable detached region case
SizzleUnrlsd
committed
4c2a7a1
test: add mixed-predecessor unreachable case
SizzleUnrlsd
committed
5d73ffa
test: add unreachable validation case
SizzleUnrlsd
committed
8e15647
chore(ci): add scripts
SizzleUnrlsd
committed
25b3bf8
test(ci): add scripts
SizzleUnrlsd
committed
62688c9
chore(precommit): add pre-commit config for conventional commit messages
SizzleUnrlsd
committed
c500435
test(precommit): add script
SizzleUnrlsd
committed
65f64ee
test: disable test
SizzleUnrlsd
committed
62e614e
chore: add .gitignore
SizzleUnrlsd
committed
fd419bf
test(ci): add workflow
SizzleUnrlsd
committed
1bc3fa6
chore(style): format code with clang-format
SizzleUnrlsd
committed
253b39a
test: normalize fortified libc names in output
SizzleUnrlsd
committed
cfa265b
fix: normalize size-minus-k sink names across platforms
SizzleUnrlsd
committed
d57a11b
fix: use StringRef starts_with/ends_with
SizzleUnrlsd
committed
0819c14