Jlint for Unix v.1.23


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 programmers 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.

Jlint will check your Java code and find bugs, ...

  • Jlint for Unix
  • 1.23
  • garret.ru
  • Unix
  • Freeware
  • 70 Kb
  • 177
  • Free

Review Jlint for Unix

  • captcha

Other software of garret.ru
  • CSLint  v.1.02This 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 ...
  • Execution-Time Code generator for CSharp  v.1.01INTRODUCTION If you come from a C++ background, its likely you have a very "compile-time" view of the world. Because a C++ compiler does all code generation when the code is compiled, C++ programs are static systems that are fully known at compile ...
  • GigaBASE for liunx  v.3.66The software is a relational database management system. Its storage can be up to terabyte database size. It contains some of the post-relational features as following: Tight integration with C++ Automatic scheme evaluation Efficient log-less ...

New Miscellaneous software
  • Bersoft HTML Print  v.9.09This programmer utility for printing HTML pages and images in an invisible way can be called from your application, passing either the file to print or a file list as a parameter.
  • Metamill  v.8.2.2022Metamill is a professional UML modeling tool. Supports UML 2.4 standard. All 14 UML diagrams supported. Round-trip engineering for Python, ADA, Java, C, C++, C# and VB.Net. RTF and HTML document generation. Fast and easy to use. www.metamill.com ...
  • RunETAC  v.2-0.1-6-enaThe ETAC programming language is a general purpose dictionary and stack based interpreted script programming language fully capable of traditional high-level block structured language style syntax.
  • SocialMedia driven App Developer  v.3.00If you could look 1 year ahead, would you want to see? The SocialMedia driven App Developer is calculating your Shareware's Success. Fine-tune as many cost-driving parameters as you want. See revenue and net profit results displayed over 48 months.
  • JlGui for Linux  v.3.0jlGui is a music player for the Java platform. It is based on Java Sound 1.0 (i.e. JDK 1.3+). It supports WAV, AU, AIFF, MP3, OGG VORBIS, FLAC, MONKEYs AUDIO and SPEEX audio formats. User Interface is WinAmp skins 2.0 compliant. It provides M3U and ...
  • JLogo  v.2.4.0Thats a LOGO interpreter written in Java.It thus works on any operating system, provided there is a Java Virtual Machine available.This includes MacOS X, MacOS Classic with MRJ 2.x, Windows with JRE from Sun or Microsoft or IBM, Linux and many many ...