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
Code Analysis
Kiuwan
-
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
Software Development Kit
InterNav®
-
Open architecture software with interface source code and analysis tools for integrating GPS, inertial, and other aiding sensors on a VxWorks, Linux, or Windows computer.
-
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 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
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
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
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
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
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
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
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
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
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
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
Matrix Code Verification Systems
REA MLV-2D
-
The REA MLV-2D is a matrix- and barcode verifier which has been developed in conformance to international standards. The measurement uses defined angeles distance and illuminations to achieve repeatable results and quality information.
-
Product
Analysis
-
*Time & Frequency domain visualisation & analysis*Worldwide connectivity – Thin Client/Server Architecture*Interactive viewing & cursor interrogation*Mode definition & alignment*Order & mode tracking*Phase analysis with Cartesian and Polar plots*Third-octave analysis (also 1/6, 1/12, 1/24)*Rainflow and cycle-counting analysis
-
Product
Miniature Time Code Recorder
MTCR
-
When the distance is extreme or using a wireless microphone is not practical, the MTCR recorder can travel with your subject and capture professional quality audio, synchronized with timecode. It’s tiny size is unobtrusive and easily placed in garments and costumes, and easy to conceal when used as a “plant” microphone to capture environmental or location sound.
-
-
Product
Ada Source Code Analyzer
CodePeer
-
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
Product
Surface Analysis
-
Shimadzu offers a range of instruments that are ideal for all sample forms handled by customers in the fields of steel, non-ferrous metals, environment, foods, chemicals, pharmaceuticals, semiconductors, ceramics, and polymers. EPMA/SEM offers analysis of targets from several centimeters to several microns; XPS offers analysis from several millimeters to several microns; and SPM permits observations from over a hundred microns to several nanometers.
-
Product
Gas Analysis
HPR-20 EGA
-
The Hiden HPR-20 EGA gas analysis system is configured for continuous analysis of evolved gases and vapours from thermogravimetric analysers, TGA.
