LinuxMonitor plugin intercepts process creation/termination, segmentation faults, module load/unload and traps
in S2E. This is achieved by using a specially-modified version of the Linux kernel and a dynamically-loaded kernel module. Upon particular events occurring
(e.g. process creation), the kernel will execute a custom instruction that is interpreted and handled by the
LinuxMonitor exports these events for other plugins to intercept and process as required.
trueto terminate the currently-executing state when a segmentation fault occurs.
trueto terminate the currently-executing state when a trap occurs (e.g. divide-by-zero, invalid opcode, etc.). If you are using a debugger inside the guest VM then you should set this option to
falsebecause it will also intercept breakpoints.