Displaying 1 result from an estimated 1 matches for "overflow12".
Did you mean:
overflow
2011 Oct 18
1
[LLVMdev] How to infer sign information from LLVM IR?
...eger issues. Between
> the four of us we've done a lot of looking at and thinking about integer
> overflow in C/C++, and have written up a paper containing some data and
> observations. Perhaps it'll be interesting to people here:
> http://www.cs.utah.edu/~regehr/papers/overflow12.pdf
In this work, they implement a dynamic analysis for detecting integer
overflows in the front-end (using clang). I belive they moved to the
front-end rather than implementing a LLVM pass precisely due to, among
others, the sign problem I mention.
Is there a quick solution to infer sign informa...