File |
Date |
Author |
Commit |
jlintwin32
|
2001-06-08
|
C. Artho
|
[ed4f8f]
MSVC project files contributed by Martin Braddels.
|
tests
|
2003-11-12
|
C. Artho
|
[e950ed]
* Makefile: Fixed compiler name.
|
BUGS
|
2003-11-12
|
C. Artho
|
[bc008a]
* BUGS: Added bug from Portier Jean-Pierre.
|
CHANGELOG
|
2006-10-13
|
C. Artho
|
[9d500a]
* CHANGELOG: Entry for version 3.1.
|
COPYING
|
2001-02-22
|
C. Artho
|
[be4fe9]
Added BUGS, COPYING (GPL) and README to reposit...
|
Makefile
|
2014-01-15
|
Cyrille Artho
|
[c25d58]
modified: Makefile, mkmf.pl: Fixed problem w...
|
Makefile.top
|
2001-01-19
|
C. Artho
|
[f9b1ff]
Top part of original Makefile, which can be reu...
|
README
|
2014-01-15
|
Cyrille Artho
|
[c25d58]
modified: Makefile, mkmf.pl: Fixed problem w...
|
TODO
|
2003-06-25
|
C. Artho
|
[de5d0b]
* BUGS, TODO: Update.
|
access_desc.cc
|
2001-01-18
|
C. Artho
|
[2c9204]
Split up jlint.h (renamed to jlint.hh) and jlin...
|
access_desc.hh
|
2001-01-31
|
C. Artho
|
[cd5d08]
Replaced tabs with spaces.
|
antic.c
|
2001-01-16
|
C. Artho
|
[a47c32]
Konstantin Knizhnik's version 1.11; ISO source ...
|
callee_desc.cc
|
2001-01-18
|
C. Artho
|
[2c9204]
Split up jlint.h (renamed to jlint.hh) and jlin...
|
callee_desc.hh
|
2001-02-09
|
C. Artho
|
[e98ce4]
- callee_desc.cc: change in constructor to work...
|
class_desc.cc
|
2003-08-25
|
acraphae <>
|
[6078df]
added patch for Method XXX is not overridden by...
|
class_desc.hh
|
2001-02-13
|
C. Artho
|
[04a3df]
- class_desc.hh: New field "usedLocks" for chec...
|
component_desc.hh
|
2001-01-25
|
C. Artho
|
[59a3f0]
Makefile: added flag -DHASH_TABLE
|
constant.hh
|
2001-02-07
|
C. Artho
|
[f15807]
- Makefile: generated new Makefile to include l...
|
field_desc.hh
|
2001-06-05
|
C. Artho
|
[a25d2e]
Added extra preprocessor macros for FreeBSD and...
|
functions.hh
|
2004-01-14
|
acraphae <>
|
[139686]
|
graph.cc
|
2001-02-13
|
C. Artho
|
[04a3df]
- class_desc.hh: New field "usedLocks" for chec...
|
graph.hh
|
2001-01-31
|
C. Artho
|
[cd5d08]
Replaced tabs with spaces.
|
inlines.hh
|
2003-04-26
|
acraphae <>
|
[c95195]
|
jlint.cc
|
2011-01-11
|
C. Artho
|
[3c7d0a]
* jlint.cc, message_node.hh: string_pool.hh: Ad...
|
jlint.d
|
2001-01-25
|
C. Artho
|
[59a3f0]
Makefile: added flag -DHASH_TABLE
|
jlint.hh
|
2014-01-15
|
Cyrille Artho
|
[c25d58]
modified: Makefile, mkmf.pl: Fixed problem w...
|
jlint.msg
|
2001-02-20
|
C. Artho
|
[0b11ca]
Fixed typo.
|
jlint.sh
|
2003-04-27
|
acraphae <>
|
[a78f31]
*** empty log message ***
|
jlint_3.0.tex
|
2004-01-14
|
acraphae <>
|
[139686]
|
local_context.cc
|
2003-07-14
|
acraphae <>
|
[ce4bd3]
added report for semster thesis (jlint_report.tex)
|
local_context.hh
|
2001-01-31
|
C. Artho
|
[cd5d08]
Replaced tabs with spaces.
|
locks.cc
|
2001-02-09
|
C. Artho
|
[e98ce4]
- callee_desc.cc: change in constructor to work...
|
locks.hh
|
2003-04-09
|
acraphae <>
|
[c7c939]
|
manual.texi
|
2004-01-14
|
acraphae <>
|
[139686]
|
message_node.cc
|
2001-06-27
|
C. Artho
|
[b860e3]
- Makefile: Major changes in targz and zip targ...
|
message_node.hh
|
2011-01-11
|
C. Artho
|
[3c7d0a]
* jlint.cc, message_node.hh: string_pool.hh: Ad...
|
method_desc.cc
|
2003-06-09
|
acraphae <>
|
[3fe8b9]
|
method_desc.hh
|
2001-02-09
|
C. Artho
|
[7374a3]
- jlint.cc: Bugfix: locksAtEntry table is now c...
|
mkmf.pl
|
2014-01-15
|
Cyrille Artho
|
[c25d58]
modified: Makefile, mkmf.pl: Fixed problem w...
|
overridden_method.hh
|
2001-01-31
|
C. Artho
|
[cd5d08]
Replaced tabs with spaces.
|
string_pool.hh
|
2011-01-11
|
C. Artho
|
[3c7d0a]
* jlint.cc, message_node.hh: string_pool.hh: Ad...
|
types.hh
|
2006-10-13
|
C. Artho
|
[7f8398]
* types.hh: Removed declarations defining bool ...
|
utf_string.hh
|
2003-04-26
|
acraphae <>
|
[c95195]
|
var_desc.hh
|
2001-02-07
|
C. Artho
|
[f15807]
- Makefile: generated new Makefile to include l...
|
Read Me
Jlint 3.1 README
----------------
Description:
------------
Jlint will check your Java code and find bugs, inconsistencies and
synchronization problems by doing data flow analysis and building a
lock graph.
Original version (1.11) by Konstantin Knizhnik.
Enhanced version (2.0) and a few bugfixes by Cyrille Artho.
Versions 2.1 and newer: FreeBSD port by Cyrille Artho; Visual C++
port by Maarten Breddels; compatibility patch for older compilers by
Eric A. Raymond; OpenBSD patch by Kevin Lo. LinuxPPC and MacOS X port
(both trivial) by Cyrille Artho.
Version 3.0: works with java 1.4, added test framework by Raphael
Ackermann; Support for compressed zip/jar files by Mark Wutka; Patch for
class_desc.cc by Jeroen Mostert
Version 3.1: Added minor patch to fix compilation issues with g++ 3.2
and newer.
Version 3.1.X: Other patches to address compilation on newer compilers.
Patch for version 3.1.2 contributed by Paul Roemer, tested on g++ 4.2.
Patch for version 3.1.3 contributed by Fabian Streitel, tested on 4.2.1.
Usage:
------
User guide is found in manual.html.
Installation:
------------
- System requirements:
For compiling: C++ compiler, C++ Standard Library with Standard Templates.
For compiling the docs: Texinfo; type "make doc".
For using: Any Java compiler (no Java Run Time Environment needed).
Recommended: A Unix shell (e. g. bash) to run jlint.sh.
- Installation:
1. Unpack the archive with unzip jlint.zip (MS-DOS) or
gunzip -c jlint.tar.gz | tar -xvf -
2. cd jlint
3. make ; make install
Compilation problems:
---------------------
If Jlint won't compile for your system, remove the flag -DSLIST in the
Makefile, or upgrade to a newer version of the STL.
- Windows users:
To have .cc files be recognized as C++ source code, check out
http://support.microsoft.com/support/kb/articles/Q181/5/06.ASP
- MacOS X users (old versions of MacOS X):
In the first few lines of the Makefile (lines 6 and 7), replace
gcc with cc, and g++ with c++. Alternatively, you can create a symbolic link
for the compiler executables.
- Creating a new Makefile:
You can update the Makefile by typing
./mkmf.pl jlint antic readme <Makefile >__tmp__ ; mv __tmp__ Makefile
- Supported platforms:
Jlint is known to work with recent versions of Linux, Solaris, FreeBSD,
OpenBSD, Windows. There is no user support available, though, as this
program is not commercial.
Bugs:
-----
Send bug reports to cyrille (at) artho.com, Subject: Jlint.
Acknowledgements:
-----------------
Thanks to all the people mentioned above.
Thanks to Eric A. Raymond for his help with compiler compatibility problems.
Special thanks to Ernst de Haan for providing a FreeBSD account for testing.