diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-20 22:27:59 +0100 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-20 22:27:59 +0100 |
commit | 175f68707cf8a4951a9b024a3b43d92860151eaf (patch) | |
tree | c3dd4fa93fac03312982f7b89739422b072e9c84 /open_issues/code_analysis.mdwn | |
parent | 0a607c5c7bab130bfff70efd344bff78ce2bf88a (diff) | |
parent | fc4d1650f3e35a1cff0111ae3808c61d44346f1f (diff) |
Merge remote-tracking branch 'feldtkeller.SCHWINGE/master'
Conflicts:
open_issues/fork_deadlock.mdwn
open_issues/glibc.mdwn
Diffstat (limited to 'open_issues/code_analysis.mdwn')
-rw-r--r-- | open_issues/code_analysis.mdwn | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index a73f102c..98b9b1d5 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -37,11 +37,6 @@ 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. - * [[!wikipedia List_of_tools_for_static_code_analysis]] * [Engineering zero-defect software](http://esr.ibiblio.org/?p=4340), Eric @@ -99,6 +94,16 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. <mcsim> seems I made it work +## Hurd-specific Applications + + * [[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. + + * [[glibc]]'s [[glibc/critical_section]]s. + + # Dynamic * [[community/gsoc/project_ideas/Valgrind]] |