schema=symcc-f395-source-contract-v1
compiler/UCSan.cpp 251011594c659299ee31f7b449750d9a25341650741b3f13369f9db035f51d74
compiler/UCSan.h ef1017b4c4405f11dd3f439affa621398ea365c40b5679833210699659b1e320
runtime/include/UCSanRuntime.h 6f162ada99e847f0114fa3a8c7a2ba45e09ebc2ccadb439e02418810092214d3
runtime/src/UCSanRuntime.cpp b527539c2454c1697d1f6ba36a369eb9927d68be940aa088923b768db721dace
test/ucsan_uninitialized.c c5c1e3c6647130a9cb55e411484793af24b97f8d64a6c43420e93e811d388437
test/ucsan_uninitialized.yaml c575f02993cc91e9d24bba694b8fbc3b674393232a014f4a46ff45f74d219531
benchmark/benchmark_ucsan_uninitialized.py b445c5726420ef4bcc45ff41db6d9e2eec9f8c68d3dc16891a55c39bcb360c0d
docs/codex/research-progress/UCSan_Byte_Initialization_and_UBI_F395_2026-08-13.md 78d22e83bba0b00d0d66e9c3ef7945b077fced0835d0e675d531071fad045209
docs/codex/diagrams/ucsan-byte-initialization-ubi-f395.svg 6ad1eb6d881dc302af08d3cead721f9c9dfc9118c3af6ab8ae3a6e124c433a19
docs/codex/diagrams/ucsan-byte-initialization-ubi-f395.png 7bd15201a9d086e9b2e4d72aae00a75241a4ad9923ca2e695d58cc99337d21ef