search for: systemtomography

...w a sensitive data item is used within a program and ensure it isn't exiting the program anywhere it shouldn't be. An ASPLOS paper from a few years ago discusses this problem and a solution based on dynamic binary instrumentation using QEMU: http://www.cs.ucsb.edu/~sherwood/pubs/ASPLOS-08-systemtomography.pdf Among other things, I hope to address a number of deficiencies of the tool described by that paper, in terms of efficiency (the other sanitizer tools have shown that compiler-based instrumentation can be much more efficient than binary instrumentation), and also in terms of accuracy (unlike th...

...sed within a program and ensure it isn't exiting the > program anywhere it shouldn't be. > > An ASPLOS paper from a few years ago discusses this problem and a > solution based on dynamic binary instrumentation using QEMU: > > http://www.cs.ucsb.edu/~sherwood/pubs/ASPLOS-08-systemtomography.pdf > > Among other things, I hope to address a number of deficiencies of > the tool described by that paper, in terms of efficiency (the other > sanitizer tools have shown that compiler-based instrumentation can be > much more efficient than binary instrumentation), and also in term...

Could you maybe give some example use cases? Also, "sanitizer" may not be the best name for this, since it doesn't really sanitize anything. -- Sean Silva -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130613/89f3df75/attachment.html>

Hi, I am starting a thread to discuss the design of DataFlowSanitizer, a compiler instrumentation based analysis tool which I am hoping to bring into LLVM. As a starting point, I have included the current version of the design document below. Comments are appreciated. Thanks, Peter DataFlowSanitizer Design Document ********************************* This document sets out the design for