cc @oliverchang
Log the file trying to be opened and the flags (read or write) for
opening the file
Co-authored-by: Oliver Chang <oliverchang@users.noreply.github.com>
* Rename execSan to SystemSan.
All of the bug detectors we've built (or plan to build) relate to system
state.
* fix documentation
* fix more documentation