Backend Instrumentation Pass (v0) #7
Description
The first version of our instrumentation pass will treat every alloca as a distinct allocation, and it will have full support for load, store, gep, and extractelement for all types. Int-to-pointer conversion will expose provenance. Calls to malloc-like and free-like functions (which can be identified via the instrumentation pass) will be replaced with direct calls to bsan_alloc and bsan_dealloc in our runtime library. We will not handle atomic instructions or for now. Global variables will be treated like heap allocations.