Jlint for Unix 1.23 Download

Jlint for Unix 1.23 Description

"Java code verifier"

BS Editor: 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.
Jlint performs local and global data flow analyses, calculating possible values of local variables and catching redundant and suspicious calculations. By performing global method invocation analysis, Jlint is able to detect invocation of method with possible "null" value of formal parameter and using of this parameter in method without check for "null". Jlint also builds lock dependency graph for classes dependencies and uses this graph to detect situations, which can cause DeadLock during multithreaded program execution. you can free download Jlint for Unix 1.23 now.

Jlint for Unix 1.23 Keywords

Jlint for Unix 1.23 Related Software

• Sketsa SVG Editor for Linux/Unix
  Sketsa SVG Editor is a cross platform vector drawing application based on SVG.
• Sharity3 For DEC/Compaq/HP Tru64 Unix
  Connect your Unix computer to any Windows, Samba or other SMB/CIFS Server.
• Apache Portable Runtime for Unix
  to create and maintain software libraries
• OODBC for windows
  Object adapter for ODBC
• Java embedded SQL(unix)
  Subset of SQL for specifying non-procedural queries for Java objects
• XmlME
  Compact, imple and fats XML parser for J2ME
• FastDB(windows)
  Main Memory Relational Database Management System
• JavaGO
  Java byte code global optimizer.
• ANSI/Turbo Pascal to C/C++(win)
  Pascal to C/C++ converter
• Execution-Time Code generator for CSharp
  With CSharp expression generate CLR code for filtering, mapping of collections.
• Interprocess Communication Server(unix)
  Interprocess synchronization and communication primitives for C++
• GigaBASE for windows
  A database system with convenient C++ interface
• Reflection Package for C++(win)
  Extracting type descriptors from debug information
• CSLint
  Deadlock detector for CSharp multithreaded applications
• Jlint for Unix
  Java code verifier
• Reflection Package for C++(unix)
  Extracting type descriptors from debug information
• GigaBASE for liunx
  A database system with convenient C++ interface
• OODBC for unix
  Object adapter for ODBC
• Java embedded SQL(windows)
  Subset of SQL for specifying non-procedural queries for Java objects
• Jlint
  Java code verifier.
• ANSI/Turbo Pascal to C/C++(liunx)
  Pascal to C/C++ converter
• FastDB(liunx)
  Main Memory Relational Database Management System
• BGI for Windows
  Emulation of Borland Graphic Interface library for MS-Windows (C language)
• Interprocess Communication Server
  Interprocess synchronization and communication primitives for C++.