資安軟體-值得您信賴的資安專家,擁有多年資安服務。

PC-lint for C/C++

PC-lint for C/C++

  • PC-lint for C/C++
  • 編號
  • 類別
    程式開發軟體
  • 介紹
    Static Variable Tracking -- We now incorporate variables of static storage duration in our value tracking. These include not only variables that are nominally static, as local to a function and local to a module, but also external variables.
  • 價格

PC-lint for C/C++

Static Variable Tracking -- We now incorporate variables of static storage duration in our value tracking. These include not only variables that are nominally static, as local to a function and local to a module, but also external variables.
 
Thread Analysis -- We examine multi-threaded programs for correct mutex locking and report on variables shared by multiple threads that are used outside of critical sections.
 
Pre-compiled Headers can dramatically reduce the time spent in processing multiple modules.
 
Dimensional Analysis -- We now support, through the strong type mechanism, the classical dimensional analysis that engineers and physicists have traditionally employed in verifying equations. A ype can now be a ratio or product of other types and the compound types are checked for consistency across assignment boundaries.
 
Stack Usage -- We can report on the overall stack requirements of any program whose function calls are non-recursive and deterministic (i.e. calls not made through function pointers). This is very useful for embedded systems development where the amount of stack required can be mission critical. A complete detailed report of stack usage for each function is available as well.
 
The deprecate option allows the programmer to deprecate particular symbols in any of the following categories: function, keyword, macro and variable.
 
Message Enhancement and Control
 You may now enhance any message parameterized by Symbol so that the symbol type is also given.
 You may suppress any message parameterized by Symbol on the basis of the type of the symbol.
 You can suppress messages parameterized by String on the basis of that string.
 You may activate a message for a particular Symbol (or set of symbols) that is otherwise inhibited.
 You may suppress a message while calling a particular function, while calling library functions and while invoking library macros.
 
Enhanced MISRA checking includes the detection of recursion, support for the MISRA 2 nderlying type concept, determination of side effects for functions and MISRA C++ support.
 
Source-echo mode enables you to specify that lint messages appear embedded within the context of the original source code.
 
html support provides that output can appear in the html format, suitable for a browser and handsomely color coded.
 
Program Info -- A comprehensive collection of information about your program is optionally provided yielding information on files, types, symbols and macros for simple viewing or in a manner absorbable by a database or spreadsheet. This information can be used for many purposes, including naming-style conventions.
 
Macro Scavenging -- This feature turns PC-lint/FlexeLint into a seeker of built-in macros supported by a compiler and lying about within compiler header files. This is perfect for the unknown compiler with long and forgotten macros ready to trip up a third party processor such as PC-lint/FlexeLint.
 
New semantics have been added to the -sem option:
 
 Initializer indicates the member function can be relied upon to initialize all the members.
 Cleanup indicates that the function is expected to free or zero all pointer members.
 inout(i) indicates that the ith parameter will read as well as write to its (indirect) argument.
 pod(i) indicates that the ith argument requires a pointer to a POD ( Plain Old Datatype).
 Pure can be used to indicate that the function is a pure function.
 A number of new semantic flags support multi-threading analysis: thread, thread_lock, thread_unlock, and thread_protected and many others.
 
New Messages -- Version 9.0 has some 146 new messages. Some of the more prominent of these are as follows:
 
 Read-Write Analysis -- Ever wonder whether each assigned value to a (local) variable actually has a chance of being used before another value is assigned to the variable or before exiting the program? We now detect this condition
 for clause Scrutiny -- for clauses are now subject to intense scrutiny. We complain if the variable tested in the 2nd expression is not the same as the variable modified in the third or the variable initialized in the first. We warn if the testing direction (2nd expression) seems inconsistent with the increment direction (3rd expression), or if the expression tested is inconsistent with the expression incremented, or if the loop index variable is modified in the body of the loop.
 Pre-determined Predicates -- We can detect in a variety of circumstances that the value of a predicate is pre-determined to be true or false.
 Constants come under careful examination. Within string or character constants we look for the psuedo-hex character
 

WebStorm 程式開發軟體

使用現代JavaScript生態系統的全部力量 - WebStorm讓您覆蓋!享受智能代碼完成,即時錯誤檢測,強大的導航和重構JavaScript,TypeScript,樣式表語言和最流行的框架。

特價0

WebStorm  程式開發軟體
WebStorm  程式開發軟體

FarPoint List Pro 表單控制元件軟體

List Pro提供了大量的屬性功能,您可以單列或者多列顯示資料、對列表項進行查尋和排序、合併單元格及其他功能。List Pro還具有多種增強特點,包括:工具提示、OLE拖曳、Microsoft 光電游標支持、提供數據綁定模式或自由模式。List Pro打破了64k的限制,透過自訂其InsertRow屬性,它可以支持顯示多達20億個列表項。

特價0

FarPoint List Pro 表單控制元件軟體
FarPoint List Pro 表單控制元件軟體

Source Insight 程式碼編輯工具

Source Insight是一個革命性的項目導向的程序代碼編輯器和代碼瀏覽器,具有內置的對C / C + +,C#和Java程序,以及其他語言。 源可以分析你的源代碼,並在你工作的同時動態維護它自己的符號數據庫,並自動顯示有用的上下文信息給你。 不僅是源洞察一個偉大的程序編輯器,但它也可以顯示參考的樹木,類的繼承圖和調用樹。 來源洞察功能的源代碼和任何程序編輯器的源信息的最快捷的導航。 讓source insight的鬆散您的項目,看看它使您的工作效率有什麼區別。

特價0

Source Insight 程式碼編輯工具
Source Insight 程式碼編輯工具

公司資訊

立即聯繫

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

2018© Copyright All Rights Reserved

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