Tel. +31­ 345 545535
 
Embedded
Products
 
Solutions
Coming soon...
 
Partners
Who we work with
 
News
What's going on
 
Media
Something to read
 
About
Who we are
 
Contact
Where we are
U bevind zich op de volgende pagina: Products > Software Quality Assurance & Test > Static Analysis English | French
 
 

Static Analysis

Static Analysis enables a project to ensure that a uniform set of programming standards are enforced, software is properly structured and complexity and other quality attributes are controlled within a configurable quality model. Static Analysis can also detect a significant number of software defects.

IAR C-STAT integrated Static code analysis
Static analysis finds potential issues in code by doing an analysis on the source code level. In addition to raising the code quality, the analysis also aids alignment with industry coding standards.

IAR Systems has integrated powerfull code verification capabilities in the Embedded WorkBench development environment so IAR customers have now easy access to both powerful Static and Run-T ...
 
Rule Checker
Fast automatic checks for adherence to coding standards
RuleChecker is a static program analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recom­mendations, and other coding guidelines.                       RuleChecker primarily targets safety-critical embedded applications, ...
 
Astrée Sound Static code Analyzer
Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C. It takes Static analysys one step further by doing a Formal Verification of the code by using the mathematical methodology of Abstract Interpretation. As a result the verification can guarantee there are no run- ...
 
   

 
 

INDES-IDS BV biedt oplossingen voor zowel embedded software-ontwikkeling als voor telecommunicatie-NEMS en -aanbieders. In deze markten bieden wij producten van ofwel de marktleider ofwel de innovatieleider. Ons doel is om u te assisteren om eerder de markt op te kunnen doordat wij u een combinatie van producten, kennis en diensten bieden.