diff options
| author | Arne Babenhauserheide <arne_bab@web.de> | 2011-12-19 06:28:18 +0100 |
|---|---|---|
| committer | Arne Babenhauserheide <arne_bab@web.de> | 2011-12-19 06:28:18 +0100 |
| commit | 83a6603ed188d746e2871decf85939fb7975b979 (patch) | |
| tree | 5f671db8fa7e3828322a4d4b1b9cdce9b4bb6ac4 /open_issues/code_analysis.mdwn | |
| parent | d8b7944e910af3fdc1109846698d67738761f85a (diff) | |
| parent | 6c057cff39ff782e9155c07eee44884cd9c48c9c (diff) | |
| download | web-83a6603ed188d746e2871decf85939fb7975b979.tar.gz web-83a6603ed188d746e2871decf85939fb7975b979.tar.bz2 web-83a6603ed188d746e2871decf85939fb7975b979.zip | |
Merge branch 'master' of flubber:~hurd-web/hurd-web
Diffstat (limited to 'open_issues/code_analysis.mdwn')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index bb74d958..d776d81a 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -36,6 +36,11 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. specifiers, and have it emit useful warnings in case these are pointing to uninitialized data (for *in* only). + * [[Port Sequence Numbers|microkernel/mach/ipc/sequence_numbering]]. If + these are used, care must be taken to update them reliably, [[!message-id + "1123688017.3905.22.camel@buko.sinrega.org"]]. This could be checked by a + static analysis tool. + * [Static Source Code Analysis Tools for C](http://spinroot.com/static/) * [[!wikipedia List_of_tools_for_static_code_analysis]] |