diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 16:58:25 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 16:58:25 +0200 |
| commit | 891247d70d71c1c939d3270e5d7f3e6c40a5fc18 (patch) | |
| tree | f00fec6b9b6e2483afa960fdbc116833b47d7699 /open_issues | |
| parent | ba2478a3ce4e5a81d876e966478348407acbec6f (diff) | |
open_issues/automatically_checking_port_deallocation: New.
Diffstat (limited to 'open_issues')
| -rw-r--r-- | open_issues/automatically_checking_port_deallocation.mdwn | 22 |
1 files changed, 22 insertions, 0 deletions
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. + + <youpi> we really need something that is able to automatically check port deallocation + <youpi> at least for the trivial cases, for which we do have bugs I'm currently fixing... + <pochu> test suite? :) + <pochu> won't magically find them though, so not what you've asked for... + <youpi> test suites can trigger some of the bugs yes + <youpi> which is already a good thing + <youpi> of course the coverage can't be perfect + <youpi> one of the bugs I fixed happened only for setuid binaries for instance |