Welcome Message for lclint-interest
Please post a brief message introducing yourself and describing your
professional interests. Feel free to also include any ideas you have
for lclint development or comments on your experiences using lclint.
This list is intended for informal discussions on the use and
development of lclint, and how it relates to more general issues in
This list is a bounce list so any message sent to
firstname.lastname@example.org will be sent directly to everyone on
the list. If you have administrative questions, send them to
email@example.com. This list is archived at
Some topics I hope to see discussed on this list include:
o Experiences using lclint ---
how is your organization using lclint?
how much effort spent on annotations (or specifications) is
useful in practice?
what ways of using lclint are most effective?
which checks are most effective in catching real bugs?
are spurious messages a problem?
o Ideas for improvements to lclint ---
what checks should be done that are not?
what should be added to enable further checking?
what coding styles should be supported?
o More general discussions on the role of specifications and
static checking in software engineering.
Currently, this list has 109 members from around the world:
38 US Commercial
11 US Educational
6 Australia, France, United Kingdom
4 Switzerland, Netherlands
2 Belgium, Canada, Denmark, US government
1 Ireland, Israel, Japan, Korea, Poland, .net, Norway,
Singapore and Sweden.
University of Virginia, Computer Science