提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. smatch source matcher

smatch source matcher 08

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 5.0/5 - ‎1 ‎評分
點擊下載

查找內核錯誤的實驗。 斯馬奇有兩個主要部分。 第一個是補丁到gcc源列印出大量的資訊。 第二部分是用於分析資訊的 perl 腳本和庫的集合。

版本歷史記錄

  • 版本 smatch-patch-v.08 發佈於 2003-07-01
    若干修復和更新
  • 版本 smatch-patch-v.08 發佈於 2003-07-01

軟體細節

相關軟體

  • IMDB_Scraper 免費

    此 C# 類別旨在根據其 ID（URL 的最後一部分）IMDB.com上列出的任何影片獲取各種資訊。檢索到的資訊可由任何基於 C# 的應用程式或 .NET 支援的網站使用。

  • xHuggle 免費

    此專案是為了將剪子工具庫從 Huggle 博士和合作夥伴從 16bit DOS/Win3.x 移植到 Win32 和 Linux 的現代剪子編譯器平臺（f.e. xHarbour、旗艦、C3 和 XBase+）。

  • AGControl - AGSatellite Script Monitor 免費

    AGControl 是一個簡單而有用的 Bash 腳本，用於監視不完整的 AGSatellite 下載的大小，它有以下功能：- 播放不完整的 MP3 檔;- 啟動AGSatellite和/或定義的瀏覽器和其他一些東西。

  • Relational XQuery 免費

    算盤技術關係 XQuery 是 XQJ 相容的 XQuery 處理器，它提供針對關係數據來源和 XML 資料來源執行 XQuery 的能力。可以使用 XQuery 的強大功能將關係數據轉換為任何 XML 架構。

  • AIMLpad 免費

    AIMLpad 是一個 AIML 聊天機器人程式，為機器人開發人員提供額外的功能。 包括文本語言（AIML之外），並包括使用 OpenCyc 和 ConceptNet 推理系統的功能。有一個微型Web伺服器，使用IRC，以及MS代理。

  • GXMame, GTK XMame Frontend 免費

    GXMame 是使用 Gtk 函式庫的 Xmame 的前端， 目標是提供與 mame32 相同的 GUI

  • e-Liquid Calculator 免費

    説明您混合自己的DIY eLiquid食譜（又名電子果汁），通過計算所需的數量，給你的基地和你的食譜。只有電子香煙使用者將享受這個程式。請注意，這個程式只是安裝一個快捷方式，以全屏視圖的eliquidcalcalator.comNEW：添加了調整食譜計算機！！

  • Code Checker 免費

    所有在一個編譯器應用程式檢查原始碼功能 ： - 支援 45 種編碼語言 - 可自訂的結果位置（資料庫或檔案） - 原始碼可以從資料庫取得 - 輸出和輸入可以作為檔案應用程式使用 IDEONE Api

  • Qt Signal Adapters 免費

    僅頭庫，可更輕鬆地將 Qt 信號連接到提升函數物件。針對升壓 1.39 開發。運行 doxygen 獲取文檔。

  • bugzilla pt-br 免費

    巴西葡萄牙文範本為Bugzilla。Bugzilla 是一個錯誤跟蹤系統Mozilla.org。此專案包含巴西葡萄牙文翻譯所需的檔。