「SharedVariableChecker2」
Shared Variable Automatic Analysis Tool "SharedVariableChecker2"
Don't miss the competition! Visualize variable access.
We perform static analysis of C source code, generate and visualize race conditions of external variables in charts, contributing to the efficiency and quality of reviews. - Supports function pointers/pointer variables - Addresses variable interference between multi-core cores - Analyzes mutual exclusion control by specifying interrupt disable/enable functions - Automatically generates review sheets for shared variables
Inquire About This Product
basic information
"SharedVariableChecker2" is a tool used in conjunction with the program analysis/specification creation tool CasePlayer2, which performs static analysis of C source code and visualizes access to the same global variables from tasks and functions. It charts variable contention states and relationships, contributing to the identification of areas with potential defects.
Price information
Please contact our company.
Delivery Time
※Please contact our company.
Applications/Examples of results
■From the analysis information obtained in conjunction with our program static analysis/specification creation tool "CasePlayer2," we generate tree diagrams and reports of variable race conditions. ■The integrated variable browser visualizes the access states of variables in an easy-to-understand manner. - Variable access analysis - Function access analysis - Detection of read-only and write-only variables - Analysis and display of interrupt-disabled states - Display of access states via pointers - Reporting access states of functions and variables to CSV files and PDF files
News about this product（1）
Company information
Gaio Technology started in 1980 with the in-house development of cross-compilers for embedded development and has since provided testing tools for embedded software based on microcontroller code analysis technology and simulation technology. Furthermore, the company has expanded its engineering services business and is currently engaged in model-based development support, test process construction support, and tool implementation and operation support for major automobile manufacturers and large automotive parts suppliers. The unit testing tools for embedded software, "Coverage Master winAMS" and "CasePlayer2," are representative tool products of Gaio, with many users. They have a mechanism that allows testing to be conducted in the state of implementation in the product without modifying the software (microcontroller code) installed in embedded products, receiving significant support from the automotive control software field, which demands high software quality to ensure safety. The tools have obtained certification for automotive functional safety (ISO 26262) and have now become the de facto standard for automotive software unit testing tools.
![[dbSheetClient Case Study] Erector Co., Ltd.](https://image.mono.ipros.com/public/product/image/276540/IPROS15690994317576847060.png?w=280&h=280)
![[dbSheetClient Implementation Case] Konoike Construction Co., Ltd.](https://image.mono.ipros.com/public/product/image/276540/IPROS18028169561103150890.png?w=280&h=280)
![[dbSheetClient Case Study] Gekkeikan Sake Co., Ltd. in the United States](https://image.mono.ipros.com/public/product/image/276540/IPROS7445239947532108901.png?w=280&h=280)
![[dbSheetClient Case Study] Kuroda Manufacturing Co., Ltd.](https://image.mono.ipros.com/public/product/image/276540/IPROS16888420958845186062.png?w=280&h=280)
![[dbSheetClient Implementation Case] Arakawa Ward Social Welfare Council](https://image.mono.ipros.com/public/product/image/276540/IPROS11175188996025946822.png?w=280&h=280)