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
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
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
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
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
Static Code Analyzer
HelixQAC
-
For over 30 years, Helix QAC has been the trusted static code analyzer for C and C++ programming languages. With its depth and accuracy of analysis, Helix QAC has been the preferred static code analyzer in tightly regulated and safety-critical industries that need to meet rigorous compliance requirements. Often, this involves verifying compliance with coding standards — such as MISRA and AUTOSAR — and functional safety standards, such as ISO 26262.
-
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 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
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 generation systems, electrodes and IML accessories for safe, clean and controllable temporary adhesion.
-
Product
Image-Based Code Readers
-
Image-based code readers combine performance and flexibility. In demanding applications, they read a variety of code types such as 1D or 2D codes, DPM codes and miniature codes. The cameras also identify colored and damaged codes, regardless of the marking method and surface. This ensures very good read rates, even at high speeds and with changing rotational positions of the codes.
-
Product
Bar Code Verifier
TP140B Report Printer
-
The TP140B Report printer allows for printing of inspection reports from your Inspector series bar code verifier. The printer provides a simple report that will have a line for each bar code inspected. Note: The Verifier Computer Interface Report (VCIR) is required if you need the Scan Reflectance Profile (SRP).
-
Product
Time Code Generators
-
Masterclock's time code generators provide a source of very stable time code and accurate time and date information. The GPS500 extracts timing reference from GPS satellite signals and generate time code synchronized to within less than 10 microseconds of UTC (Universal Coordinated Time). It can output IRIG-B with and without IEEE 1344 date encoding, SMPTE/EBU, NMEA 0183, Kinemetrics/Truetime, and 1PPS.
-
Product
Static Measurement
-
Fraser Anti-Static Techniques Ltd
Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.
-
Product
Static Meter
5740
-
Our model 5730 handheld LCD static meter is the leading instrument in its class, quickly registering negative and positive static electricity charges of up to 150,000 volts, 100 volt resolution, on surfaces at a recommended distance of 4?. Its excellent accuracy, stability, ease of use and quick response make it an ideal instrument for engineers and quality experts in the analysis of static problems.
-
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
Pitot Static Indicator
ADSE 740
-
The ADSE 740 is a complete high performance dual pressure Ps and Pt standalone test bench specially designed to be used in the workshop or in the laboratory to test and calibrate all air data equipment such as altimeters, vertical speed indicators, air speed indicators, MACH-meter, air data computers ...) and sensors.
-
Product
Time Code Distributor/Reshaper
SR-112
-
Like it’s big brother the SR-112 Distripalyzer, 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 Maneuver Module
CTB2PH
-
Lifasa - International Capacitors, SA
The static control units CTB2PH include, in a compact form, all the components necessary for the operation of three-phase capacitors. The CTB2PH modules employ thyristors instead of the classic contactors. The static maneuver is the ideal solution in installations in which the load current presents rapid and very large fluctuations (load changes in intervals ranging from a few tenths of a second to a few seconds).
-
Product
C++ Code Mapping
CODEFIX
-
CodeFix is a powerful tool for C/C++ Source Program Modification.
-
Product
Matrix Code Verification Systems
REA VeriCube
-
The REA VeriCube is a state-of-the-art matrix and barcode verification device which can be used across all industry sectors. Whether lying, standing or from top to bottom, virtually any test sample can be measured contact-free in the optimum measuring position. The measurement of optical codes in compliance with defined angles, distances and lighting allows accurate and reproducible measurement results and quality evaluations.
-
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
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
Static Switches
-
Static, or solid-state, switches are electronic devices for switching and driving resistors that provide a longer service life than electromechanical relays. Static switches are used to control high-power motors, transformers, tungsten lamps, heating elements and in many of the difficult and heavy-duty applications typical of industries using electric ovens, in the glass and plastics industries.
-
Product
Portable Bar Code Verifier
Inspector Model D4000 Auto Optic
-
The Model D4000 Auto Optic provides ISO 15416 and ANSI X3.182 Method. This unique portable bar code verifier can interface with either the patented RJS Auto-Optic scan head or a laser scanner (either in a single piece or connected with a cable). Store and print capability, multiple scan averaging and subsymbology choices are easily accessed through a simple four-button user interface. The scanners are easily installed by the user, which makes the unit quickly adaptable to practically any verification requirement.
-
Product
Static Tester
DRK151
-
Shandong Drick Instruments Co., Ltd.
The tester is applicable in testing the surface potential and the properties of anti-static products .This tester applies to test electrostatic voltage of charged object such as conductor, insulator, and the human body.
-
-
Product
Static Honest Meter
-
Sataton Instruments Technology CO., Ltd
Static honest meter is professional designed to determine the attenuation of static electricity, corona discharge time, static voltage attenuation half-life, static decay curve and other electric property of fiber, yarn, fabric, textile or plate materials. It is suitable for measuring the diffusibility of static in the testing samples.
