Filter Results By:
Products
Applications
Manufacturers
Static Analysis
-
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 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
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
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
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 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
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
Veracode Platform
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
Motor Drive Analyzer, 350 MHz, 8 Ch, 12 bits, 10 GS/s, 50 Mpts/Ch
MDA 8038HD
Static power analysis - like a dedicated power analyzer.Dynamic power analysis – capture more information.Complete test coverage – control system, power section, motor.Comprehensive mechanical interface.Harmonics calculation option.Vector display option (THREEPHASEVECTOR).Waveform Transformations option (THREEPHASEdq0).16 Channels with OscilloSYNC™.
-
product
Motor Drive Analyzer, 2 GHz, 8 Ch, 12 bits, 10 GS/s, 50 Mpts/Ch
MDA 8208HD
Static power analysis - like a dedicated power analyzer.Dynamic power analysis – capture more information.Complete test coverage – control system, power section, motor.Comprehensive mechanical interface.Harmonics calculation option.Vector display option (THREEPHASEVECTOR).Waveform Transformations option (THREEPHASEdq0).16 Channels with OscilloSYNC™.
-
product
Motor Drive Analyzer, 1 GHz, 8 Ch, 12 bits, 10 GS/s, 50 Mpts/Ch
MDA 8108HD
Static power analysis - like a dedicated power analyzer.Dynamic power analysis – capture more information.Complete test coverage – control system, power section, motor.Comprehensive mechanical interface.Harmonics calculation option.Vector display option (THREEPHASEVECTOR).Waveform Transformations option (THREEPHASEdq0).16 Channels with OscilloSYNC™.
-
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.
-
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
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
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
Motor Drive Analyzer, 500 MHz, 8 Ch, 12 bits, 10 GS/s, 50 Mpts/Ch
MDA 8058HD
Static power analysis - like a dedicated power analyzer.Dynamic power analysis – capture more information.Complete test coverage – control system, power section, motor.Comprehensive mechanical interface.Harmonics calculation option.Vector display option (THREEPHASEVECTOR).Waveform Transformations option (THREEPHASEdq0).16 Channels with OscilloSYNC™.
-
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
Veracode Platform
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 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 Meter
EX715
The EX715 handheld LCD static meter enables you to investigate and scientifically analyze static problems in hazardous area , showing where and how the static is generated, plus its magnitude and polarity.
-
product
Static Tester
DRK151
Shandong Drick Instruments Co., Ltd.
The tester is applicable in testing the surface potential and the properties of anti-static products .This tester applies to test electrostatic voltage of charged object such as conductor, insulator, and the human body.
-
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 Pressure Meters
Portable dual port manometer accessory head for use with our modular multimeters (DMMs) and instruments. Measures gas pressure, static pressure and pressure differential. The ADMN2 includes a zero adjust and the Auto Power-Off (APO) function to conserve battery life. Disable APO for data logging. The ADMN2 measures pressure between -60inWC and 60inWC (inches of water column) and -150.0 to 150.0 mBar. The ADMN2 also measures P1 or P2 pressure readings and calculates the difference between P1 and P2. Take static pressure measurements using the resolution mode of 0.01inWC or 0.01mBar.
-
product
IML Static Generator
994 IML
The 994-IML Static Generator has been designed after consultation with "In Mould Labelling" OEM's. The criteria they laid down was that the unit needed to be compact, light & reasonably priced.
-
product
Static Modular Systems
Basic systems with single level or multiple level outputsbased on one or multiple lamps. Choose size andlight levels to meet your needs and budget.
-
-
product
Static Decay Timer
PDT-740B
Designed to measure the time required for a 1,000 volt charge to dissipate to less than 100, 50 or 10 volts in tenths of a second.Used to evaluate the static decay capabilities of materials, personnel, equipment and other products.Compatible with most portable CPM's and field meters having an analog output of ± 2 (10,000 volts equals 1 volt).Used in conjunction with the PFM-711A Field Meter.Can be used with the PGB-745 Decay Electrodes or PRF-911 Concentric Ring
-
product
Static Meters
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.
