lclint-interest message 79

From HERMIT@kellis.berlinet.de Thu Jun 13 19:01:50 1996
To: lclint-interest@larch.lcs.mit.edu
From: HERMIT@kellis.berlinet.de (Bjoern Labitzke)
Path: tbx.berlinet.de!kellis.berlinet.de
Subject: My introduction
Date: Thu, 06 Jun 1996 12:11:04 +0200
X-Mailer: The Answer V3.06.22 via [DOS/NCBMail V2.21 REL.:160995]
References: <9605220140.AA06400@okemo.lcs.mit.edu> <9605251652.AA16386@larch.lcs.mit.edu>
X-Gateway: ZCONNECT zelator.berlinet.de [LEGO v0.11]
X-Zc-Charset: ISO1
X-Zc-Pgp-Key-Avail: 
X-Zc-Via: 19960606230000W+1@kellis.berlinet.de
Lines: 72


Hello...

On Sa 25.05.1996 at 17:52:35 wrote evans@cs.virginia.edu (david evans)
concerning "Subscription request":

de> Please post a brief message introducing yourself and describing your
de> professional interests.  Feel free to also include any ideas you have
de> for lclint development or comments on your experiences using lclint.


Let's see where to start. I am a German computer science student in his
last semesters. While studying I stumbled about quite a lot programming
languages, C was of course one of them. I used it esp. for programming in
an UNIX environment, but I use it for programming my Amiga, too.

At this point I may remark, that lclint is compilable under AmigaOS after
changing a few points. First, the makefile has to be edited by hand,
because the configure is aimed for UNIX systems. The second and main point
is the search path handling. The Amiga uses different devices that are
denoted by a name and a colon. Therefor I changed the separating colon to a
comma. Another, at the moment quite less important point, is the fact, that
lclint adds a slash "/" to each path. But "harddisk:" may denote a correct
path on an Amiga, while "harddisk:/" may create problems. Perhaps lclint
can be changed a bit: Paths in the search lists should be ended by slashes,
therefor stopping the need to add the slash by lclint.


de> This list is a bounce list so any message sent to
de> lclint-interest@larch.lcs.mit.edu will be sent directly to everyone on
de> the list.

Is it possible to add some list-specific header to the outgoing mails?
Something like "X-LCLINT" to allow automatic processing of the mails by a
mailfilter?

de> Some topics I hope to see discussed on this list include:
de> 
de>    o Experiences using lclint ---
de>     how is your organization using lclint?
de>     how much effort spent on annotations (or specifications) is
de>            useful in practice?
de>     what ways of using lclint are most effective?
de>     which checks are most effective in catching real bugs?
de>     are spurious messages a problem?

Well, I just start with lclint. Perhaps someone may tell me about some of
the best features of lclint? (Of course all of them are in the manual, but
I am interested in reading about often _used_ features.)

de> Currently, this list has around eighty members from around the world: 
de> 
de>     30 US Commercial
de>      9 US Educational
de>          6 France, Germany, United Kingdom
de>          3 Austrailia, Switzerland
de>          2 Belgium, Canada, US government, Italy, Netherlands
de>          1 Denmark, Finland, Israel, Japan, .net, Poland,
de>            Singapore and Sweden.

80??? I find 51 in this list!?!


Feel free to ask me if you want anything more to know about me. BTW: I
would appreciate correcting my spelling or grammar faults. :-)

Bye, Bjoern

-------------------------------------+------------------------------------
Bjoern    Hermit @Kellis.berlinet.de | PGP-Key / 07 FF B4 5A 4D 11 8F 9F \
Labitzke         @cs.tu-berlin.de    |  in EB  \ 60 8E 09 1A 0C F5 50 12 /