summaryrefslogtreecommitdiff
path: root/open_issues/code_analysis.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'open_issues/code_analysis.mdwn')
-rw-r--r--open_issues/code_analysis.mdwn15
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]]