Static Code Analysis
-
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 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
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
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
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 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
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
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 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 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
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
Static Generation
Fraser Anti-Static Techniques Ltd
Static generator for powering many of the electrostatic charging applications in industry.
-
product
Static Field Meter
This contactless precise electrostatic field meter can immediately sensor the static voltage on a charged body without contact. The measuring range is 0.010kV ~ 20.000kV with the sensing distance 1 inch (2.54cm). The meter provides alarm function for prompt.
-
product
Code Repository Software
Helix TeamHub
Your code repository software is where you store your source code. This might be a Mercurial, Git, or SVN repository. Helix TeamHub can host your source code repository, whether it’s Mercurial, Git, or SVN. You can add multiple repositories in one project — or create a separate project for each repository.
-
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
Time Code Distributor/Reshaper
SR-112
Like it’s big brother the SR-112 Distripalyzer, the SR-28 can drive time code over long cables, making it ideal for synchronization during live shows and remote recording. The SR-28 time code distributor, with two inputs and eight outputs, reshapes time code while distributing it, eliminating amplitude distortions and level fluctuations. The level of each output is individually adjustable via front panel pots. The input is selected via a front panel switch. Also included are 2 power inputs and an automatic switch over in case of failure.
-
-
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
Portable Bar Code Verifier
Inspector 5000 Auto Optic
The Inspector 5000 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. Store and print capability, multiple scan averaging and subsymbology choices are easily accessed through a simple seven-button user interface with a large color LCD display. The scanners are easily installed by the user, which makes the unit quickly adaptable to practically any verification requirement.
-
product
IP code Testing
Educated Design & Development, Inc.
Complies with various IEC, EN, CE, VDE, UL & CSA requirementsUnit comes with NIST traceable / ISO 17025 accredited certificate of calibration.ED&D is ISO 17025 accredited by ACLASS, an ILAC Member. Measurement data and uncertainty data is available.Uses RTS-01 Rain Spray Head
-
product
Code Coverage Branch Monitor
CCBM
Verified Systems International GMBH
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code.
-
product
Static Pressure Manometer Kit
EM201SPKIT
UEi Test & Measurement Instruments
A digital, time saving electronic manometer static pressure kit
-
-
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
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
S-Beam Static Load Cells
2519 Series
The 2519-xxxN Series load cells are specifically designed for use with 3300 single column testing systems. Automatic transducer recognition and electrical calibration makes them easy to use. The load cells incorporate overload protection and can withstand loads up to 150% of their force capacity without damage and 300% without mechanical failure. The load cells allow the user to zero out the tare weight of a grip or fixture that weighs up to 40% of the force capacity, while still maintaining the full specified accuracy.
-
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
FTIR Analysis
Anton Paar offers state-of-the-art Fourier-transform infrared (FTIR) instrumentation with the possibility to automate and connect to other Anton Paar benchmark instruments. It combines FTIR spectroscopy with comprehensive data analysis to provide rapid results and increase efficiency in the laboratory. A high-resolution touchscreen with a user interface inspired by modern smartphones enables operators to conduct the most intuitive FTIR analysis available on the market. Anton Paar’s FTIR specialists and a worldwide service network are ready to support you with your spectroscopy applications.
-
