Jlint for Unix v.1.23

Advertisement
Advertisement

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
  • 151
  • 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
  • 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.
  • Excavator  v.1.0.11Diggernaut is a cloud based service for web scraping, data extraction and other ETL (Extract, Transform, Load) tasks. If you dont have any programming skills, you can use Excavator tool to build configuration for your scrapers.
  • InstallAware Free Installer  v.X6InstallAware's new Free Installer runs inside Visual Studio and creates setups automatically, by scanning your loaded solutions for dependencies and output files, and including them in your setup. This special edition of InstallAware is freeware!
  • Metamill  v.8.1.1921Metamill 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.
  • 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 ...