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
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
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
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
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
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
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 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
Static and dynamic analysis
MEMS
-
Static and dynamic analysis and visualization are critical parts of the test and development process for MEMS microstructures in order to characterize surface metrology and measure in and out of plane motions. The PS4L Adaptive Architecture is ideal for configuring a system to perform tests to very specialized requirements of the MEMS customer. MEMS customers often require vacuum probing, which is available in semiautomatic and fully automatic configurations.
-
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
Software Tools for Efficient Code Development and Analysis
Specador Documentation Generator
-
Specador is a tool that automatically generates accurate HTML documentation from comments inserted in the source code. It works in batch mode (command line) and uses dedicated language parsers.
-
Product
Static Generation
-
Fraser Anti-Static Techniques Ltd
Static generator for powering many of the electrostatic charging applications in industry.
-
-
Product
Static Inverters
-
Our static inverters are designed as uninterruptible power supplies (inverter in conjunction with rectifier and battery) to bridge short-term interruptions, power failures, voltage fluctuations, frequency fluctuations or generally to compensate for power disturbances in the data processing sector and in automation and control systems. They are used to supply AC consumers, primarily in the rail and industrial sectors.
-
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
Static Tester
-
Electrostate tester with LED indicator for the detection of static charge in the plus and minus range. An indispensable, inexpensive tool for the assessment and selection of materials in the living area, as well as the quality of the room climate.Buy Data Sheet
-
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
Pitot / Static Tester
ADSE 743
-
The ADSE 743 caters fully for all aircraft types and the different electrical power supplies.
-
-
Product
Pitot Static Tester
ADSE 746
-
The ADSE 746 caters fully for all aircraft types and the different electrical power supplies. It can be used for testing high performance civil and military aircraft, fixed and rotary wing. Themulti-pressure outlets option can suit themore complex pilot-staticsystems.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. The test set is robust and housed in a mobile weatherproof case fitted with tire wheels. An attached bag contains the pressure hoses and electrical cables.
-
Product
Code Test Optimizer
Clover
-
Clover provides the metrics you need to better balance the effort between writing code that does stuff, and code that tests stuff. Clover runs in your IDE or your continuous integration system, and includes test optimization to make your tests run faster, and fail more quickly.
-
Product
2D Code Reader
LP-ABR10
-
Panasonic Industrial Devices Sales Company of America
Code Reading, together with Laser Marking, is widely used to enhance production management and traceability. This is possible because the Code Readers from Panasonic are able to read 2D codes marked directly on products.Now users can combine a Panasonic Laser Marker with the new sensitive 2D Code Reader LP-ABR10 for higher-quality management.
-
Product
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
Product
Code Complexity Measurement Tool
Testwell CMT++
-
The Code complexity measurement tool Testwell CMT++ (for C, C++ and C#) and Testwell CMTJava (for Java) saves costs and avoids software erosion. For this reasons several standards (like ISO 26262) require the enforcement of low code complexity.
-
Product
Portable Static Grounding Kit
Grounding Kit
-
The portable grounding kit combines multiple shortened grounding rods with surface wire grounding techniques to provide acceptably low resistance for static grounding requirements in field operations.
-
Product
Self-testing Static Grounding Clamp
Bond-Rite CLAMP
-
In many branches of the process industries, fires and explosions can result from electrostatic discharge in hazardous areas. Even relatively small sparks have sufficient energy to ignite many flammable vapours, gases and even airborne dusts. In situations, where this risk exists, static grounding (earthing) and bonding clamps are required wherever mobile or portable conductive plant items (such as drums and vessels etc) are used.
-
Product
Static Pressure Meters
-
Portable dual port manometer accessory head for use with our modular multimeters (DMMs) and instruments. Measures gas pressure, static pressure and pressure differential. The ADMN2 includes a zero adjust and the Auto Power-Off (APO) function to conserve battery life. Disable APO for data logging. The ADMN2 measures pressure between -60inWC and 60inWC (inches of water column) and -150.0 to 150.0 mBar. The ADMN2 also measures P1 or P2 pressure readings and calculates the difference between P1 and P2. Take static pressure measurements using the resolution mode of 0.01inWC or 0.01mBar.
-
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
Time Code Reshaper/ Distributor
SR-28
-
The SR-28 can drive time code over long cables, making it ideal for synchronization during live shows and remote recording. The SR-28 time code distributor, with two inputs and eight outputs, reshapes time code while distributing it, eliminating amplitude distortions and level fluctuations. The level of each output is individually adjustable via front panel pots. The input is selected via a front panel switch. Also included are 2 power inputs and an automatic switch over in case of failure.
-
Product
Static Generation
-
Fraser Anti-Static Techniques Ltd
Static generation systems, electrodes and IML accessories for safe, clean and controllable temporary adhesion.
