提交软件
  1. 首页
  2. PC软件
  3. 其他
  4. Java Static Checker (JSC)

Java Static Checker (JSC) 6

许可： 免费 ‎文件大小： N/A
‎用户评分： 3.0/5 - ‎1 ‎评分
点击下载

这是 Java 静态检查器 （JSC） 的原型，这是一种轻量级静态分析工具，通过故障类别检查 Java 源代码的故障类。 该工具在考虑完整性的同时，以健全性和可扩展性为设计。

版本历史记录

  • 版本 prototype_version6 发布于 2010-10-22
    若干修复和更新
  • 版本 prototype_version6 发布于 2010-10-22

软件信息

相关软件

  • Component Pascal compiler 免费

    组件 Pascal 语言的极简式跨平台编译器，BlackBox 组件生成器 1.6 RC5（分叉子系统开发）的子集，能够从命令行生成独立软件。

  • SSIMS 免费

    SSIMS 是一个 Windows 服务器和 SQL 服务器清单管理系统，它使用 SQL 执行 PowerShell 脚本来查询操作系统和 SQL 的信息。添加了脚本，用于查找整个网络上的所有 SQL 服务器！正在重做 SQL 作业部分。

  • ecmallthai 免费

    该项目为ECMall中国购物中心软件开发泰语脚本。ECMall是康森公司开发的一个开放源。它是在中国流行的购物中心软件。这些翻译脚本是 php 包括用于 ECmall V2.0 beta3 的文件。铁道部

  • MovExp 免费

    MovExp 可帮助您在 Intranet 中管理电影并与 Samba 共享。IMDB 功能可帮助您自动分析影片信息。

  • JOR (Jatools Open Report) 免费

    JOR 是用于复杂报告的开源报告工具，Jasperreport 只针对简单的报表，但 JOR 可以轻松设计复杂的报表，例如多数据源报告、不平衡交叉表报告等。

  • EasyLogIn 免费

    轻松登录 - 基于数据库的简单用户身份验证模块。 可用于将用户身份验证添加到现有代码，或作为构建简单应用的起点。 对数据库抽象层使用 ADODB-lite。{@}

  • pam_krb5+ldap 免费

    使用 Kerberos 进行主身份验证，并具有从 OpenLDAP/Active 目录检索的数据创建本地无密码帐户的选项。基于 pam_krb5-2.3.1-1 版本http://people.redhat.com/nalin/pam_krb5/。

  • FACON 免费

    以真主的名义和平取决于先知穆罕默德和所有先知。FACON 是一个基于 Scilab 的优化和神经网络工具箱，它使用不同的优化方法来解决问题，并向用户报告获得最佳结果。

  • MicroBrowser4ME - J2ME Browser Core 免费

    小尺寸的 J2ME 浏览器内核，用于在支持无线 Java 的嵌入式设备上显示 XHTML 和 HTML 文档。来自FH Joanneum（奥地利卡普芬贝格应用科学大学）的学生项目

  • ArchivePool 免费

    该项目是一个操作系统独立的媒体编录器（音乐，电影...），用Java编写，可以通过插件通过额外的媒体系统和数据库进行扩展。它应该使用像"freedb.org这样的服务，以最大限度地减少所需的用户输入。