Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. smatch source matcher
  5. Download

smatch source matcher 08

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

Về smatch source matcher

Một thử nghiệm trong việc tìm kiếm lỗi hạt nhân. Có hai phần chính để Smatch. Đầu tiên là một bản vá cho các nguồn gcc để in ra rất nhiều thông tin. Phần thứ hai là một tập hợp các kịch bản perl và thư viện để phân tích thông tin.

Các chương trình liên quan

  • IMDB_Scraper Miễn phí

    Lớp C# này nhằm tìm nạp thông tin khác nhau về bất kỳ bộ phim nào được liệt kê trên IMDB.com dựa trên ID của nó (phần cuối cùng của URL).Thông tin được truy xuất có thể được sử dụng bởi bất kỳ Ứng dụng dựa trên C hoặc Trang

  • xHuggle Miễn phí

    Dự án này được tạo ra để cổng các thư viện công cụ clipper từ Tiến sĩ Huggle & Đối tác từ 16Bit DOS / Win3.x hiện đại Clipper Compilers cho Win32 và Linux (ví dụ: xHarbour, Flagship, C3 và XBase++).

  • AGControl - AGSatellite Script Monitor Miễn phí

    AGControl là một kịch bản Bash đơn giản nhưng hữu ích để theo dõi kích thước tải AGSatellite không đầy đủ của bạn, nó có otions như: - chơi các tập tin mp3 không đầy đủ; - tung ra AGSatellite và / hoặc một trình duyệt được xá

  • Relational XQuery Miễn phí

    Abacus Technologies Relational XQuery là một bộ xử lý XQuery tương thích XQJ cung cấp khả năng thực thi XQuery chống lại cả hai nguồn dữ liệu quan hệ và XML. Dữ liệu quan hệ có thể được chuyển đổi thành bất kỳ lược đồ XML nào

  • AIMLpad Miễn phí

    AIMLpad là một chương trình chatbot AIML với các tính năng bổ sung cho nhà phát triển bot. Bao gồm một ngôn ngữ kịch bản (bên cạnh AIML) và bao gồm các tính năng để sử dụng các hệ thống lý luận OpenCyc và ConceptNet. Có một

  • GXMame, GTK XMame Frontend Miễn phí

    GXMame là một lối vào cho XMame bằng cách sử dụng thư viện GTK, mục tiêu là cung cấp cùng một GUI so với mame32

  • e-Liquid Calculator Miễn phí

    Giúp bạn trong việc trộn tự làm eLiquid công thức của riêng bạn (aka e-Juice), bằng cách tính toán cho bạn số lượng cần thiết, cho cơ sở của bạn và công thức của bạn. Chỉ người dùng thuốc lá điện tử mới được thưởng thức ứng d

  • Code Checker Miễn phí

    Tất cả trong một trình biên dịch Ứng dụng kiểm tra mã nguồn Tính năng: - Hỗ trợ 45 ngôn ngữ mã hóa - Vị trí kết quả có thể tùy chỉnh (cơ sở dữ liệu hoặc tệp) - Mã nguồn có thể được lấy từ cơ sở dữ liệu - Đầu ra và Đầu vào có

  • Qt Signal Adapters Miễn phí

    Thư viện chỉ có tiêu đề giúp dễ dàng kết nối tín hiệu Qt với Tăng cường các đối tượng chức năng. Được phát triển chống lại Boost 1.39. Chạy doxygen để có được các tài liệu hướng dẫn.

  • bugzilla pt-br Miễn phí

    Brazil Bồ Đào Nha mẫu cho Bugzilla. Bugzilla là một hệ thống bugtracking bởi Mozilla.org. Dự án này chứa các tập tin cần thiết cho bản dịch tiếng Bồ Đào Nha Brazil.