search for: guarded_by

Displaying 1 result from an estimated 1 matches for "guarded_by".

2016 Mar 24
2
[GSoC'16] Proposal for Enhance SAFECode’s Baggy Bounds Checking
...s to the padding area. This enhancement will make it possible to find the dangling pointer stored in heap. With the help of runtime check on memory objects, we can easily locate the pointers which points to the deallocated memory. For another example, to ensure thread safety at runtime, we can add guarded_by relations to the memory object’s padding area. With the help of constant time runtime check, this enhancement will efficiently gurantee that all the operations to a memory are provided by a particular mutex lock. Criteria of Success ---------------------------------- I will mainly focus on the poi...