On Fri, Oct 24, 2008 at 7:42 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: > This general sentiment doesn't help if I don't know what to do specifically.
Well, given a C/C++ program that does have buffer overrun or stray pointer bugs, there will typically be a logical proof of this fact; current theorem provers are typically not able to discover this proof, but that doesn't rule out the possibility of writing a program that can. (If this doesn't clarify, then I'm probably misunderstanding your question, in which case can you rephrase?) ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
