search for: safeloadstoreopts

...you have time to point us at some API functions to get us started >> with the above idea, that would be great. If not, then don't worry, >> hopefully we'll figure it out on our own. > > > There is a TypeSafety analysis pass that you can use. The > lib/OptimizeChecks/SafeLoadStoreOpts.cpp code in SAFECode has an example of > how to use it. Quickly looking over the code, it looks like it searches for > overlapping fields in the DSNode; it also handles issues with the casting > flags, Incomplete Flag, and Unknown Flag. > > Regards, > > John Criswell > >...

Hi John, all, Thanks for your responses everybody. This is actually helpful and I think I now better understand what is going on here. Unless there is a pointer involved, DSA will not collapse nodes. That makes sense... What we would like to leverage DSA for is essentially type-unsafe memory accesses, such as the example where code write a byte into the 0th byte of an integer. Another example