Static 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
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 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 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
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
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
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 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 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
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
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
Software Tools for Efficient Code Development and Analysis
Specador Documentation Generator
Specador is a tool that automatically generates accurate HTML documentation from comments inserted in the source code. It works in batch mode (command line) and uses dedicated language parsers.
-
product
Static Measurement
Fraser Anti-Static Techniques Ltd
Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.
-
product
Code Buddy Scanners
A code scanner that pulls/erases trouble codes and displays the live data stream.
-
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
Software Tools for Efficient Code Development and Analysis
Verissimo SystemVerilog Testbench Linter
SystemVerilog is a rich object-oriented programming language that provides powerful constructs and a high level of programming flexibility. Such capabilities meet the needs of today's complex design and verification requirements, but at the same time introduce new challenges in code development. For example, the possibility of implementing the same functionality in multiple ways may impact the simulation performance or lead to unexpected behavior.
-
product
Static Generation
Fraser Anti-Static Techniques Ltd
Static generation systems, electrodes and IML accessories for safe, clean and controllable temporary adhesion.
-
-
product
IDE And Coding Tool
Renesas integrated development environments provide strong support for embedded system development. And Migration guides are available to support switching from one MCU or IDE to another.
-
product
Static & Lighting Chokes
Lighting chokes are used to pass tower lighting voltages across the base insulator of a series-fed tower without appreciably altering the tower impedance. LBA TC-300 general purpose tower lighting chokes are provided for three wire 110/220 VAC circuits. Maximum current is 25 amps. These chokes are rated for peak base voltages to 10,000 volts, and present a typical reactance of +j5000 ohms at 530 kHz. Bypass capacitors are provided on each winding.
-
product
Static Generation
Charging Electrodes
Fraser Anti-Static Techniques Ltd
Provide a safe, controllable, reliable and cost-effective method of applying static charge for temporary adhesion.
-
product
PITOT STATIC TESTER
ADSE 745
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
Matrix Code Verification Systems
REA MLV-2D
The REA MLV-2D is a matrix- and barcode verifier which has been developed in conformance to international standards. The measurement uses defined angeles distance and illuminations to achieve repeatable results and quality information.
-
-
product
Static Inverters
Our static inverters are designed as uninterruptible power supplies (inverter in conjunction with rectifier and battery) to bridge short-term interruptions, power failures, voltage fluctuations, frequency fluctuations or generally to compensate for power disturbances in the data processing sector and in automation and control systems. They are used to supply AC consumers, primarily in the rail and industrial sectors.
-
product
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
product
Static Friction Coefficient Tester
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
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
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.
