search

TritonVM / tasm-lib

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

Ensure `dyn_malloc` doesn't allocate outside its region #122

Closed Sword-Smith closed 3 weeks ago

Sword-Smith commented 4 weeks ago

In commit we added the const NUM_ALLOCATABLE_PAGES to dyn_malloc. But this value is not enforced in TASM.

Add that enforcement and add a test that it works by using the negative_test helper function.