ESC/Java2 For Linux

3.3/5 16

Last updated: Nov 6, 2008 Other/Proprietary License with Source

SOFTPEDIA® DOWNLOAD NOW 864 downloads so far

ESC/Java2 is an Extended Static Checker for Java.. #Java testing #Static checker #Programming errors #ESC #Java #Quality

Description

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.

What's new in ESC/Java2 2.0 Beta 5:

There are no major functional changes, but some bugfixes and cleanup of existing features.
This is intended to be the final release and the first stable release.

Read the full changelog

DOWNLOAD ESC/Java2 2.0 Beta 5

ESC/Java2 2.0 Beta 5

add to watchlist add to download basket send us an update REPORT

runs on:: Linux
main category:: Programming
developer:: KindSoftware
visit homepage

IrfanView 4.67

With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode

Context Menu Manager 3.3.3.1

Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow

7-Zip 23.01 / 24.04 Beta

An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors

calibre 7.9.0

Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager

Microsoft Teams 24060.3102.2733.5911 Home / 1.7.00.7956 Work

Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application

Zoom Client 6.0.3.37634

The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide

Bitdefender Antivirus Free 27.0.35.146

Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration

4k Video Downloader 1.5.3.0080 Plus / 4.30.0.5655

Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website

ShareX 16.0.1

Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more