Organization
- @OpenVM
Engagement Type
Cantina Reviews
Period
-
Repositories
Findings
Informational
2 findings
2 fixed
0 acknowledged
Informational2 findings
ISA.md variables name are different than the codebase
Description
In commit 20c494e, two variable names have been modified in the
ISA.mdfile:ADDR_SPACE_OFFSETandaddr_space_height.However, it is confusing as these new names do not correspond to the variable used in the codebase.
Recommendation
Consider reverting to the previous naming that matches with the codebase.
OpenVM
Fixed in
feat/new-executionbranch linked to PR1567.Cantina
Fixed. The variables in the code have been renamed.
alloc will be deprecated in the future
Description
The
alloc::allocfunction is called to allocate memory. This function's documentation indicates that this function is expected to be deprecated when theallocatefunction and theAllocatetrait are stable.This function is expected to be deprecated in favor of the allocate method of the Global type when it and the Allocator trait become stable.
Recommendation
Consider monitoring future stable release to upgrade to
allocatefunction when it is stable.OpenVM
Fixed in PR1981.
Cantina
Fixed. A
TODOcomment has been added to keep track of this potential deprecation.