提交軟體
  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 這樣的服務，以最大限度地減少所需的用戶輸入。