search

TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)
Apache License 2.0
11 stars 2 forks source link

Add further separation of dynamically allocated pages? #129

Open Sword-Smith opened 2 weeks ago

Sword-Smith commented 2 weeks ago

Currently the dynamic allocator can allocate $~2^{31}$ memory pages, each of size $2^{32}$ words. Since we're concerned about memory consistency, we might as well separate these more such that only e.g. ${2^{-10}}$ of the pages can be allocated by the dynamic allocator, starting with page $2^{10}$.

That should make it harder to use field getters and ND-initialized memory to maliciously manipulate memory.

Sword-Smith commented 1 week ago

See #130 for a solution to this, and consider if we want this behavior with the drawback it gives to triton-tui.