78 add btp proof scripts for stack analyzer feature validation - #79

Merged

SizzleUnrlsd merged 9 commits into

mainfrom

78-add-btp-proof-scripts-for-stack-analyzer-feature-validation

Jul 16, 2026

Commits on Jul 15, 2026

test: add C++ parameterized symbols for demangle proof
SizzleUnrlsd
committed
3e085a7
test: add combined stack analyzer proof helper
SizzleUnrlsd
committed
26325b1
test: add F1 stack usage proof script
SizzleUnrlsd
committed
d33a9ad
test: add F2 advanced stack diagnostics proof script
SizzleUnrlsd
committed
a1be8e6
test: add F5 proof for JSON SARIF and human output
SizzleUnrlsd
committed
779a556
test: add F8 Itanium ABI demangle proof script
SizzleUnrlsd
committed
8ddfe92
test: add F10 stack buffer overflow proof script
SizzleUnrlsd
committed
f370403
docs: add issue for BTP stack analyzer proof scripts
SizzleUnrlsd
committed
e87342d
chore(style): format code with clang-format
SizzleUnrlsd
committed
7e7ff1f