PC-lint 1.4 for C/C++ -資安軟體/研究分析軟體/心理學軟體/新永資訊有限公司

PC-lint Plus 1.4程式開發軟體

PC-lint Plus 1.4程式開發軟體

  • PC-lint Plus 1.4程式開發軟體
  • 編號
  • 類別
    程式開發軟體
  • 介紹
    PC-lint Plus是Gimpel Software的最新產品,可為C和C ++提供無與倫比的分析功能。
  • 價格

 PC-lint Plus 1.4 program
development software

PC-lint Plus 1.4 released
Version 1.4 contains more than 100 improvements to PC-lint Plus. Changes including the addition of Thread Analysis and support for MISRA C 2012 AMD-2 are described in detail in the reference manual chapter “Revision History”.

Features
Comply with Safety Standards
PC-lint Plus can check for violations of internal code guidelines as well as analyzing compliance with industry standards such as MISRA®, AUTOSAR®, and CERT® C. Detailed information about which rules are supported, which messages are used to report violations, and the extent to which the rules are supported is available in our manual and configuration files.
Over a thousand customizable messages can be configured to support many different code guidelines; e.g. use of braces for control structures, assignment in conditional expressions, explicit clarification of operator precedence, and more. The exact set of desired messages can be specified in reusable configuration files to share between projects and teams.
PC-lint Plus provides industry-leading support for MISRA standards including MISRA C 2012, MISRA C 2004, and MISRA C++ 2008 as well as their addenda and corrigenda. We communicate extensively with the MISRA committee to implement even the smallest details and resolve ambiguities in the published text.
Support for AUTOSAR and CERT C is now available in version 1.3.
PC-lint Plus has been certified by exida® for ISO 26262:2018 (ASIL D qualified) and IEC 61508:2010 (SIL 4 qualified).

Identify Defects and Vulnerabilities
There are many different kinds of serious code flaws, and PC-lint Plus offers a diverse range of detection capabilities for improved software quality confidence. Detect pointer safety and memory lifetime issues like buffer overflows and use after free by using our Value Tracking data flow analysis engine and built-in Function Semantics for C and C++ standard libraries. Check stack usage and identify recursive functions and call chains. Find unreachable code indicating design inconsistencies.
Many famous software bugs could have been prevented through judicious static analysis. Identify defects during development instead of waiting for potentially catastrophic consequences in production.

Find Potential Bugs
With over thirty years of C and C++ static analysis experience, Gimpel Software is uniquely qualified to deliver a static analysis solution with a deep understanding of these languages, their architectural patterns, and developer mindset. PC-lint Plus can detect inconsistencies in code that developers are likely misinterpreting and can provide clear explanations of how to resolve mistakes.
Find suspicious code that does not achieve what it appears to, or that will fail in the future in the face of changing circumstances. Ensure code is resilient to environmental differences across platforms, compilers, and language standards. Refine your software architecture to clearly convey and correctly accomplish its objectives. PC-lint Plus has more than a thousand diagnostic messages in various categories of severity to detect a wide range of issues, from control flow, memory, and arithmetic, to program layout, dependencies, and class design.
​​​Improve Developer Productivity
Detect bugs that can waste countless hours of developer and end user time before they're found. Developers spend a significant portion of their time attempting to identify the source of reported bugs based on surface-level errors that impact the use of the software. PC-lint Plus goes straight to the root cause and identifies specific actionable issues associated with a particular piece of code so that they can be fixed before they cause runtime errors.
Widely Compatible
PC-lint Plus runs natively on Windows 7/8/10, Linux, and macOS and can analyze source code targeting virtually any platform. With support for a wide variety of compilers, C11/C18 and C++17, and the ability to integrate with your existing IDE, build process, or continuous integration system, PC-lint Plus can quickly be incorporated into any project.
Scalable
Levarage the parallel computation capabilities of modern hardware to quickly analyze large projects. PC-lint Plus scales efficiently to utilize multiple processing cores by using independent threads and minimal shared memory. Developers and testers can perform code analysis on individual workstations or query results from a build server automatically analyzing every code change.
Our message suppression system makes it easy to get started by focusing on the most relevant diagnostics. It is flexible enough to support the needs of large projects involving multiple teams, guidelines, and exemptions. Modular configuration files can be organized to provide a standard analysis environment.
Secure, On-site Analysis
PC-lint Plus runs locally on your developer workstations, build servers, or continuous integration servers. It does not use an internet connection and will never collect nor submit data, code, statistics, analytics, or any other information from your system over any channel.

 

系統需求

OS:
Windows 7/8/10,Linux和macOS上

 PC-lint Plus 1.4程式開發軟體

PC-lint Plus 1.4發布
1.4版包含對PC-lint Plus的100多項改進。參考手冊章節“修訂歷史記錄”中詳細介紹了包括添加線程分析和對MISRA C 2012 AMD-2的支持在內的更改。

特徵
符合安全標準
PC-皮棉Plus能夠檢查違反內部指引代碼以及分析符合行業標準,如 MISRA ®,AUTOSAR ®和CERT ® ç。我們的手冊和配置文件中提供了有關支持哪些規則,哪些消息用於報告違規以及支持這些規則的程度的詳細信息。
可以配置一千多種可定制的消息,以支持許多不同的代碼準則。例如,將大括號用於控制結構,在條件表達式中進行賦值,明確說明運算符的優先級等。可以在可重用的配置文件中指定所需消息的確切集合,以在項目和團隊之間共享。
PC-lint Plus為MISRA標準提供了業界領先的支持,包括MISRA C 2012,MISRA C 2004和MISRA C ++ 2008以及其附錄和勘誤。我們與MISRA委員會進行了廣泛的溝通,以實現最小的細節並解決已發布文本中的歧義。
1.3版中現已提供 對AUTOSAR和CERT C的支持。
PC-皮棉加上已認證通過EXIDA ® 2018(ASIL d合格)和IEC 61508:2010(SIL 4限定)的ISO 26262。

識別缺陷和漏洞
嚴重的代碼缺陷有許多種,PC-lint Plus提供了多種檢測功能,以提高軟件質量的可信度。通過使用我們的值跟踪數據流分析引擎和針對C和C ++標準庫的內置函數語義,可以檢測指針安全性和內存壽命問題(例如緩衝區溢出),並在釋放後使用。檢查堆棧使用情況,並確定遞歸函數和調用鏈。查找表明設計不一致的無法訪問的代碼。
通過明智的靜態分析,可以避免 許多著名的軟件錯誤。在開發過程中識別缺陷,而不是等待生產中潛在的災難性後果。

查找潛在的錯誤
憑藉30多年的C和C ++靜態分析經驗,Gimpel軟件具有獨特的資格,可以提供對這些語言,它們的體系結構模式和開發人員的深刻理解的靜態分析解決方案。PC-lint Plus可以檢測開發人員可能會誤解的代碼不一致之處,並可以提供有關如何解決錯誤的清晰說明。
查找未實現其外觀的可疑代碼,或者在情況不斷變化的情況下將來會失敗的可疑代碼。確保代碼可抵抗平台,編譯器和語言標準之間的環境差異。優化您的軟件體系結構,以清楚地傳達並正確實現其目標。PC-lint Plus具有上千種不同嚴重程度的診斷消息,可以檢測各種問題,從控制流,內存和算術到程序佈局,依賴項和類設計。
​​​​​​​提高開發人員生產力
​​​​​​在發現錯誤之前,請務必浪費大量的開發人員和最終用戶時間。開發人員會花費大量時間來嘗試根據影響軟件使用的表面錯誤來確定已報告錯誤的來源。PC-lint Plus可以直接找出根本原因,並確定與特定代碼段相關的特定可操作問題,以便可以在導致運行時錯誤之前解決它們。
廣泛兼容
PC-lint Plus可以在Windows 7/8/10,Linux和macOS上本地運行,並且可以分析針對幾乎任何平台的源代碼。憑藉對C11 / C18和C ++ 17各種編譯器的支持,以及與現有IDE,構建過程或持續集成系統集成的能力,PC-lint Plus可以快速集成到任何項目中。
可擴充
充分利用現代硬件的並行計算功能,以快速分析大型項目。通過使用獨立線程和最少的共享內存,PC-lint Plus可以有效擴展以利用多個處理核心。開發人員和測試人員可以在單個工作站上執行代碼分析,也可以從構建服務器查詢結果,自動分析每個代碼更改。
我們的消息抑制系統使您可以專注於最相關的診斷程序,輕鬆上手。它足夠靈活,可以支持涉及多個團隊,準則和豁免的大型項目的需求。可以組織模塊化配置文件以提供標準的分析環境。
安全的現場分析
PC-lint Plus在開發人員工作站,構建服務器或連續集成服務器上本地運行。它不使用Internet連接,絕不會通過任何渠道從您的系統收集或提交數據,代碼,統計信息,分析數據或任何其他信息。PC-lint Plus在開發人員工作站,構建服務器或連續集成服務器上本地運行。它不使用Internet連接,絕不會通過任何渠道從您的系統收集或提交數據,代碼,統計信息,分析數據或任何其他信息。

 

HTBasic 10 程式語言軟體

HTBasic的窗口式編輯器,具有書籤、用戶自定義字體、彩色關鍵字和語法錯誤識別等功能,即使是最大的源代碼,程序員也能輕鬆瀏覽和編輯。切換關閉行號消除了低效的編程限制,同時又不影響編程的方便性。

特價0

HTBasic 10 程式語言軟體

NVIDIA HPC SDK™

容器是一種基於Linux名稱空間的輕量級虛擬化技術。與虛擬機不同,容器與主機共享內核和其他服務。結果,容器可以非常快速地啟動,並且性能開銷可以忽略不計,但是它們不能提供虛擬機的完全隔離。 容器將整個應用程序用戶空間環境捆綁到一個映像中。這樣,應用程序環境既可移植又一致,並且與底層主機系統軟件配置無關。容器映像可以廣泛部署,甚至可以與其他人共享,並確信結果將可重現。 容器使開發人員,用戶和系統管理員的工作變得更加輕鬆。開發人員可以在容器中分發軟件,以提供一致的運行時環境並減少支持開銷。來自諸如NGC之類的存儲庫的容器映像可以幫助用戶在任何系統上快速啟動,並避免從源代碼進行構建的複雜性。容器還可以幫助IT人員控制環境模塊的複雜性,並支持不再與主機操作系統兼容的舊式工作負載。 容器運行時很多。最重要的兩個是Docker和Singularity。 在Docker Containers部分中進一步描述的Docker幫助普及了Linux容器,並被廣泛使用。 “奇異性容器”一節中進一步介紹了奇異性,它解決了在HPC環境中使用容器的一些挑戰,並且在大多數HPC中心都可以使用。

特價0

NVIDIA HPC SDK™

Handsontable 8.3.2 電子表格開發軟體

為開發人員設計的 Handsontable是您可擴展的電子表格解決方案,用於創建出色應用程序 超越電網 Handsontable是您可擴展的電子表格解決方案,用於創建出色應用程序。這個開箱即用的解決方案帶有CLI工具,因此您可以使用任意數量的插件來構建您的創建。此外,Handsontable是一個空白的畫布,所以你可以創建自己的外觀和感覺。 開源 自從2012年GitHub首次推出以來,成千上萬的用戶為Handsontable開發做出了貢獻。它已從基礎工具轉變為許多行業的必要數據網格技術,包括金融,零售,技術和科學。 多個版本 Handsontable是用純JavaScript編寫的,也可以使用AngularJS指令和聚合物組件。我們正在努力增加更多的集成,前端框架和更好的後端技術支持。

特價0

Handsontable 8.3.2 電子表格開發軟體

公司資訊

立即聯繫

透過以下方式迅速的聯絡我們

2018© Copyright All Rights Reserved

蘋果網頁設計
資安軟體量身規劃資訊安全零死角,提供有效方案,以期協助企業運用新科技改善及提升其商業服務及價值,資安軟體達到運用新科技最佳化商業營運及價值的目標。秉持讓客戶可以安心、輕鬆、有效的享用現代科技有線網路。資安軟體秉持讓客戶可以安心、輕鬆、有效的享用現代科技有線網路