[PATCH] DataFlowSanitizer: Add a design doc paragraph on checking ABI consistency.
kcc at google.com
Tue Aug 20 00:57:28 PDT 2013
An idea for run-time checks. There are two failure modes:
1. Calling a native-ABI function as if instrumented-ABI
2. Calling a instrumented-ABI function as if native-ABI
We can have a thread-local integer is_instrumented_abi_call, which is zero almost all the time.
Before instrumented-ABI call we increment it.
In instrumented-ABI function we check that it's 1 (otherwise trap) and set it to 0.
After instrumented-ABI call we check that it's 0 (otherwise trap).
This will catch both failure modes.
More information about the cfe-commits