You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Test S() should fail when trying to write to an address below its cap from the kernel-evm1/test/withoutentryproc/syscalls/write.js file is successfully failing with SysCallResponse.WRITEFAILURE, like it is supposed to do, but if we change the write capability from the incorrect (0x8001, 0) to the correct (0x8000, 0) one the test will still fail. It will succeed only if we add some other write capability to the CapArray.
It seems to be that write system calls are failing if there is only one write capability in the CapArray, whether correct or not.
The text was updated successfully, but these errors were encountered:
From @17451k:
Test
S() should fail when trying to write to an address below its cap
from thekernel-evm1/test/withoutentryproc/syscalls/write.js
file is successfully failing withSysCallResponse.WRITEFAILURE
, like it is supposed to do, but if we change the write capability from the incorrect (0x8001, 0) to the correct (0x8000, 0) one the test will still fail. It will succeed only if we add some other write capability to the CapArray.It seems to be that write system calls are failing if there is only one write capability in the CapArray, whether correct or not.
The text was updated successfully, but these errors were encountered: