All programs using `DynMalloc` should verify that dynamic allocator is initialized to zero?

TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)

Apache License 2.0

11 stars 2 forks source link

All programs using `DynMalloc` should verify that dynamic allocator is initialized to zero? #92

Open Sword-Smith opened 5 months ago

Sword-Smith commented 5 months ago

If it's not verified that DynMalloc is initialized to zero, then a dynamic allocation may overwrite non-deterministically initialized memory, which is assumed to live in the $1^{st}$ memory page (address $0$ to $2^{32}$). This sounds scary to me.