On 08/09/10 08:42, John Regehr wrote:
On Sat, 7 Aug 2010, Florian Weimer wrote:
I wonder if we should give up and make -fwrapv the default.
My sense is that there are not that many of these integer bugs, and
probably all of them are simple to fix. Best to just fix them and then
run a tool like ours every now and then to see if anything new has
popped up.
Really interesting: where can we read more about the tool?
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
