[LLVMdev] Bitwidth analysis?

[John Regehr]

Oops sorry to clutter with non-LLVM content, I intended to respond to 
Fernando only.

John


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:
>
> http://www.cs.utah.edu/~regehr/papers/pldi075-cooprider.pdf
>
> John Regehr
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>