From 891247d70d71c1c939d3270e5d7f3e6c40a5fc18 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Fri, 30 Jul 2010 16:58:25 +0200 Subject: open_issues/automatically_checking_port_deallocation: New. --- .../automatically_checking_port_deallocation.mdwn | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 open_issues/automatically_checking_port_deallocation.mdwn diff --git a/open_issues/automatically_checking_port_deallocation.mdwn b/open_issues/automatically_checking_port_deallocation.mdwn new file mode 100644 index 00000000..fb8cfd01 --- /dev/null +++ b/open_issues/automatically_checking_port_deallocation.mdwn @@ -0,0 +1,22 @@ +[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +[[!tag open_issue_gnumach]] + +IRC, unknown channel, unknown date. + + we really need something that is able to automatically check port deallocation + at least for the trivial cases, for which we do have bugs I'm currently fixing... + test suite? :) + won't magically find them though, so not what you've asked for... + test suites can trigger some of the bugs yes + which is already a good thing + of course the coverage can't be perfect + one of the bugs I fixed happened only for setuid binaries for instance -- cgit v1.2.3