Code Analysis
-
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
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
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
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
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 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
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 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
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
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
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
Chemical Analysis + Surface Analysis
-
Rocky Mountain Laboratories, Inc.
An independent surface chemistry and microanalysis laboratory to serve the needs of industrial, academic, and governmental clients. Our objective – to provide real-world solutions for industries with materials and process development needs – is as fundamental to our organization today as when we began. Over the years we have strived to adapt our services to the specific needs of these clients.
-
-
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
Code Integrity
JScrambler
-
If you develop a security sensitive Web Application we believe that you don''t want to give any bonuses to possible attackers. JScrambler enables you to conceal as much as possible, the logic of your application, such as what information is gathered from the user, how it is processed on the client-side, how it is sent to the servers-side. Since our obfuscation introduces a certain level of randomness, it allows you to explore code morphing techniques, which can be vital in precluding attack automation.
-
Product
Correlation Analysis
-
EDM Modal Correlation Analysis allows the user to correlate two modal models; EMA and/or FEA models. Comparing the experimental data with that acquired through finite element analysis helps in validating the test results. Users can import the geometry model and mode shape data from FEA or EMA software.
-
Product
Surface Analysis
InSight-450 3DAFM
-
Based on the production-proven InSight® 3DAFM platform for 300mm, the InSight-450 3DAFM is ideally suited for a broad range of roughness, depth and CD applications.
-
Product
Portable Bar Code Verifier
Laser Inspector 1000
-
The L1000 analyzes the essential traditional verification parameters including average bar deviation, quiet zones, encodation check, mod check and ratio where applicable. It also provides the ISO/ANSI method Decodability calculation and percent of decode information. Designed for maximum ease of use, even traditionally hard to verify bar codes such as high density codes with 5 mil (.13mm) X dimensions and codes on irregular, wet, shiny, laminated or moving surfaces are accurately analyzed.
-
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
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
Stationary 1D / 2D Code Readers
-
Leuze electronic GmbH + Co. KG
Camera-based bar code readers for stationary use: These code readers reliably capture 1D- and 2D-codes; depending on the type, printed or directly marked, omnidirectional, static or in fast motion as well as inverse or mirrored codes. Various version are available with respect to size, robustness, protection classes IP 67 or 69K, speed or high-end functions.
-
Product
CS/ONH-Analysis
G6 LEONARDO
-
The high-end thermal conductivity detector used for hydrogen and nitrogen analysis allows detection limits in a sub-ppm range (based on 1g sample mass)
-
Product
Spectrum Analysis
S96090B
-
The spectrum analyzer (SA) application adds high-performance microwave spectrum analysis to the analyzer. With fast stepped-FFT sweeps, the SA application provides quick spurious searches over broad frequency ranges.
-
-
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 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
Source Code Review
-
Source code review, also known as Security Code Review is the process of auditing the source code for an application to verify that the proper security controls are present, that they work as intended, and that they have been invoked in all the right places. Code review is a way of ensuring that the application has been developed to be “self-defending” in its given environment.
-
Product
Time Code Translators
-
A universal SMPTE longitudinal time code processor that provides a variety of needed time code processing functions to keep up with the changes and requirements of dealing with multi format longitudinal time code.
-
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.
