This is DeadLock detector for CSharp programs.
It builds lock graph for the application and searches loops in it.
CSLint is currently analyzing only monitors accessed through class fields (i.e lock(x) where x is
component of some class) and that value of such fields can never be changed.
To use it you should include in you PATH environment variable
/cslint/bin directory. After it just run "CSLINT Assembly-path".
This product is port of my Java verifier Jlint to CSharp.
Only most interesting part of this verifier (deadlock detection Algorithm)
is currently ported.
CSLint is using ILReader library implemented by Lutz Roeder
(http://www.aisto.com/roeder/dotnet) for accessing the IL bytecode.
Unfortunately I didn't find a way to access debugging information (line numbers
and file source path for the class). So CSLint is not able to precisely point place
in the sources where deadlock happens. Right now it just reports class and method
names and name of locked monitor. If somebody knows how to solve the problem, will
be glad to get your suggestions.
Screenshots are not available currently.
What's New in CSLint 1.02
Release notes are not available currently.
No additional system requirements.