<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Tony et al.,<div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Oct 1, 2015, at 16:20, Tony Arcieri <<a href="mailto:bascule@gmail.com" class="">bascule@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Thu, Oct 1, 2015 at 2:29 PM, Diego Aranha <span dir="ltr" class=""><<a href="mailto:dfaranha@gmail.com" target="_blank" class="">dfaranha@gmail.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr" class=""><div class="">It does something very similar to what you describe at compiled-code level by using LLVM, and can be used offline as well.</div></div></blockquote><div class=""><br class=""></div><div class="">See also:</div><div class=""><br class=""></div><div class=""><a href="https://galois.com/project/software-analysis-workbench/" class="">https://galois.com/project/software-analysis-workbench/</a><br class=""></div><div class=""><br class=""></div><div class="">Although I'm not sure what it offers in the way of timing variability analysis</div></div></div></div></div></blockquote><div><br class=""></div><div class="">Thanks for the advertising. ;)</div><div class=""><br class=""></div><div class="">While SAW does not currently do any timing analysis, we are working on this topic and hope to make some of that work public in future versions of SAW.</div><div class=""><br class=""></div><div class="">Best,</div><div class="">Joe</div></div></div></body></html>