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/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 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
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
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
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
Code Analysis
Kiuwan
-
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
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
C++ Code Mapping
CODEFIX
-
CodeFix is a powerful tool for C/C++ Source Program Modification.
-
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
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
Code Coverage Branch Monitor
CCBM
-
Verified Systems International GMBH
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code.
-
Product
Portable Bar Code Verifier
Inspector Model D4000 CR2 Scanner
-
The Model D4000 CR2 Scanner provide a Point-and-Shoot Traditional Method that also includes the ISO 15416 and ANSI X3.182 Decodability parameter grade. This unique portable bar code verifier can interface with either the patented RJS Auto-Optic scan head or a CR2 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
Thermal Analysis
-
The TORC (Thermo-optical Oscillating Refraction Characterization) technique applies decades of know-how in optical instrumentation to thermal analysis in a novel and unique way. The technique requires minimal sample preparation at maximal tolerance for sample properties. You can determine the coefficient of thermal expansion, glass and phase transitions as well as polymerization for various samples: liquids, gels, pastes, and certain solids. For example: cured and uncured resins, adhesives, glues, etc. can easily be characterized. Both thermal and time-dependent processes can be monitored with minimal effort.
-
Product
Gas Analysis
FLOW EVO
-
SmartGAS NDIR sensors offer many advantages for successful gas analysis and are ideal for process control. They are convincing where extreme precision and reliability are required. Various versions can be combined easily, which thus allows complex measurement tasks. All smartGAS sensors are characterized by low detection limits, low drift, a wide temperature range and extremely low operating and maintenance costs.
-
Product
Corrosion Analysis
Resipod
-
Resipod is a fully integrated 4-point Wenner probe, designed to measure the electrical resistivity of concrete in a completely non-destructive test. It is the most accurate instrument available, extremely fast and stable and packaged in a robust, waterproof housing designed to operate in a demanding site environment. The Resipod is the successor of the classic CNS Farnell Resistivity Meter.Surface resistivity measurement provides extremely useful information about the state of a concrete structure. Not only has it been proven to be directly linked to the likelihood of corrosion and the corrosion rate, recent studies have shown that there is a direct correlation between resistivity and chloride diffusion rate and even to determination of early compressive strength. This makes it one of the most versatile NDT methods for concrete.
-
Product
Comprehensive Analysis
RemoteView™ PRO
-
Our flagship thick-client imagery exploitation product, RemoteView Pro, provides analysts with premier analytical tools. Users are able to quickly enhance imagery and gain valuable perspective through analytical tools and extensions that are essential for mission planning and operational support. As the geospatial intelligence solution of choice, RemoteView has a long history of success across a broad range of users within the U.S. intelligence community, Department of Defense, and across analysis directorates in 27 countries.
-
-
Product
Cosite Analysis
-
Designing Command and Control Communications Systems for First-Time Success
-
Product
Safety Analysis
-
Ensure System Safety and Cybersecurity. Dramatically decrease analysis efforts with efficient application of quality, safety, reliability and cybersecurity analysis methods at the system, item, software, hardware and PCB levels.
-
Product
XRF analysis
X-Supreme8000
-
XRF analysis (X-ray fluorescence) with the highly flexible and powerful energy-dispersive X-ray fluorescence (EDXRF) spectrometer X-Supreme8000 for quality assurance and process control requirements across a diverse range of industries.
-
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
Analysis
-
External appearance due to non-destructive semiconductor · X-ray fluoroscopic observation, SAT observation, electrical operation confirmation, ESD fracture analysis, plastic opening observation of Chip, search for abnormal portions by EMS / OBIRCH, package (PKG) analysis, Please do not hesitate to contact us anything related to semiconductor analysis, such as observation by polishing / parallel polishing (ball and bump observation etc.), peeling observation of defective part, analysis of foreign matter by EDX · FT - IR etc.
-
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
Analysis Tool
CANalarm
-
The CANalarm is a low priced analysis tool that can be installed in the bus permanently. It makes it possible to build up a separate and redundant monitor without change of configuration and program of the master controller. It works passive and is therefore non reactive
-
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.
