440Forums  |  MacMusic.org  |  PcMusic.org  |  440tv  |  Zicos  |  AudioLexic
and   {key13}
16 sources
Windows
Mac
Linux

ESC/Java2 2.0b4 (Default branch)
FreshMeat

Wednesday January 16, 2008. 07:17 PM
FreshMeat

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML. License: Other/Proprietary License with Source Changes: Simplify has moved into its own project, Javafe has moved into its own project. ESC/Java2 now builds against an external Javafe library. Pre-built binaries have been added for the ASTGEN and ASTFILELIST tools, which are now part of Javafe.
ESC/Java2 Extended Static Checker Java. automatically statically modularly detec ESC/Java2 2.0b4 (Default branch)
ESC/Java2 2.0b4 (Default branch) Read more at FreshMeat
www.pheedo.com/click.phdo?i=1c0a09dd65238dd4abac1f9ddf6d32a1

 
  Related News 
AgileWiki 1.0.2 (CowDb branch) AgileWiki 1.0.2 (CowDb branch)
 FreshMeat 01/28/08 07 PM 
[fleXive] 3.0 CP (Default branch) [fleXive] 3.0 CP (Default branch)
 FreshMeat 01/28/08 07 PM 
FrontAccounting 1.16 (Default branch) FrontAccounting 1.16 (Default branch)
 FreshMeat 01/28/08 07 PM 
PHK 1.4.0 (Default branch) PHK 1.4.0 (Default branch)
 FreshMeat 01/28/08 06 PM 
LinuxBIOS 2-3084 (Default branch) LinuxBIOS 2-3084 (Default branch)
 FreshMeat 01/28/08 06 PM 
rsyslog 3.10.3 (Development branch) rsyslog 3.10.3 (Development branch)
 FreshMeat 01/28/08 06 PM 
DAA2ISO 0.1.3 (Default branch) DAA2ISO 0.1.3 (Default branch)
 FreshMeat 01/28/08 06 PM 
UIF2ISO 0.1.2 (Default branch) UIF2ISO 0.1.2 (Default branch)
 FreshMeat 01/28/08 06 PM 
MailSteward 7.9.6 (Default branch) MailSteward 7.9.6 (Default branch)
 FreshMeat 01/28/08 06 PM 
PCRE 7.6 (Default branch) PCRE 7.6 (Default branch)
 FreshMeat 01/28/08 06 PM 
MySpeed Server 7.3g (Default branch) MySpeed Server 7.3g (Default branch)
 FreshMeat 01/28/08 06 PM 
OCILIB 1.6.0 (Default branch) OCILIB 1.6.0 (Default branch)
 FreshMeat 01/28/08 05 PM 
GnuAccounting 0.5.2 (Default branch) GnuAccounting 0.5.2 (Default branch)
 FreshMeat 01/28/08 05 PM 
SSI.cgi 1.6beta (Default branch) SSI.cgi 1.6beta (Default branch)
 FreshMeat 01/28/08 05 PM 
TrackStudio Enterprise 3.5.24 (Default branch) TrackStudio Enterprise 3.5.24 (Default branch)
 FreshMeat 01/28/08 04 PM 
libev 3.0 (Default branch) libev 3.0 (Default branch)
 FreshMeat 01/28/08 04 PM 
OBM 2.1.4 (Default branch) OBM 2.1.4 (Default branch)
 FreshMeat 01/28/08 04 PM 
PeaZip 1.11 (Default branch) PeaZip 1.11 (Default branch)
 FreshMeat 01/28/08 04 PM 
white_dune 0.29beta839 (Development branch) white_dune 0.29beta839 (Development branch)
 FreshMeat 01/28/08 04 PM 
Vaniglia 0.4.0 (Default branch) Vaniglia 0.4.0 (Default branch)
 FreshMeat 01/28/08 04 PM 
Griffith 0.9.6 (Default branch) Griffith 0.9.6 (Default branch)
 FreshMeat 01/28/08 04 PM 

Options
Filters
Submit Site
About Us
Search
Download Zicos
Tue December 2, 11:55 AM
Top 20
Toast Titanium 9.0.4 - Popular burning software (discount available). (Updater)
Bonjour Mounter 1.1 - Mount your AFP or SMB share points silently in the background. (Free)
Football Manager 2009 1.0
SimplyRAR 1.10 - GUI for RAR compression. (Free)
Toon Boom Animate 1.0 - End-to-end vector based animation software. (Demo)
TuneInstructor 2.1 - Provides many functions in iTunes. (Free)
MacFamilyTree 5.3.4
iVolume 3.1.4 - Improves the built-in 'Sound Check' function of iTunes. (Shareware)
SWF Encrypt 5.0.4 - Protect your .swf files from decompilers. (Demo)
Xtream Path 1.3 - Path editing tool for Adobe Illustrator. (Commercial)
TorrentDam 1.1 - Torrent search utility. (Free)
Office Convert Document To Image Free
Lucy's Expedition
Vanilla 3.0 - Simple drawing application (was Vanilla Draw). (Free)
Desktop Stoners: Nixon Dymes
IntelBurnTest 1.9
Together 2.2.2 - Store files, text & images (was KIT). (Shareware)
Melk 0.2b - Converts iPhoto AVI movies to iPod format. (Free)
FolderBrander 2.2.4 - Change folder appearance in Finder sidebar windows. (Shareware)
Seed 0.5 - Simple but fast Torrent application. (Free)
updated 7 min ago
and   {key13}
News copyright owned by their original publishers | Copyright © 2004 - 2008 Zicos / 440Network