Submit Software
  1. Home
  2. Windows
  3. Other
  4. Java Static Checker (JSC)

Java Static Checker (JSC) 6

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

This is a prototype of the Java Static Checker (JSC), a light-weight static analysis tool which examines Java source code for fault classes via fault category. The tool is geared at soundness and scalability while considering completeness.

VERSION HISTORY

  • Version prototype_version6 posted on 2010-10-22
    Several fixes and updates
  • Version prototype_version6 posted on 2010-10-22

Program Details

Related Programs

  • Component Pascal compiler Free

    Minimalistic cross-platform compiler for Component Pascal language, subset of BlackBox Component Builder 1.6 RC5 (forked subsystem Dev), capable to produce stand-alone software from command-line.

  • SSIMS Free

    SSIMS is a Windows Server and SQL Server Inventory Management System that uses SQL to execute PowerShell scripts to query the OS and SQL for information. Added script to find all SQL Servers on an entire network! Working on r

  • ecmallthai Free

    This Project develop thai language script for ECMall an Chinese Shopping Mall Software. ECMall is an opensource developed by comsenz . it is popular Shopping Mall Software in China. These translate scripts are php include fil

  • MovExp Free

    MovExp helps you to manage your movies in your intranet and share them with Samba.The IMDb feature will helps you to automatically parse movie information.

  • JOR (Jatools Open Report) Free

    JOR is an open-source reporting tools for complex reports, Jasperreport is aimed only simple reports, but JOR can easily design complex reports, such as multi-data source reports,unbalanced crosstab reports, etc.

  • EasyLogIn Free

    Easy Log In - a database based simple user authentication module. Can be used to add user authentication to existing code, or as a starting point for building simple apps. Uses ADODB-lite for a database abstraction layer.

  • pam_krb5+ldap Free

    Uses Kerberos for primary authentication and has options to create local password-less account from data retrieved from OpenLDAP/Active Directory. Based on the pam_krb5-2.3.1-1 release from http://people.redhat.com/nalin/pam_

  • FACON Free

    In the Name of Allah. Peace be upon prophet Mohamad and all prophets. FACON is an optimization and neural networks Scilab based toolbox that uses different optimization methods to solve a problem and reports to the user the b

  • MicroBrowser4ME - J2ME Browser Core Free

    Small footprint J2ME browser core for displaying XHTML and HTML documents on Wireless Java enabled embedded devices. Derived from a student project at the FH Joanneum (University of Applied Sciences Kapfenberg, Austria)

  • ArchivePool Free

    The project is an OS independend media cataloger (music, films...), written in Java, which could be extended with extra media systems and databases by plugins. It should use services like the freedb.org project to minimize ne