Displaying 1 result from an estimated 1 matches for "infinitiari".
Did you mean:
infinitiary
2011 Nov 01
1
[LLVMdev] Signed/unsigned value type resolution
Hi all,
I am currently working on a static analysis aimed at integer
arithmetic overflow/underflow detection. We are attempting to build a
sound abstract domain (based on Cousot & Cousot-style abstract
interpretation), but practically speaking this really requires the
ability to figure out the word size and signedness of values in the
intermediate representation. I'm well aware