Product

Static Analysis

SAST

-

Synopsys, Inc.

SAST - Synopsys, Inc.

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

Java Testing, Static Analysis, Code Review

Jtest

-

Parasoft Corp.

Jtest - Parasoft Corp.

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 and C++ Testing, Static Analysis, Code Review

C++test

-

Parasoft Corp.

C++test - Parasoft Corp.

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

Veracode Static Analysis

SAST

-

Veracode

SAST - Veracode

*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

SAST Tool

klocwork

-

Perforce Software Inc.

klocwork - Perforce Software Inc.

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

Hybrid Worst-Case Timing Analysis

TimeWeaver

-

AbsInt Angewandte Informatik GmbH

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 exe­cution 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

Image Analyzers

Morphologi Range

-

Malvern Panalytical Ltd

Morphologi Range - Malvern Panalytical Ltd

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.

Product

Veracode Platform

-

Veracode

Veracode

The Veracode Continuous Software Security Platform contains all of the application security testing types you need in one place – static analysis, dynamic analysis, software composition analysis, and manual penetration testing – ensuring that you have a comprehensive view of your risk from design through deployment.

Product

Static and dynamic analysis

MEMS

-

SemiProbe

MEMS - SemiProbe

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

Static Code Analyzer

PVS-Studio

-

PVS-Studio

PVS-Studio - 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 Image Analysis System Particle Size

PSA300

-

HORIBA, Ltd.

PSA300 - HORIBA, Ltd.

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

Veracode Platform

-

ChongqingTop Oil Purifier Manufacture Co., Ltd.

ChongqingTop Oil Purifier Manufacture Co., Ltd.

The Veracode Continuous Software Security Platform contains all of the application security testing types you need in one place – static analysis, dynamic analysis, software composition analysis, and manual penetration testing – ensuring that you have a comprehensive view of your risk from design through deployment.

Product

Static Code Analysis Tool

Klockwork

-

Klockwork

Klockwork - 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

-

Dmitry Patsura

PHPSA - Dmitry Patsura

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 Analysis for Embedded Software

GrammaTech CodeSonar®

-

Verifysoft Technology GmbH

GrammaTech CodeSonar® - Verifysoft Technology GmbH

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 Design Verification

ALINT-PRO

-

Aldec, Inc.

ALINT-PRO - Aldec, Inc.

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

Ada Source Code Analyzer

CodePeer

-

AdaCore Technologies, Inc.

CodePeer - AdaCore Technologies, Inc.

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

Static Meters

-

Electro-Tech Systems, Inc.

Electro-Tech Systems, Inc.

ETS static meters are offer accurate detection and measurement of static electricity found in the manufacture and handling of electronic, paper, plastic, textile, food, chemical, biomedical, and pharmaceutical products. In addition, these meters are invaluable for use in computer rooms, cleanrooms, hazardous environments, hospitals, and other locations that require the measurement of electrostatic fields. Chopper-stabilized models enable measurements in ionized environments.

Product

Analysis

-

HGL Dynamics Inc

HGL Dynamics Inc

*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

Static Measurement

-

Fraser Anti-Static Techniques Ltd

Fraser Anti-Static Techniques Ltd

Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.

Product

Static Friction Coefficient Tester

JMY-16

-

Shanghai Dean Electrical Co., Ltd

JMY-16 - Shanghai Dean Electrical Co., Ltd

Executive standard: GB/T4074.4-2008; Inspection standard: JB/T4279.16-2008Used to detect static friction coefficient (μs) of enameled round wires with nominal conductor diameter ranging from 0.050mm to 1.600mm;The application of high-end SCM control allows for high sensitivity and excellent repeatability.Four-digit LED would automatically display static friction coefficient (μs) of sample;

Product

Static Field Meters

-

Prostat Corporation

Prostat Corporation

Static Field Meters by Prostat

Product

PITOT STATIC TESTER

ADSE 745

-

ATEQ Aviation

ADSE 745 - ATEQ Aviation

The ADSE 745 caters fully for all aircraft types and the different electrical power supplies.It can be used for testing high performance civil and military aircraft, fix and rotary wing. The multi-pressure outlets option can suit the more complex pilot-static-systems. This Pitot Static Tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.

Product

Static Maneuver Module

CTB2PH

-

Lifasa - International Capacitors, SA

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

Digital Static Field Meter

Model 715B

-

Prostat Corporation

Model 715B - Prostat Corporation

- Assess electrostatic fields or charge on objects- Measures up to ±19.99 kV at a distance of 1 inch- Accuracy of <±5% in both normal and ionized environments- Uses a chopper stabilized sensor- LED ranging lights for positioning the meter at the right distance- Zero function allows the display to be adjusted to zero (0)- Hold feature to lock the reading on the display- Low battery indicator on the display- 1-year limited warranty

Product

Static Locator

983v2

-

Meech Static Eliminators Ltd

983v2 - Meech Static Eliminators Ltd

The Model 983v2 Static Locator provides accurate measurement of electrostatic charges. Its design enables fast response, low drift and ease of operation. The 983v2 can operate in ?Continuous? or ?Peak Hold? mode to record changes in the level of charge or the highest charge detected respectively.