This patch adds ReMon support for the C2Rust cross-checkers' "invalid pointer checks", which are small code snippets which attempt to dereference a given pointer. We need to catch SIGSEGV signals from these snippets and resume execution at the right instruction pointer.
This patch adds ReMon support for the C2Rust cross-checkers' "invalid pointer checks", which are small code snippets which attempt to dereference a given pointer. We need to catch SIGSEGV signals from these snippets and resume execution at the right instruction pointer.