aboutsummaryrefslogtreecommitdiff
path: root/tests/expected/bare_accesses.txt
Commit message (Collapse)AuthorAgeFilesLines
* Validate that memory access is done via variablesMiquel Sabaté Solà2025-09-031-0/+4
The address sanitizer is now able to detect whenever in an instruction a memory access is done without using variables. This is now detected for all instructions except for branching, which falls outside of this scope. Moreover, simple arithmetics is allowed and bounds are checked for simple cases. That being said, more involved bound checks should be done with other tools (e.g. emulators). Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>