Displaying 1 result from an estimated 1 matches for "e8d1afa7".
2016 Oct 02
2
When is a store not (memory) safe?
Hi all,
I am trying to identify when a write to memory (store) is safe or not (based on LLVM IR).
I refer "safe" to spatial safety (no out of bounds write) and not temporal safety (no double free() etc).
My current approach would be to declare every pointer as unsafe that is computed somewhere by a GEP instruction with non constant indices, as well as constant indices that can be