From 219988e74ba30498a1c5d71cf557913a70ccca91 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Mon, 3 Oct 2011 20:49:54 +0200
Subject: IRC.

---
 open_issues/code_analysis.mdwn | 32 ++++++++++++++++++++++++--------
 1 file changed, 24 insertions(+), 8 deletions(-)

(limited to 'open_issues/code_analysis.mdwn')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 552cd2c9..7495221b 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -19,7 +19,12 @@ analysis|performance]], [[formal_verification]], as well as general
 [[!toc]]
 
 
-# Suggestions
+# Bounty
+
+There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
+
+
+# Static
 
   * [[GCC]]'s warnings.  Yes, really.
 
@@ -52,8 +57,6 @@ analysis|performance]], [[formal_verification]], as well as general
 
       * <http://blog.llvm.org/2010/04/whats-wrong-with-this-code.html>
 
-  * [[community/gsoc/project_ideas/Valgrind]]
-
   * [Smatch](http://smatch.sourceforge.net/)
 
   * [Parfait](http://labs.oracle.com/projects/parfait/)
@@ -66,7 +69,12 @@ analysis|performance]], [[formal_verification]], as well as general
 
   * [sixgill](http://sixgill.org/)
 
-  * [Coverity](http://www.coverity.com/) -- commercial?
+  * [Coverity](http://www.coverity.com/) (nonfree?)
+
+
+# Dynamic
+
+  * [[community/gsoc/project_ideas/Valgrind]]
 
   * <http://en.wikipedia.org/wiki/Electric_Fence>
 
@@ -76,7 +84,15 @@ analysis|performance]], [[formal_verification]], as well as general
 
   * <https://wiki.ubuntu.com/CompilerFlags>
 
-
-# Bounty
-
-There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
+  * IRC, freenode, #glibc, 2011-09-28
+
+        <vsrinivas> two things you can do -- there is an environment variable
+          (DEBUG_MALLOC_ iirc?) that can be set to 2 to make ptmalloc (glibc's
+          allocator) more forceful and verbose wrt error checking
+        <vsrinivas> another is to grab a copy of Tor's source tree and copy out
+          OpenBSD's allocator (its a clearly-identifyable file in the tree);
+          LD_PRELOAD it or link it into your app, it is even more aggressive
+          about detecting memory misuse.
+        <vsrinivas> third, Red hat has a gdb python plugin that can instrument
+          glibc's heap structure. its kinda handy, might help?
+        <vsrinivas> MALLOC_CHECK_ was the envvar you want, sorry.
-- 
cgit v1.2.3