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
The best System available to investigate all Information of PCB
專為所有PCB提供最佳的系統測試軟體
PCB-Investigator是個用來查看和編輯PCB數據的軟體,並有助於整個研發過程,從一開始,您能夠利用不同的方式去追蹤您所做得改變,透過PCB-Investigator您也能夠輕易的向客戶傳遞訊息或更改需求。
我們為您提供了簡易的方式去測試CAD/CAM軟件,操作簡單,且能廣泛的被運用,例如PCB的製造、生產和組裝。可下載30天免費體驗完整的PCB-Investigator
PCB-Investigator支援ODB++, GenCAD, IPC-2581 並且能夠讀取Gerber 274x, Excellon, Sieb & Meyer, DXF, 圖像和更多格式。
將Visual Studio塑造成強大的PHP編譯器
影片介紹 & 介面展示
眾人熟悉的IDE
Microsoft Visual Studio IDE
支援版本管理(TFS, Git, SVN, ...)
與其它插件能順利整合
自動更新&安裝容易
高效能的使用環境
智慧型PHP編輯器
完整支援PHP 5.6
PHP IntelliSense,自動完成功能
函數參數輔助工具
直接前往definition(F12)
顯示嵌入documentation
視覺化Debugging
Breakpoints in PHP and JavaScript
Inspect variables, watches
Immediate Window
Multiple session debugging
整合完善的PHP指南
PHP functions&constants&classes
Integrated documentation
Search available symbols while typing
PHPDoc support
原始碼瀏覽便利
Browse declarations within your solution
Quickly search through available symbols
Navigate directly to symbol definitions
Navigate To, Class View, Object Browser, ...
支援HTML/JS/CSS
Visual Studio HTML Editor
Syntax Highlighting, Schema validation
Formatting, Outlining, Commenting
Full IntelliSense
Web Essentials Support
PL/SQL Developer 是一種集成的Oracle資料庫開發環境,專門用於開發、測試、調試和優化Oracle PL/SQL存儲程式單元,比如觸發器等。軟體主要特點是具有上下文幫助,資料庫內容描述。軟體包括︰完整的調試器,代碼助手,模板庫,宏庫,命令視窗。PL/SQL Developer功能十分全面,大大縮短了程式師的開發週期。強大的PL/SQL編輯器,完善的Debugger調試器。
新版介紹
Enhancements
Performance and stability improvements
SELECT FOR UPDATE statements in the SQL Window could be rolled back if there were additional spaces or comments between FOR and UPDATE
Oracle23c Boolean field datatypes were displayed as boolean(1)
Oracle23c Boolean field data was displayed as T/F on an Oracle23c Client, instead of 1/0 on older clients
Oracle23c Boolean column data could not be exported with the “Export Tables” tool
Objects with Oracle23c Boolean attributes could not be accessed
Export User Objects now takes UTF8/ANSI encoding preference into account
Save text from large data editor now takes UTF8/ANSI encoding preference into account
Test Window would interpret bind variables within double quotes
Drag & Drop did not work correctly in the Connection List: only windows can now be moved to another connection
When using an external difference viewer, Unicode characters would be converted to question marks
Session Window detail queries did not support WITH FUNCTION statements
Drag & Drop of a shortcut will now open the shortcut target file
Performing a Find with an error in a regular expression could cause a long delay
Wrapped text in result grid cells could be visually truncated
Clicking on the “To-Do List” button in the Project Window will now directly take you to the To-Do Items
Command Window would not spool line comments
A comma in a password would not work correctly when the PL/SQL Developer desktop was reloaded
Some Test Manager Edit menu items would incorrectly be enabled
Export to Clipboard would not always work correctly for Unicode
Opening a database source with compilation errors would not allow you to navigate to an error
用 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...
PostgreSQL Maestro 資料庫開發及管理的首選軟體
PostgreSQL Maestro 是一款功能強大的GUI圖形化介面資料庫開發及管理工具,支持所有最新的PostgreSQL server及7.3版,功能包括表空間、元引用、資料數據的導入/導出、創建、編輯、預覽等,並且可以執行和查詢SQL腳本,管理用戶和特權。
PostgreSQL Maestro is the premier PostgreSQL GUI admin tool for database management, control and development. Key features include:
Support for all versions of PostgreSQL versions starting from 7.3 including roles, tablespaces, partitions, extensions, and so on;
User-friendly interface with navigation style, well-described wizard system, quick launch panel for performing the commonest operations;
Easy PostgreSQL database objects management;
Visual Database Designer with reverse engineering and a lot of other features;
PL/pgSQL Debugger to investigate and fix your PL/pgSQL code in the shortest way;
Comfortable access to the PostgreSQL security features;
Powerful tools for working with SQL queries including Visual Query Builder;
Flexible customization of the application.
The application also provides you with a powerful set of tools to edit and execute SQL scripts, build visual diagrams for numeric data, compose OLAP cubes, and much more.