[LLVMdev] Bitwidth analysis?
regehr at cs.utah.edu
Sat Apr 12 09:08:39 PDT 2008
Oops sorry to clutter with non-LLVM content, I intended to respond to
On Sat, 12 Apr 2008, John Regehr wrote:
> We have a bitwidth analysis that can be downloaded. It is not in LLVM.
> There should be a link in the paper:
> John Regehr
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
More information about the llvm-dev