This system was tested on linux with kernel version >= 6.11.5.
in /get-tasks:
make
make install
(use make reinstall to reinstall the kernel extension)
in /app:
cargo b
in /:
gcc hello-world.c -O3 -no-pie -fno-pic -static
Anywhere:
echo 0 | sudo tee /proc/sys/kernel/randomize_va_space # disables ASLR
in /:
gdb a.out
start
info inferior # Get the PID
ni # A few times, to get some prints
in /app
sudo ./target/debug/app read <PID>
sudo ./target/debug/app dump <PID> hello.proc
sudo ./target/debug/app restore hello.proc
in /app
sudo ./run.sh