cpp: model BDE bslx in-stream deserialization taint flow - #22453

Open

kumarak wants to merge 3 commits into

github:mainfrom

trail-of-forks:kumarak/cpp-bde-bslx-models

Commits on Sep 9, 2026

cpp: model BDE bslx in-stream deserialization taint flow
kumarak
committed
c7d50f6

Commits on Sep 12, 2026

fix(cpp): address bslx model review feedback
kumarak
committed
ccff432

Commits on Sep 14, 2026

fix(cpp): address remaining bslx review feedback
kumarak
committed
0622b4a