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 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
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
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
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 Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker
-
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
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
Static Measurement
-
Fraser Anti-Static Techniques Ltd
Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.
-
Product
Static Generation
-
Fraser Anti-Static Techniques Ltd
Static generator for powering many of the electrostatic charging applications in industry.
-
-
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
Image-Based Code Readers
-
Image-based code readers combine performance and flexibility. In demanding applications, they read a variety of code types such as 1D or 2D codes, DPM codes and miniature codes. The cameras also identify colored and damaged codes, regardless of the marking method and surface. This ensures very good read rates, even at high speeds and with changing rotational positions of the codes.
-
Product
Static Elimination
-
Fraser Anti-Static Techniques Ltd
Cost-effective passive, AC or 24 V DC technology solutions for static neutralisation, dust removal and cleaning.
-
Product
Static Jack System
-
The servo actuator system applies static test force loads on structures at high precision to obtain their mechanical characteristics on an experimental basis.
-
Product
Static Control Devices
-
Panasonic Industrial Devices Sales Company of America
There are many production processes where electrostatic charges disturb smooth operation. To eliminate static, Ionizers are used.Whether the application is for the Semiconductor industry where the components are extremely sensitive and can even be damaged by high electric static charges or for the packaging industry, where plastic sleeves or foils tend to stick to each other, Panasonic has a solution to neutralize electrostatic charge.
-
Product
C++ Code Mapping
CODEFIX
-
CodeFix is a powerful tool for C/C++ Source Program Modification.
-
Product
Static Remover (Ionizer)
STABLO-AP
-
STABLO-AP provides reliable measurement by removing static electricity.
-
Product
Static Honest Meter
-
Sataton Instruments Technology CO., Ltd
Static honest meter is professional designed to determine the attenuation of static electricity, corona discharge time, static voltage attenuation half-life, static decay curve and other electric property of fiber, yarn, fabric, textile or plate materials. It is suitable for measuring the diffusibility of static in the testing samples.
-
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 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 Dissipative Footwear Tester
Sole-Mate
-
The Sole-Mate is a user friendly device that is designed to test the condition of static dissipative footwear prior to entering safety critical hazardous areas exposed to potentially ignitable atmospheres.
-
Product
PCI POST Code Display
post4d
-
During power on self-test (POST), most PC BIOSes will write diagnostic codes to port 80h or port 84h (jumper selection). Use post4d to display these codes on a dual digit LED display. Additional LEDs indicate the status of the power supply rails. Convenient business card size.
-
Product
miniPCI POST Code Display
post5a
-
miniPCI format to fit WRAP boards and most modern notebook PCs. During power on self-test (POST), most PC BIOSes will write diagnostic codes to port 80h or port 84h (auto select, whichever is written first). Use post5a to display these codes on a dual digit LED display. Additional LEDs indicate the status of the power supply rails.
-
-
Product
Static Locater/Meter
90930-10001
-
Easy to use+/- 10% Accuracy20 KV at 1 inch with polarity automatically selected.Can measure higher values be increasing distance to target. Size 11 X 6 X 2.5 cm ( 4.25 X 2.5 x 1 inches)Weight 150 gm (5 oz)
-
Product
Analysis
-
External appearance due to non-destructive semiconductor · X-ray fluoroscopic observation, SAT observation, electrical operation confirmation, ESD fracture analysis, plastic opening observation of Chip, search for abnormal portions by EMS / OBIRCH, package (PKG) analysis, Please do not hesitate to contact us anything related to semiconductor analysis, such as observation by polishing / parallel polishing (ball and bump observation etc.), peeling observation of defective part, analysis of foreign matter by EDX · FT - IR etc.
-
Product
Pitot Static Tester
ADSE 650
-
The ADSE 650 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 wings. This Pitot Static Tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.The large touch screen display, with on-screen help ,enables all checks to be carried out easily on the flight deck or in the cockpit, by a single operator.
