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
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.
系統需求
Windows 7/8/10，Linux和macOS上
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連接，絕不會通過任何渠道從您的系統收集或提交數據，代碼，統計信息，分析數據或任何其他信息。
Navicat 16 資料庫管理工具
Navicat Premium是一個數據庫開發工具，可讓您從單個應用程序同時連接到MySQL，MariaDB，MongoDB，SQL Server，Oracle，PostgreSQL和SQLite數據庫。與Amazon RDS，Amazon Aurora，Amazon Redshift，Microsoft Azure，Oracle Cloud，Google Cloud和MongoDB Atlas等雲數據庫兼容。您可以快速，輕鬆地構建，管理和維護數據庫。
ModelMaker 程式開發輔助軟體
Model Maker是功能強大，直觀且集成的數字地形建模程序，並且是Model Maker Systems的軟件套件中最先進的程序。這就是為什麼“模型製作器”是全球成千上萬的選擇的原因。
Delphi 10.4.2 應用程式開發工具
最快速地開發可連結 Windows、Mac、iOS、Android 各式設備和穿戴式裝置的 apps Embarcadero Delphi 是一個能快速開發高連結性並適用於Windows、MAC、iOS、Android、設備與穿戴裝置應用程式的開發工具。現代化既有的Windows應用程式、行動和桌面應用程式來連結具有網路或藍牙功能的各型設備和感知裝置。