CSLint 1.02 Download

CSLint 1.02 Description

"Deadlock detector for CSharp multithreaded applications"

BS Editor: 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.
Find new versions at my home page: www.garret.ru/~knizhnik
Please send me mails with questions, bug reports and suggestions at knizhnik@garret.ru you can free download CSLint 1.02 now.

CSLint 1.02 Keywords

lint

CSLint 1.02 Related Software

• OODBC for unix
  Object adapter for ODBC
• Reflection Package for C++(win)
  Extracting type descriptors from debug information
• Execution-Time Code generator for CSharp
  With CSharp expression generate CLR code for filtering, mapping of collections.
• FastDB(windows)
  Main Memory Relational Database Management System
• ANSI/Turbo Pascal to C/C++(liunx)
  Pascal to C/C++ converter
• Jlint for Unix
  Java code verifier
• GigaBASE for liunx
  A database system with convenient C++ interface
• Jlint
  Java code verifier.
• JavaGO
  Java byte code global optimizer.
• XmlME
  Compact, imple and fats XML parser for J2ME
• FastDB(liunx)
  Main Memory Relational Database Management System
• GigaBASE for windows
  A database system with convenient C++ interface
• OODBC for windows
  Object adapter for ODBC
• Reflection Package for C++(unix)
  Extracting type descriptors from debug information
• Interprocess Communication Server
  Interprocess synchronization and communication primitives for C++.
• Java embedded SQL(windows)
  Subset of SQL for specifying non-procedural queries for Java objects
• ANSI/Turbo Pascal to C/C++(win)
  Pascal to C/C++ converter
• Java embedded SQL(unix)
  Subset of SQL for specifying non-procedural queries for Java objects
• Interprocess Communication Server(unix)
  Interprocess synchronization and communication primitives for C++
• CSLint
  Deadlock detector for CSharp multithreaded applications
• BGI for Windows
  Emulation of Borland Graphic Interface library for MS-Windows (C language)