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

PC-lint 1.3 for C/C++

PC-lint 1.3 for C/C++

  • PC-lint 1.3 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
 

ComponentOne Studio 20192.1軟體開發應用元件

可擴展,性能控制, 提供流線型,更快速的應用程序,並避免與我們的小組件膨脹。 無縫Visual Studio集成 為Visual Studio的生態系統設計,我們的控件可讓您舒適,高效地工作。

特價0

ComponentOne Studio 20192.1軟體開發應用元件
ComponentOne Studio 20192.1軟體開發應用元件

Nevron 2019.1 圖表製作元件套件軟體

套件中的兩個圖表和圖表控件已經被擴展到支持硬件加速渲染。另外兩個控件功能的其他性能改進。這使得它們非常適合高速數據採集軟件,示波器,信號分析儀,科學的製圖,地理信息系統,醫療,大數據BI和其他實時數據可視化應用程序。

特價0

Nevron 2019.1 圖表製作元件套件軟體
Nevron 2019.1 圖表製作元件套件軟體

Handsontable 7.2 電子表格開發軟體

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

特價0

Handsontable 7.2 電子表格開發軟體
Handsontable 7.2 電子表格開發軟體

公司資訊

立即聯繫

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

2018© Copyright All Rights Reserved

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