[LLVMdev] Bitwidth analysis?

John Regehr regehr at cs.utah.edu
Sat Apr 12 09:05:56 PDT 2008


We have a bitwidth analysis that can be downloaded.  It is not in LLVM.

There should be a link in the paper:

http://www.cs.utah.edu/~regehr/papers/pldi075-cooprider.pdf

John Regehr



More information about the llvm-dev mailing list