vmmap: Expose range accessibility check by celinehoang177 · Pull Request #546 · Lind-Project/lind-wasm

celinehoang177 · 2025-12-01T19:55:50Z

This PR solves Issue #516 by adding centralized helper functions in vmmap to check range accessibility (read, write, and read-write). These helpers replace scattered permission checks across the codebase and provide a single, consistent API.

Yaxuan-w

All files under src/rawposix/target should remove. Also need to pass linter

github-actions · 2025-12-01T20:12:32Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	80
Number of Successes	79
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	1
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
fstat.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Failure	Output_mismatch	=== Expected Output === === Test Case 1: Valid symbolic link === === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === === Test Case 4: Non-existent path === Expected failure: No such file or directory === WASM Output === === Test Case 1: Valid symbolic link === === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === === Test Case 4: Non-existent path === Expected failure: No such file or directory Test Case 1 failed: Invalid argument Test Case 3 failed: Invalid argument
rename.c	Success	None	Success
stat.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_file.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
shmtest.c	Success	None	Success
Networking Tests
gethostname.c	Success	None	Success
makepipe.c	Success	None	Success
pipepong.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketpair.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
function-ptr.c	Success	None	Success
getppid.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
thread-test.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	40
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	1
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
dup.c	Success	None	Success
fchdir.c	Success	None	Success
fstatfs.c	Success	None	Success
getcwd.c	Success	None	Success
read.c	Success	None	Success
statfs.c	Success	None	Success
Memory Tests
malloc_large.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_shared.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
getifaddrs.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipewrite.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
socketepoll.c	Failure	Lind_wasm_Timeout	Timed Out (timeout: 10s)
Process Tests
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
forkandopen.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
getpid.c	Success	None	Success
Signal Tests
signal.c	Success	None	Success
signal_SIGCHLD.c	Success	None	Success
signal_fork.c	Success	None	Success
signal_int_thread.c	Success	None	Success
signal_longjmp.c	Success	None	Success
signal_nodefer.c	Success	None	Success
signal_procmask.c	Success	None	Success
signal_sa_mask.c	Success	None	Success

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

github-actions · 2025-12-01T20:26:52Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	80
Number of Successes	79
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	1
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
fstat.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Failure	Output_mismatch	=== Expected Output === === Test Case 1: Valid symbolic link === === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === === Test Case 4: Non-existent path === Expected failure: No such file or directory === WASM Output === === Test Case 1: Valid symbolic link === === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === === Test Case 4: Non-existent path === Expected failure: No such file or directory Test Case 1 failed: Invalid argument Test Case 3 failed: Invalid argument
rename.c	Success	None	Success
stat.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_file.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
shmtest.c	Success	None	Success
Networking Tests
gethostname.c	Success	None	Success
makepipe.c	Success	None	Success
pipepong.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketpair.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
function-ptr.c	Success	None	Success
getppid.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
thread-test.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	41
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
dup.c	Success	None	Success
fchdir.c	Success	None	Success
fstatfs.c	Success	None	Success
getcwd.c	Success	None	Success
read.c	Success	None	Success
statfs.c	Success	None	Success
Memory Tests
malloc_large.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_shared.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
getifaddrs.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipewrite.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
socketepoll.c	Success	None	Success
Process Tests
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
forkandopen.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
getpid.c	Success	None	Success
Signal Tests
signal.c	Success	None	Success
signal_SIGCHLD.c	Success	None	Success
signal_fork.c	Success	None	Success
signal_int_thread.c	Success	None	Success
signal_longjmp.c	Success	None	Success
signal_nodefer.c	Success	None	Success
signal_procmask.c	Success	None	Success
signal_sa_mask.c	Success	None	Success

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

github-actions · 2025-12-10T02:26:54Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	81
Number of Successes	81
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
fstat.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Success	None	Success
rename.c	Success	None	Success
stat.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
writev.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_file.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
shmtest.c	Success	None	Success
Networking Tests
gethostname.c	Success	None	Success
makepipe.c	Success	None	Success
pipepong.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketpair.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
function-ptr.c	Success	None	Success
getppid.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
thread-test.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	40
Number of Successes	40
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
dup.c	Success	None	Success
fchdir.c	Success	None	Success
fstatfs.c	Success	None	Success
getcwd.c	Success	None	Success
read.c	Success	None	Success
statfs.c	Success	None	Success
Memory Tests
malloc_large.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_shared.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
getifaddrs.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipewrite.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
Process Tests
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
forkandopen.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
getpid.c	Success	None	Success
Signal Tests
signal.c	Success	None	Success
signal_SIGCHLD.c	Success	None	Success
signal_fork.c	Success	None	Success
signal_int_thread.c	Success	None	Success
signal_longjmp.c	Success	None	Success
signal_nodefer.c	Success	None	Success
signal_procmask.c	Success	None	Success
signal_sa_mask.c	Success	None	Success

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

Copilot

Pull request overview

This PR introduces centralized helper functions in vmmap to check memory range accessibility, replacing scattered permission checks across the codebase with a consistent API. The changes address Issue #516 by adding three new permission-checking methods that simplify memory validation.

Key Changes:

Added check_addr_read, check_addr_write, and check_addr_rw methods to Vmmap struct for checking memory permissions
Created corresponding high-level wrapper functions in memory.rs that work with cage IDs
Refactored copy_data_between_cages in threei.rs to use the new helper functions instead of manually constructing permission flags

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 11 comments.

File	Description
src/cage/src/memory/vmmap.rs	Adds three new public methods to check memory range permissions (read, write, read-write) with comprehensive documentation
src/cage/src/memory/memory.rs	Provides high-level wrapper functions that expose the vmmap permission checks to external callers using cage IDs
src/threei/src/threei.rs	Refactors memory validation to use new helper functions, adds `_validate_range_read` and `_validate_range_rw` functions, and removes unused PROT_READ/PROT_WRITE imports

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

github-actions · 2025-12-10T02:31:10Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	81
Number of Successes	81
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
fstat.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Success	None	Success
rename.c	Success	None	Success
stat.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
writev.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_file.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
shmtest.c	Success	None	Success
Networking Tests
gethostname.c	Success	None	Success
makepipe.c	Success	None	Success
pipepong.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketpair.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
function-ptr.c	Success	None	Success
getppid.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
thread-test.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	40
Number of Successes	40
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
dup.c	Success	None	Success
fchdir.c	Success	None	Success
fstatfs.c	Success	None	Success
getcwd.c	Success	None	Success
read.c	Success	None	Success
statfs.c	Success	None	Success
Memory Tests
malloc_large.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_shared.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
getifaddrs.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipewrite.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
Process Tests
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
forkandopen.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
getpid.c	Success	None	Success
Signal Tests
signal.c	Success	None	Success
signal_SIGCHLD.c	Success	None	Success
signal_fork.c	Success	None	Success
signal_int_thread.c	Success	None	Success
signal_longjmp.c	Success	None	Success
signal_nodefer.c	Success	None	Success
signal_procmask.c	Success	None	Success
signal_sa_mask.c	Success	None	Success

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

github-actions · 2026-02-02T16:11:14Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	135
Number of Successes	134
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	1
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chartests.c	Success	None	Success
chdir_getcwd.c	Success	None	Success
chmod.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dup.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
flock.c	Success	None	Success
fstat.c	Success	None	Success
fstatfs.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
getcwd.c	Success	None	Success
getrandom.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
read.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Success	None	Success
rename.c	Success	None	Success
sc-writev.c	Success	None	Success
stat.c	Success	None	Success
statfs.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
writev.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
malloc_large.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_file.c	Success	None	Success
mmap_shared.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
shmtest.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
epollcreate1.c	Success	None	Success
gethostname.c	Success	None	Success
getsockopt.c	Success	None	Success
makepipe.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipepong.c	Success	None	Success
pipewrite.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
serverclient.c	Success	None	Success
shutdown.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketepoll.c	Success	None	Success
socketpair.c	Success	None	Success
socketselect.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
uds-socketselect.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
fork.c	Success	None	Success
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
fork_syscall.c	Success	None	Success
forkandopen.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
function-ptr.c	Success	None	Success
getegid_syscall.c	Success	None	Success
getgid_syscall.c	Success	None	Success
getpid.c	Success	None	Success
getpid_syscall.c	Success	None	Success
getppid.c	Success	None	Success
getppid_syscall.c	Success	None	Success
getuid.c	Success	None	Success
getuid_syscall.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
template.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_anychild.c	Success	None	Success
waitpid_syscall.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
signal_SIGCHLD.c	Failure	Lind_wasm_Segmentation_Fault	/tmp/wasmtest_artifacts_mnme4tgn/signal_tests/deterministic/signal_SIGCHLD.c:36: int main(): Assertion `waited_pid >= 0' failed. Error: failed to run main module `/tmp/wasmtest_artifacts_mnme4tgn/signal_tests/deterministic/signal_SIGCHLD.cwasm` Caused by: 0: failed to invoke command default 1: error while executing at wasm backtrace: 0: 0x384d5 - signal_SIGCHLD.wasm!abort 1: 0x1cd4 - signal_SIGCHLD.wasm!__assert_fail_base 2: 0x1ea9 - signal_SIGCHLD.wasm!__assert_fail 3: 0x11d3 - signal_SIGCHLD.wasm!__original_main 4: 0xd8c - signal_SIGCHLD.wasm!_start 5: 0x9d8c3 - signal_SIGCHLD.wasm!_start.command_export note: using the `WASMTIME_BACKTRACE_DETAILS=1` environment variable may show more debugging information 2: wasm trap: wasm `unreachable` instruction executed
signal_fork.c	Success	None	Success
signal_int_ignored.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	0
Number of Successes	0
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

github-actions · 2026-02-02T16:14:53Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	135
Number of Successes	135
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chartests.c	Success	None	Success
chdir_getcwd.c	Success	None	Success
chmod.c	Success	None	Success
clock_gettime_highlevel.c	Success	None	Success
clock_gettime_simple.c	Success	None	Success
close.c	Success	None	Success
doubleclose.c	Success	None	Success
dup.c	Success	None	Success
dupwrite.c	Success	None	Success
fchmod.c	Success	None	Success
fcntl.c	Success	None	Success
fdatasync.c	Success	None	Success
filetest.c	Success	None	Success
filetest1000.c	Success	None	Success
flock.c	Success	None	Success
fstat.c	Success	None	Success
fstatfs.c	Success	None	Success
fsync.c	Success	None	Success
ftruncate.c	Success	None	Success
getcwd.c	Success	None	Success
getrandom.c	Success	None	Success
ioctl.c	Success	None	Success
link.c	Success	None	Success
lseek.c	Success	None	Success
mkdir_rmdir.c	Success	None	Success
open.c	Success	None	Success
pread_pwrite.c	Success	None	Success
printf.c	Success	None	Success
read.c	Success	None	Success
readbytes.c	Success	None	Success
readlink.c	Success	None	Success
rename.c	Success	None	Success
sc-writev.c	Success	None	Success
stat.c	Success	None	Success
statfs.c	Success	None	Success
sync_file_range.c	Success	None	Success
truncate.c	Success	None	Success
unlink.c	Success	None	Success
unlinkat.c	Success	None	Success
write.c	Success	None	Success
writeloop.c	Success	None	Success
writepartial.c	Success	None	Success
writev.c	Success	None	Success
Memory Tests
brk.c	Success	None	Success
malloc.c	Success	None	Success
malloc_large.c	Success	None	Success
memcpy.c	Success	None	Success
memory_error_test.c	Success	None	Success
mmap.c	Success	None	Success
mmap_aligned.c	Success	None	Success
mmap_complicated.c	Success	None	Success
mmap_file.c	Success	None	Success
mmap_shared.c	Success	None	Success
mprotect.c	Success	None	Success
mprotect_boundary.c	Success	None	Success
mprotect_end_region.c	Success	None	Success
mprotect_middle_region.c	Success	None	Success
mprotect_multiple_times.c	Success	None	Success
mprotect_same_value.c	Success	None	Success
mprotect_spanning_regions.c	Success	None	Success
sbrk.c	Success	None	Success
segfault.c	Success	None	Success
shm.c	Success	None	Success
shmtest.c	Success	None	Success
vtable.c	Success	None	Success
Networking Tests
dnstest.c	Success	None	Success
epollcreate1.c	Success	None	Success
gethostname.c	Success	None	Success
getsockopt.c	Success	None	Success
makepipe.c	Success	None	Success
pipe.c	Success	None	Success
pipe2.c	Success	None	Success
pipeinput.c	Success	None	Success
pipeinput2.c	Success	None	Success
pipeonestring.c	Success	None	Success
pipepong.c	Success	None	Success
pipewrite.c	Success	None	Success
poll.c	Success	None	Success
recvfrom-sendto.c	Success	None	Success
serverclient.c	Success	None	Success
shutdown.c	Success	None	Success
shutdown_fork.c	Success	None	Success
simple-select.c	Success	None	Success
simple_epoll.c	Success	None	Success
socket.c	Success	None	Success
socket_cloexec.c	Success	None	Success
socketepoll.c	Success	None	Success
socketpair.c	Success	None	Success
socketselect.c	Success	None	Success
tcp_connect_single.c	Success	None	Success
uds-socketselect.c	Success	None	Success
Process Tests
chain_thread.c	Success	None	Success
exit.c	Success	None	Success
fork.c	Success	None	Success
fork2malloc.c	Success	None	Success
fork_simple.c	Success	None	Success
fork_syscall.c	Success	None	Success
forkandopen.c	Success	None	Success
forkexecv-arg.c	Success	None	Success
forkexecv.c	Success	None	Success
forkfiles.c	Success	None	Success
forkmalloc.c	Success	None	Success
forknodup.c	Success	None	Success
function-ptr.c	Success	None	Success
getegid_syscall.c	Success	None	Success
getgid_syscall.c	Success	None	Success
getpid.c	Success	None	Success
getpid_syscall.c	Success	None	Success
getppid.c	Success	None	Success
getppid_syscall.c	Success	None	Success
getuid.c	Success	None	Success
getuid_syscall.c	Success	None	Success
hello-arg.c	Success	None	Success
hello.c	Success	None	Success
longjmp.c	Success	None	Success
mutex.c	Success	None	Success
noforkfiles.c	Success	None	Success
sem_forks.c	Success	None	Success
setsid.c	Success	None	Success
template.c	Success	None	Success
thread.c	Success	None	Success
wait.c	Success	None	Success
waitpid_anychild.c	Success	None	Success
waitpid_syscall.c	Success	None	Success
waitpid_wnohang.c	Success	None	Success
Signal Tests
alarm.c	Success	None	Success
setitimer.c	Success	None	Success
sigalrm.c	Success	None	Success
sigchld.c	Success	None	Success
signal-fork.c	Success	None	Success
signal-simple.c	Success	None	Success
signal_SIGCHLD.c	Success	None	Success
signal_fork.c	Success	None	Success
signal_int_ignored.c	Success	None	Success
sigprocmask.c	Success	None	Success

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	0
Number of Successes	0
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Fail Tests

Summary

Metric	Count
Total Test Cases	1
Number of Successes	1
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0
Number of Fail Test: Native Succeeded (Should Fail)	0
Number of Fail Test: Wasm Succeeded (Should Fail)	0
Number of Fail Test: Both Native and Wasm Succeeded (Should Fail)	0
Number of Fail Test: Native Compilation Failure (Should Succeed)	0
Number of Fail Test: Wasm Compilation Failure (Should Succeed)	0

Test Results by Category

Test Case	Status	Error Type	Output
Memory Tests
mmap-negative1.c	Success	None	Success

Yaxuan-w

Awesome! Thanks for adding these!

* Add helper functions for vmmap range accessibility check * Resolve comments and add unit vmmap tests

celinehoang177 requested a review from Yaxuan-w December 1, 2025 19:55

Yaxuan-w requested changes Dec 1, 2025

View reviewed changes

celinehoang177 closed this Dec 1, 2025

celinehoang177 reopened this Dec 1, 2025

celinehoang177 force-pushed the vmmap-accessibility-check branch from 9d8de7b to 9de1ccd Compare December 10, 2025 02:09

Copilot AI review requested due to automatic review settings December 10, 2025 02:09

Copilot started reviewing on behalf of celinehoang177 December 10, 2025 02:09 View session

celinehoang177 force-pushed the vmmap-accessibility-check branch from 9de1ccd to cb22b63 Compare December 10, 2025 02:14

Copilot AI reviewed Dec 10, 2025

View reviewed changes

Yaxuan-w reviewed Dec 10, 2025

View reviewed changes

Comment thread src/threei/src/threei.rs

Comment thread src/cage/src/memory/memory.rs

Yaxuan-w requested a review from rennergade December 10, 2025 15:35

Add helper functions for vmmap range accessibility check

4be62e0

celinehoang177 force-pushed the vmmap-accessibility-check branch from 4288cc8 to e4fa03f Compare February 2, 2026 15:54

Resolve comments and add unit vmmap tests

8f2b346

celinehoang177 force-pushed the vmmap-accessibility-check branch from e4fa03f to 8f2b346 Compare February 2, 2026 15:57

celinehoang177 requested review from Yaxuan-w and vidyalakshmir February 2, 2026 20:05

Yaxuan-w approved these changes Feb 3, 2026

View reviewed changes

rennergade approved these changes Feb 4, 2026

View reviewed changes

vidyalakshmir approved these changes Feb 4, 2026

View reviewed changes

Yaxuan-w merged commit cc23b7d into main Feb 4, 2026
3 checks passed

stupendoussuperpowers mentioned this pull request Feb 7, 2026

Unify host->user address translations in threei/vmmap #710

Merged

qianxichen233 pushed a commit that referenced this pull request Feb 12, 2026

vmmap: Expose range accessibility check (#546)

7e78057

* Add helper functions for vmmap range accessibility check * Resolve comments and add unit vmmap tests

Conversation

celinehoang177 commented Dec 1, 2025

Uh oh!

Yaxuan-w left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Dec 1, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

github-actions Bot commented Dec 1, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

github-actions Bot commented Dec 10, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

github-actions Bot commented Dec 10, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

Uh oh!

Uh oh!

github-actions Bot commented Feb 2, 2026

End-to-End Test Report

Summary

Test Results by Category

Summary

Summary

Test Results by Category

Uh oh!

github-actions Bot commented Feb 2, 2026

End-to-End Test Report

Summary

Test Results by Category

Summary

Summary

Test Results by Category

Uh oh!

Yaxuan-w left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Yaxuan-w left a comment •

edited

Loading