On Thu, Oct 1, 2015 at 2:29 PM, Diego Aranha <[email protected]> wrote:
> It does something very similar to what you describe at compiled-code level > by using LLVM, and can be used offline as well. > See also: https://galois.com/project/software-analysis-workbench/ Although I'm not sure what it offers in the way of timing variability analysis -- Tony Arcieri
_______________________________________________ Curves mailing list [email protected] https://moderncrypto.org/mailman/listinfo/curves
