PC-lint Plus 是 GIMPEL SOFTWARE 公司開發的 C/C++軟體程式碼靜態分析工具
PC-lint Plus是一種靜態分析工具,通過分析C和C ++源代碼來發現軟體中的缺陷。
與編譯器一樣,PC-lint Plus會解析您的源代碼文件,執行語義分析,並構建一個抽象語法樹來表示您的程式。從那裡開始,PC-lint Plus採用各種機制,包括數據流分析,價值跟踪,讀寫分析,強類型檢查,功能語義驗證和許多其他技術,以提供對單個文件和整個項目的可靠和整體分析。
然後,PC-lint Plus使用易於理解的清晰,簡潔和可操作的診斷報告其發現。診斷消息格式是完全可定制的,包括快速解決缺陷所需的精確位置信息和上下文。PC-lint Plus可以從命令行運行,集成到構建過程或持續集成系統中,也可以在IDE中運行。
Comply with Safety Standards
Enforce compliance with industry coding standards including MISRA, AUTOSAR, and CERT C, customize detection of individual guidelines, and easily support guideline deviations.
Identify Defects and Vulnerabilities
Detect critical bugs and vulnerabilities such as buffer overflows, null pointer dereferences, inappropriate interface use, and undefined behavior by providing constructive diagnostics.
Find Potential Bugs
Identify code that is brittle, difficult to maintain, invokes implementation-defined behavior, or is otherwise suspicious, in order to reduce the potential for defects to develop in the first place.
Improve Developer Productivity
Avoid wasted time spent tracking down bugs and identify issues proactively during the development process.
Widely Compatible
Runs natively on Windows, Linux, and macOS. Analyze source code targeting virtually any platform. Supports a wide variety of compilers, C11/C18 and C++17, and integration with your IDE, build process, or CI system.
Scalable
Fully multi-threaded operation allows analysis of large projects to efficiently scale across multiple cores to take full advantage of the available hardware.
Secure, On-site Analysis
Analysis is performed on developer workstations or build/CI servers without using an internet connection to provide a truly secure, private, and local solution.
Certified for ISO 26262 and IEC 61508
PC-lint Plus has been certified by exida® for ISO 26262:2018 (ASIL D qualified) and IEC 61508:2010 (SIL 4 qualified).
更新介紹
Highlights of Version PC-lint Plus 2.0
PC-lint Plus provides the following functions:
> Support for New Custom Metrics
> Support for New Custom Query Systems
> Expanded AUTOSAR Support
> Support for Visual Studio 2022
> Added C++20 Support
用 plusFORT 進行 Fortran分析和重構
來自Polyhedron Solutions的 plusFORT 是用於分析和改進Fortran程式的多功能工具套件。它在一個強大的程式包中將重組和重新格式化與全局靜態分析,動態分析和許多其他功能結合在一起。plusFORT是使用Fortran源代碼的程式設計師,專案經理和軟體測試工程師的一站式解決方案。
plusFORT包括:
SPAG – Re-engineering Fortran source code
Quality Assurance using plusFORT
GXCHK – Global Static Analysis
Dynamic Analysis
Coverage Analysis
AUTOMAKE – automated make for Fortran and C
QMERGE – Version Selection
HyperKWIC – Hyperlinked KeyWord In Context
更新介紹
Version 8 Changes
SPAG uses structure templates to unscramble spaghetti code. In earlier versions, there were three major templates:
Block IF statements
DO loops with EXIT and CYCLE
Single statement code replication
Version 8 adds two new templates which allow it to remove all GOTOs in even the most convoluted code. These are:
Dispatch loops. SPAG identifies separately addressable code blocks (block 1, block 2 etc.), and relocates them into a SELECT CASE construct for execution in the correct sequence, under control of a dispatch loop.
Internal Subroutines. SPAG identifies separately addressable code blocks, and relocates them into internal subroutines. Blocks are invoked in the correct order using CALL statements, and the calls may be recursive.
These two new templates provide alternative ways to express the same control flow. SPAG allows you to select either one, but the default is to use internal subroutines in simpler cases, where there is no recursion, and dispatch loops otherwise. In practice, internal subroutines are a natural way to express many simple cases, for example where a code fragment is used to tidy up before exiting a subprogram. Conversely, dispatch loops keep a strict cap on the complexity of more complex codes.
Examples may be found in section 2.7.1 of the plusFORT manual.
Version 8 benefits from a major internal upgrade which removes a long-standing limitation to SPAG’s symbolic analysis, allowing it to “look ahead”, and reliably identify the characteristics of subprograms with and without explicit interfaces. This change has knock-on effects throughout SPAG and GXCHK, for example in improved reporting and error detection. It also enables new functionality both in this release and in the future.
SPAG’s prescan, which allows it re-order input files so that MODULES are processed before code that uses them without the use of makefiles or external props, has been extended and improved.
SPAG now uses the standard ISO_FORTRAN_ENV module to allow it to translate legacy non-standard types, such as INTEGER*1 and REAL*8, to standard Fortran. This supersedes and improves upon the previous treatment using the proprietary F77KINDS module.
By default, SPAG now inserts a PROGRAM statement at the beginnin...
ReSharper 是 Visual Studio .NET 的插件,主要提升 VS.net 程式碼編輯能力和即時錯誤顯示功能,並支援重構,包括對 C#、VB.net、XML、XAML 和 ASP.net,為開發人員 提供許多能夠有效提高生產力的功能,並包括這些語言的交叉關聯引用。
ReSharper 讓 Visual Studio 開發人員更加便捷,包括程式碼分析、單元測試方案、Goto Symbol 支援、To-do 探測器代碼智慧幫助,高亮度顯示即時糾錯以及重新參數化等功能。超過 30 種特性,ReSharper 可以說是輔助 Visual Studio 開發的一把瑞士軍刀,將 IntelliJ IDEA 在程式碼編輯方面的智慧特性全面帶入到 Visual Studio 中,積極提升.net 開發人員的工作效率。分為:
►ReSharper: Visual Studio extensions for .NET and C++ developers.
ReSharper
The Visual Studio extension for .NET developers
ReSharper C++
The Visual Studio extension for C++ developers
►dotUltimate: All .NET tools, ReSharper C++ and JetBrains Rider, together in one pack.
ReSharper
The Visual Studio extension for .NET developers
Rider
A fast cross-platform .NET IDE
ReSharper C++
The Visual Studio extension for C++ developers
dotTrace
.NET performance profiler
dotMemory
.NET memory profiler
dotCover
.NET unit test runner and code coverage tool
dotPeek
.NET decompiler and assembly browser
Understand 是維護,測量,分析批判或大型代碼庫的一種靜態的分析工具,可以從指標和圖表做相關性分析,在 Understand 掌握管理你的原始程式碼。
Metrics
Measure your software
Standards Testing
Verify your coding standards are being met with Code
Editor
Powerful programming features
Dependencies
See the big picture
Languages
C, C++, C#, Ada, Java, Pascal, Cobol, JOVIAL, VHDL, FORTRAN, PL/M,
PHP, HTML, CSS, JavaScript, XML
Searching
Instant & accurate
Graphs
Over 20 different graphs
Code Knowledge
Be the guru
Reports
Canned and Custom
Silverfrost Fortran FTN95 是一款專業的Fortran編譯器,提供代碼編輯、編譯和應用程式創建等多種功能,與VisualStudio無縫集成,為您進行應用程序創建帶來很大的便利。
使用 Silverfrost FTN95: Fortran for Windows,您可以創建基於控制台的傳統 Windows® 和 Microsoft .NET 應用程式。Silverfrost FTN95 是唯一可以生成可以使用完整 Fortran 95 語言的 Microsoft .NET 應用程式的編譯器。Silverfrost FTN95 還擁有世界領先的CHECKMATE 運行時檢查技術,可以快速發現錯誤!
Features Include:
Full ANSI Fortran 95 compiler
Full ANSI Fortran 77 compiler (Fortran 77 is part of the Fortran 95 standard)
32- and 64-bit compilers
Plato IDE
Build Windows GUI applications in Fortran using ClearWin+
Visual Studio integration*
CHECKMATE technology
Microsoft .NET Support
Fast Compilation
建立在CodeCollaborator的基礎上,Collaborator 是一個全功能的代碼審查產品,也是唯一的提供其他項目交付成果得代碼審查工具,如使用者歷程、測試計劃和用戶文件的審查(根據代碼審查)。
Collaborator 讓開發團隊進行輕鬆且高效的代碼審查,關鍵是用戶體驗,讓團隊的其他成員輕鬆和協作,提供反饋,並讓作者能追蹤與對每個評論採取行動。
有了Collaborator ,同樣的用戶體驗擴展到其他項目團隊成員上,透過文件和其他人工因素審查。產品擁有者創建了使用者故事歷程、測試者創建了測試計畫,技術人員則創建了用戶文件,還有其他團隊成員提供有關這些成果的詳細反饋。
The authors of these deliverables benefit from:
Receiving feedback on their work without reviewers altering their work
Keeping track of all the feedback and the disposition of each comment
Learning from each other by seeing comments from others –and commenting on the work of other team members
Interacting in real-time, if they happen to be reviewing the work at the same time
Collaborator creates an ideal environment for both code review and peer review of documents and artifacts.
更新介紹
New Features:
Chat was added to Projects page (COLLAB-10327, COLLAB-10335). Now project’s participants can exchange by messages with each other in the chat on Project page.
Create a review from Perforce by a command in a changelist’s description (COLLAB-10328, COLLAB-8401). Now a user can create a review in Collaborator and add the mentioned users to the review as the reviewers directly form the Perforce environment, using changelist description in a specified format (trigger "create-review-with-reviewer" should be set to support this behavior).
Zoom in Diff Viewer for Excel files (COLLAB-10184). Zoom was added for Excel documents review.
Clone Checklist (COLLAB-9739) Now an admin can create a new checklist by cloning of an existent one.
Review Timeline added to Review Reports (COLLAB-2525). Review timeline can be generated and exported to an external file directly from Web UI, as one of Review Detail Reports.
Software Verify
由於代碼庫太大,您需要盡快隔離和修復錯誤。您已經嘗試了其他測試套件,但是它們沒有提供您想要的深度,並且需要幾天的時間才能運行。可幫助數百名軟體開發人員更快地找到,修復和預防錯誤。此工具可幫助您修復C,C ++,Delphi,Fortran,Visual Basic,C#和VB.Net中的錯誤。如果您為Windows開發並使用Visual Studio,C ++ Builder,Delphi,QtCreator,MingW,我們將提供幫助您的工具。
專注於代碼覆蓋,內存洩漏檢測,性能分析,線程死鎖檢測和流量追蹤的核心活動。軟體已經解決了一些最大的問題:其中滿意的客戶包括Adobe,Cisco,Intel,UBS和HP等。
為Windows 10,Windows 8,Windows 7,Windows Vista,Windows 2003和Windows XP平台上的記憶體洩漏檢測,代碼覆蓋,性能分析,線程鎖爭用分析 (thread lock contention analysis)和線程死鎖檢測 (thread deadlock detection),流量追蹤 和應用程式回放 提供軟體工程工具。(支持Windows 2000和Windows NT,但可以根據要求提供特殊的版本。)還支持Windows Embedded。
為傳統的桌面應用程式,伺服器和應用程式伺服器提供軟體工具。軟體工具支持C,C ++,C#,Visual Basic 6,VB.Net,Delphi和Fortran 95。
無論您使用的是Microsoft Visual Studio,Embarcadero的C ++ Builder還是Delphi,Qt Creator,Intel Performance Compiler或MinGW之類的開源編譯器,我們都有與您的編譯器和鏈接編輯程式配合使用的工具。
C++,Delphi,Visual Basic (32 bit and 64 bit)
C++ Coverage Validator 32
C++ Coverage Validator 64 / 32
C++ Performance Validator 32
C++ Performance Validator 64 / 32
C++ Developer Suite 32
C++ Developer Suite 64 / 32
C++ Support Suite 32
C++ Support Suite 64 / 32
C++ Memory Validator 32
C++ Memory Validator 64 / 32
C++ Thread Validator 32
C++ Thread Validator 64 / 32
C++ QA Suite 32
C++ QA Suite 64 / 32
.Net, C#, VB.Net, ASP.Net (all tools support 32 bit and 64 bit .Net)
.Net Coverage Validator
.Net Performance Validator
.Net Memory Validator
.Net Developer Suite
TestingWhiz Solutions
TestingWhiz™是以FAST® automation engine為基礎,一個簡單、直觀、可負擔的解決方案。它採用易使用且智能化的記錄技術,如 關鍵字驅動(keyword-driven)測試、數據驅動測試、Excel輸入、目標記錄和Java scripting,提供功能性強的測試自動化解決方案,如 自動化回歸測試(automated regression testing)、跨瀏覽器測試(cross browser testing)、圖像對照及語言翻譯。
Cross Browser Testing
TestingWhiz可在多個瀏覽器上自動執行網頁應用程式的測試。記錄測試情況只需一次並在任何瀏覽器上重複播放。TestingWhiz為您解省手動測試新版瀏覽器的時間。支援瀏覽器:Internet Explorer、Mozilla Firefox、Google Chrome、Safari、Opera.
Regression Testing
網頁應用程式上的回歸測試自動化(regression test automation)比你想像中簡單。Using TestingWhiz, you can create your regression test suite by simply recording the test steps. TestingWhiz's codeless test editor makes it very easy to modify those test scripts whenever your application undergoes a new release cycle making maintenance a stress free activity.
Image Comparison
圖像對照附加於TestingWhiz,可幫助您比較兩個圖像,並記錄像素水準差異。這種逐一像素比較可用於兩個URL、兩個圖像文件或是一個圖像與一個URL。TestingWhiz自動將整個網頁轉換為圖像來進行比較。此功能將於4.0版本推出。
Language Translation
TestingWhiz是多功能的工具,可使用Google Translate工具的語言快速翻譯。這對於需要將應用程式翻譯成多種語言的使用者有很大的功用。TestingWhiz是可以使用谷歌翻譯工具用於快速一字一句語言翻譯一個多功能的工具。
The above video shows the following features of TestingWhiz:
TestingWhiz UI Introduction
TestingWhiz - Test Editor
Automated Script
Cross Browser Testing
Introduction to Visual Reports
Code-Less Test Editor
Cross Browser Testing
Formidable
Integrations
Language
Shorter Learning Curve