tools.nes/tests/expected/asan_reserve_constant.txt, branch mainTools for NES/Famicom development.
https://git.mssola.com/nes/tools.nes/atom?h=main2025-12-15T21:15:09ZAllow constants in asan:reserve statements2025-12-15T21:15:09ZMiquel Sabaté Solàmssola@mssola.com2025-12-15T21:15:09Zurn:sha1:ec935330d4518829d01bbdf5670c4569fa07a567
This way, if you define a constant like:
MY_BUFFER_LEN_IN_BYTES = $10
You can then declare your buffer like so:
zp_buffer = $00 ; asan:reserve MY_BUFFER_LEN_IN_BYTES
And then further in the code you can rely on just using the constant for
bound checking, and then the address sanitizer will check on bound
checks via static analysis as well.
Signed-off-by: Miquel Sabaté Solà <mssola@mssola.com>