Tag
Nia Deckers presented a new scheme at RustWeek to implement FFI execution for Miri using ptrace and SIGSEGV. The method involves forking a process, setting memory protection, and disassembling instructions to determine memory access details, and uses mutex locks to resolve race conditions. This approach allows Miri to track any external function call at the cost of '8000 segfaults per second', and unexpectedly provides debugger functionality.
The author debugs a segfault encountered during kernel installation, tracing it to the 'hardlink' command invoked by dracut, and uses gdb to investigate the crash.