Jlint 1.20 Download

Jlint 1.20 Description

"Java code verifier."

BSEditor: Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis and building Lock graph.
Jlint consists of two separate programs performing syntax and semantic verification. As far as Java mostly inherits C/C++ syntax and so inherits most of the problems caused by C syntax, the idea was to create common syntax verifier for all C-family languages: C, C++, Objective C and Java. This program was named AntiC, because it fixes problems with C grammar, which can cause dangerous programmer's bugs, undetected by compiler. By using hand-written scanner and simple top-down parser, AntiC is able to Detect such bugs as suspicious use of operators priorities, absence of break in switch code, wrong assumption about constructions bodies...

Semantic verifier Jlint extracts information from Java class files. As far as Java class file has very well specified and simple format, it greatly simplifies Jlint in comparison with source level verifiers, because development of Java grammar parser is not a simple task (even through Java grammar is simpler and less ambiguous than C++ grammar). Also dealing only with class files, protect Jlint from further Java extensions (format of virtual byte instructions is more conservative). By using debugging information Jlint can associate reported messages with Java sources. you can free download Jlint 1.20 now.

Jlint 1.20 Keywords

lint

Jlint 1.20 Related Software

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