search for: optimizecheck

...t; >> If 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...

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

I'm looking for an example of how to insert a new function into a module. I have a module pass that needs to create some new functions. Tia. Reed

Hello, I have tried a lot fix this error but am not able to can you please find me a solution am trying to compile the SAFECode in Cygwin Environment to work for windows. used make -j4 command to make the files in cygwin i have got this error make[5]: Leaving directory '/home/uidr7475/Work/LLVM_OBJ/projects/safecode/tools/clang/include' /usr/bin/cp: cannot stat