Filter Results By:
Products
Applications
Manufacturers
-
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 Analysis Tool
CodeSonar
Automated static analysis designed for zero-tolerance defect environments. CodeSonar, GrammaTech''s flagship static analysis software, identifies programming bugs that can result in system crashes, memory corruption, leaks, data races, and security vulnerabilities. By analyzing both source code and binaries, CodeSonar empowers developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle.
-
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
Veracode Static Analysis
SAST
*Find Flaws Accurately, at ScaleScan over 100 languages and frameworks quickly and accurately.*Prioritize and Fix Flaws FastRapidly find and fix vulnerabilities with real-time feedback and reduce flaws introduced in new code by up to 60% with IDE scans.*Deliver a Frictionless Developer ExperienceCode confidently with contextual learning and easy integration with over 40 developer tools and custom APIs.*Streamline Governance, Risk Management, and ComplianceManage and measure the security posture of your applications with enterprise-wide security policies, robust reporting, and comprehensive analytics.
-
product
DoubleCheck Static Analysis Tool
Static analyzers attempt to find code sequences that may result in buffer overflows, resource leaks, or many other security and reliability problems. Source code analyzers are effective at locating a significant class of defects that are not detected by compilers during standard builds and often go undetected during run-time testing or typical field operation.
-
product
Static Code Analysis Tool
Klocwork
Detect security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.
-
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
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
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 Image Analysis System Particle Size
PSA300
The HORIBA PSA300 is a state of the art turn-key image analysis solution. Seamless integration of Clemex's powerful particle characterization software and an automated microscope with high-resolution camera creates an intuitive, easy-to-use imaging workstation. Addressing a need in the field of particle characterization, the PSA300 is a versatile particle size and particle shape analysis tool that can be used in a wide range of applications in the pharmaceutical industries and material science. It is a turn-key solution for labs that want to maintain an analytical microscopy environment with minimum intervention by the operator yet still yield maximum detail in the results.
-
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
Static Analyzer
Julia
Julia Static Analyzer is best in class for finding defects and security vulnerabilies in C#, Java and Android applications (for C and C++ languages, please have a look to GrammaTech CodeSonar). By using Julia Static Analyzer, you reduce development and maintenance costs and eliminate risks related to security vulnerabilities and privacy leaks. The powerful analysis technology ensures a maximum precision of results. With advanced dashboarding you can flexibly transform the data into useful information for the different stakeholders.
-
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
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 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 Design Verification
ALINT-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
-
product
Finite Element Analysis
FEA
The Finite Element Analysis (FEA) component of SimScale enables you to virtually test and predict the behavior of structures and solve complex structural engineering problems subjected to static and dynamic loading conditions. Our online simulation solution uses scalable numerical methods that can calculate mathematical expressions otherwise very challenging due to complex loading, geometries or material properties.
-
product
Materials And Chemical Analysis
Anderson Materials Evaluation, Inc.
Materials characterization, failure analysis, quality control, and materials and process development services are offered. Our analytical techniques allow us to assess elemental and chemical material composition, thermal properties, coating thickness, electrochemical properties, surface chemistry, surface wetting, corrosion rates and pitting potentials, contamination and degradation problems, metallography, fractography, phase transitions, static coefficient of friction, adhesive bonding strength and causes of adhesive bonding failures, surface tension and surface energy, tensile and compressive strength, bend deflection, lapshear strength, elasticity properties, UV and visible light absorption and reflection, density and porosity, and many other material properties integral to improving your products.
-
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
Hybrid Worst-Case Timing Analysis
TimeWeaver
AbsInt Angewandte Informatik GmbH
TimeWeaver combines static path analysis with timing measurements to provide worst-case execution time estimates.The tool estimates the worst-case execution time (WCET) of tasks based on the execution time of trace segments obtained from real-time instruction-level tracing. The computed time bounds are valuable for soft real-time systems and provide feedback for optimizing worst-case performance.
-
product
Radio Monitoring and Signal Analysis
Shoghi has a full portfolio of products which fulfill the customer requirements for radio monitoring and signal analysis. Shoghi has a very robust SDR based wideband radio monitoring solution which can be implemented both in static or mobile versions for HF and VHF/UHF frequency bands. The Shoghi Radio Monitoring and DF system is the full-fledged product which provides the facilities for wideband signal reception and advanced signal analysis capabilities in addition to both wideband and narrowband D capabilities. The signal analysis capabilities include the ability to demodulate and decode both narrowband and wideband signals and advanced signal protocol analysis for detection of specific data protocols used in the intercepted RF signals.
-
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
Analytical Services
Surface Analysis; X-Ray Photoelectron Spectroscopy (XPS, ESCA), Auger Electron Spectroscopy (AES), Time-of-Flight Secondary Ion Mass Spectrometry (Static) (TOF-SIMS), Dynamic Secondary Ion Mass Spectrometry (D-SIMS). Microscopy & Diffraction; Organic Material Analysis; Bulk Chemistry.
-
product
Autoanalysis System Set
PGA-710B
The PGA-710B is a unique electrostatic data analysis device for use with Prostat's PFK-100B Field Meter and Charge Plate Monitor kit. It records, plots, analyzes and automatically constructs reports of body voltage generation, electrostatic decay, voltage retention, ionizer performance and other static measuring functions.
-
product
Circuit Breaker Testing Equipment
HISAC Swift
HISAC Swift - Circuit Breaker Operational Analyser is meant for checking the performance of the MV Circuit Breakers. The Analyser contains various intelligent measuring modules designed for measuring parameters such as contact timings of Main/PIR & Auxiliary contacts, Close/Trip Coil Current characteristics and Static Contact Resistance of R, Y & B poles simultaneously. The results can be directly viewed on the TFT touch screen display in graphical as well as numerical form. It is possible to print the graph on a built-in thermal printer or download record to PC for further analysis on CPLOT software. This all in one instrument is best suited for gang operated CBs.
-
product
Development Testing
Today, there are many competing vendor claims about the best means to ensure software quality and security. The consensus among leading software development organizations, however, is quite clear. Using a mix of static analysis and dynamic testing is the de facto standard to achieve high quality and safe software.
-
product
Fatigue Testing And Certification
Fatigue engineering is subject to uncertainty, and data from well executed tests are used to validate conclusions made by analysis and to provide a basis for structural certification. Our staff have extensive experience in testing materials and components under slowly varying, static loads, and under rapidly varying cyclic loads. Tests under static loads are used to assess material properties or to assess the load-deformation behavior of structural components. Tests under cyclic loads provide time to crack initiation, time to failure, or measurements of crack growth over time. We have extensive experience in measuring fatigue crack growth behavior in metallic materials. Past programs have measured crack growth with microscopy and photogrammetry at the surface, cracked area with direct current potential drop, and through-thickness crack profiles with quantitative fractography. By assessing crack growth with a variety of experimental methods, we enable robust analysis validation for cases of complex cracking. Our capabilities in fatigue engineering allow for careful design of a fatigue test program. Whether the tests use constant amplitude loading or an irregular loading spectrum, we specialize in engineering the test that meet your needs. Much of our experience is in non-standard test programs, which require engineering to optimize the test setup. Few others match our capability and experience in fatigue test engineering.
-
product
Friction Testers
AMETEK Sensors, Test & Calibration
Coefficient of Friction, static and kinetic, is used in a variety of materials, from lubricants to films and household items, in order to determine the frictional characteristics of a material. For high precision friction measurement, a dedicated friction testing machine, designed to perform accurate and high quality analysis of your test results, is required.
-
product
Gravimetric Gas/Vapor sorption vacuum analyzer
DVS Vacuum
The DVS Vacuum is designed for single and multicomponent vapor/gas sorption analysis, supporting static and dynamic experiments. The system’s key features are precise control and measure of temperature and pressure while recording the changes in sample mass using high-resolution UltraBalance.
-
product
Image Analyzers
Morphologi Range
Morphological imaging is fast becoming an essential technology in the laboratory toolkit for particle characterization. The Morphologi 4 is a fully automated static image analysis system which provides a complete detailed description of the morphological properties of particulate materials. The Morphologi 4-ID combines the same automated static image analysis with Raman spectroscopy in a single, integrated platform, providing component-specific morphological descriptions of chemical species within a blend.
