Static Code Analysis
-
Product
Static Code Analysis for Embedded Software
GrammaTech CodeSonar®
-
CodeSonar is GrammaTech´s flagship static analysis software. Able to analyze both source code and binary code, it is specifically designed for zero-tolerance defect environments. With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle. Compared with other tools, CodeSonar identifies twice as many defects that result in system crashes, leaks, data races, memory corruptions and security vulnerabilities.
-
Product
C and C++ Testing, Static Analysis, Code Review
C++test
-
Parasoft C++test is a complete C/C++ developer's quality suite for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing ? on the desktop under leading IDEs and in batch processes. Available for common enterprise and embedded environments.
-
Product
Smart Analysis for PHP
PHPSA
-
PHPSA is a development tool aimed at bringing complex analysis for PHP applications and libraries.*Static analysis*Code metrics*Branch prediction*Sandbox (AST) Compiler
-
Product
Java Testing, Static Analysis, Code Review
Jtest
-
Parasoft Jtest is a complete Java developer's quality suite for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing ? on the desktop under leading IDEs and in batch processes.
-
Product
Static Code Analyzer
PVS-Studio
-
PVS-Studio is a tool used to detect bugs in the source code of programs written in C, C++ and C#. PVS-Studio performs static code analysis and generates a report that helps a programmer find and fix bugs. PVS-Studio does a wide range of code checks; but it is especially useful to search for misprints and Copy-Paste errors. Examples of such errors: V501, V517, V522, V523, V3001.
-
Product
Static Code Analysis Tool
Klockwork
-
Klocwork integrates seamlessly into desktop IDEs, build systems, continuous integration tools, and any team's natural workflow. Mirroring how code is developed at any stage, Klocwork prevents defects and finds vulnerabilities on-the-fly, as code is being written.
-
Product
SAST Tool
klocwork
-
Klocwork static code analysis and SAST tool for C, C++, C#, Java, JavaScript, Python, and Kotlin identifies software security, quality, and reliability issues helping to enforce compliance with standards. Built for enterprise DevOps and DevSecOps, Klocwork scales to projects of any size, integrates with large complex environments, a wide range of developer tools, and provides control, collaboration, and reporting for the entire enterprise. This has made Klocwork the preferred static analyzer that keeps development velocity high while enforcing continuous compliance for security and quality.
-
Product
Static Analysis
SAST
-
Coverity® is a fast, accurate, and highly scalable static analysis (SAST) solution that helps development and security teams address security and quality defects early in the software development life cycle (SDLC), track and manage risks across the application portfolio, and ensure compliance with security and coding standards.
-
Product
Veracode Static Analysis
SAST
-
*Find Flaws Accurately, at ScaleScan over 100 languages and frameworks quickly and accurately.*Prioritize and Fix Flaws FastRapidly find and fix vulnerabilities with real-time feedback and reduce flaws introduced in new code by up to 60% with IDE scans.*Deliver a Frictionless Developer ExperienceCode confidently with contextual learning and easy integration with over 40 developer tools and custom APIs.*Streamline Governance, Risk Management, and ComplianceManage and measure the security posture of your applications with enterprise-wide security policies, robust reporting, and comprehensive analytics.
-
Product
C/C++ Source Code Analysis
CODECHECK
-
CodeCheck is a programmable tool for checking all C and C++ source code on a file or project basis. CodeCheck is input compatible with all variants of Standard K&R C, Standard ANSI-C/C++, and all C and C++ compiler vendors. We support GCC-GNU Open Source C/C++ compilers. CodeCheck is designed to solve all of your Portability, Maintainability, Complexity, Reusability, Quality Assurance, Style Analysis, Library/Class Management, Code Review, Software Metric, Standards Adherence, and C++ Corporate Compliance Problems.
-
-
Product
Static Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker
-
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
Product
Time Code Converters
-
Time Codes are like different languages. All too often communication between various equipment/devices is impossible due to a "language barrier." When you encounter this type of "language barrier," a Time Code Converter can offer a very simple and cost-effective solution by "translating" a time code. ESE provides several Time Code Converters and Time Code Displays with the ability to convert one time code to another. Time Code to NTP Converter units are the most recent addition to this product family.
-
Product
Pitot Static Tester
ADSE 650
-
The ADSE 650 caters fully for all aircraft types and the different electrical power supplies.It can be used for testing high performance civil and military aircraft, fix and rotary wings. This Pitot Static Tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.The large touch screen display, with on-screen help ,enables all checks to be carried out easily on the flight deck or in the cockpit, by a single operator.
-
Product
Precision Source Code
Miniport Code
-
We offer precision source code to jump start your development putting you close to the finish line right from the start.
-
Product
Static & Lighting Chokes
-
Lighting chokes are used to pass tower lighting voltages across the base insulator of a series-fed tower without appreciably altering the tower impedance. LBA TC-300 general purpose tower lighting chokes are provided for three wire 110/220 VAC circuits. Maximum current is 25 amps. These chokes are rated for peak base voltages to 10,000 volts, and present a typical reactance of +j5000 ohms at 530 kHz. Bypass capacitors are provided on each winding.
-
Product
Static Meter
EX715
-
The EX715 handheld LCD static meter enables you to investigate and scientifically analyze static problems in hazardous area , showing where and how the static is generated, plus its magnitude and polarity.
-
Product
Time Code Generator
TCG
-
The TCG is an option for the SR-112 that enables the user to generate time code. Installation is very simple as it is software only and doesn’t require any hardware modification.
-
Product
IP Code Test Equipment
-
Weice Testing Instrument Co.,Ltd.
IP Code, International Protection Marking, sometimes interpreted as Ingress Protection Marking, classifies and rates the degree of protection provided against intrusion (body parts such as hands and fingers), dust, accidental contact, and water by mechanical casings and electrical enclosures.
-
Product
Pitot / Static Tester
ADSE 743
-
The ADSE 743 caters fully for all aircraft types and the different electrical power supplies.
-
Product
Coded Switches
-
Elma's coded switches provide a high-quality tactile feedback. The standard 10, 16 and 24 position the concentric designs as well are used extensively as frequency selectors, medical device interfaces, audio attenuators and industrial controls. Elma can also customize shafts, bushings and switching schemes to meet special applications.
-
Product
Static Remover (Ionizer)
STABLO-AP
-
STABLO-AP provides reliable measurement by removing static electricity.
-
Product
Static Pressure Manometer Kit
EM201SPKIT
-
UEi Test & Measurement Instruments
A digital, time saving electronic manometer static pressure kit
-
Product
PITOT STATIC TESTER
ADSE 745
-
The ADSE 745 caters fully for all aircraft types and the different electrical power supplies.It can be used for testing high performance civil and military aircraft, fix and rotary wing. The multi-pressure outlets option can suit the more complex pilot-static-systems. This Pitot Static Tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.
-
Product
IDE And Coding Tool
-
Renesas integrated development environments provide strong support for embedded system development. And Migration guides are available to support switching from one MCU or IDE to another.
-
Product
Code Coverage Analyzer
BullseyeCoverage
-
BullseyeCoverage is a code coverage analyzer for C++ and C that tells you how much of your source code was tested. You can use this information to quickly focus your testing effort and pinpoint areas that need to be reviewed. Code coverage analysis is useful during unit testing, integration testing, and final release. BullseyeCoverage enables you to create more reliable code and save time.
-
Product
Code Coverage Tool
Testwell CTC++
-
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
-
-
Product
Structural Analysis
-
With proven accuracy every time, Altair offers industry-leading engineering analysis and optimization tools from simulation-driven design concepts to detailed virtual product validation and simplified modeling workflows to advanced high-fidelity model building. Whether big or small, our customers trust their decision making to Altair, the pioneer of simulation-driven design.
-
Product
Gas Analysis
QIC BioStream
-
A gas analysis system for continuous analysis of gases and vapours from multiple fermentation reactors with multi off gas and multi reactor dissolved gas species analysis capability. A high-performance Proteus multi-stream valve supplied with 20, 40 or 80 inlet streams is included with programmable sequence control software for analysis of multiple reactors. Streams can be allocated for either dissolved species analysis or off gas analysis.
