Java Static Checker (JSC) 6
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/javastaticcheck/files/prototype_version6/jsc_prototype_v6.zip/download
关于 Java Static Checker (JSC)
这是 Java 静态检查器 (JSC) 的原型,这是一种轻量级静态分析工具,通过故障类别检查 Java 源代码的故障类。 该工具在考虑完整性的同时,以健全性和可扩展性为设计。
相关软件
-
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这样的服务,以最大限度地减少所需的用户输入。