diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-11 10:58:06 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-11 10:58:06 +0100 |
| commit | a0290d994030cd14bdccbb97d2a2c022d1d2428c (patch) | |
| tree | 0f4e72a2faae2addeb45acd014a95b12a185c4de /open_issues | |
| parent | 32af86123d34fceda4d7bed8b829a335d784fe53 (diff) | |
| parent | e5555eb2f988cf849f62fa6416475b1711fbdcb8 (diff) | |
Merge remote-tracking branch 'kepler.SCHWINGE/master'
Diffstat (limited to 'open_issues')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 15 | ||||
| -rw-r--r-- | open_issues/code_analysis/discussion.mdwn | 12 |
2 files changed, 16 insertions, 11 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index 00915651..4702fce6 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -85,11 +85,26 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * [Coverity](http://www.coverity.com/) (nonfree?) + * [Splint](http://www.splint.org/) + + * IRC, freenode, #hurd, 2011-12-04 + + <mcsim> has anyone used splint on hurd? + <mcsim> this is tool for statically checking C programs + <mcsim> seems I made it work + # Dynamic * [[community/gsoc/project_ideas/Valgrind]] + * glibc's `libmcheck` + + * Used by GDB, for example. + + * Is not thread-safe, [[!sourceware_bug 6547]], [[!sourceware_bug 9939]], + [[!sourceware_bug 12751]], [[!stackoverflow_question 314931]]. + * <http://en.wikipedia.org/wiki/Electric_Fence> * <http://sourceforge.net/projects/duma/> diff --git a/open_issues/code_analysis/discussion.mdwn b/open_issues/code_analysis/discussion.mdwn index f8a0657d..f6b1e8c1 100644 --- a/open_issues/code_analysis/discussion.mdwn +++ b/open_issues/code_analysis/discussion.mdwn @@ -15,17 +15,6 @@ License|/fdl]]."]]"""]] # IRC, freenode, #hurd, 2011-12-04 - <mcsim> has anyone used splice on hurd? - <mcsim> splice -> splint - <youpi> not that I know of - <mcsim> this is tool for statically checking C programs - <mcsim> seems I made it work - <braunr> hm i realli i personnally dislike such tools a lot, but sometimes - it might help - <braunr> hello hurd people - <mcsim> braunr: hello - <braunr> mcsim: duma may be helpful as replacement for the memcheck part of - valgrind <mcsim> defpager uses it's own dynamic memory allocator, which uses vm_allocate/vm_deallocate as backing store? Am I able to use duma in such case? @@ -38,6 +27,7 @@ License|/fdl]]."]]"""]] <mcsim> yes, wired memory <braunr> you'll have to change that in duma then <braunr> but apart from such details, it should be straightforward + <antrik> braunr: I have no idea about duma; but if you think it's a useful tool, please add it to open_issues/code_analysis.mdwn <antrik> (I guess we should have a "proper" page listing useful debugging |