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
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
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
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
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 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
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 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 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.
-
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
Pitot Static Tester
ADSE 550
-
The ADSE 550 pitot static tester, housed in a plastic carrying case, is a portable, self contained field tester designed to test aircraft pilot ans static systems for leaks as well as the operation and calibration of airspeed, altimeter, engine pressure ratio, manifold pressure indicators, and other vacuum or low pressure units. The tester consists of a hand-operated vacuum pump, a hand-operated pressure pump vacuum and pressure gauges, 5 control valves, an altimeter and an airspeed indicator. The package accessories include two 25-foot hoses.
-
Product
Static Charge Checker
STME-STATCHK
-
Statclean Technology (S) Pte Ltd
This is an ideal training kit for verifying and demonstrating the level of static charges generated by persons in an ESD sensitive area.It also demonstrates the effectiveness of eliminating static charges when a person is properly gounded by a wrist strap.NOTE: Product comes with 9V alkaline battery and a carrying case
-
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
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 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
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
-
Product
Code Readers/Code Scanners
AutoLink AL629
-
The AutoLINK AL629 can read and erase codes on domestic, Asian and European vehicles, 1996 and newer. In addition to scanning engine codes, the AL629 can also scan ABS, SRS (airbag) and transmission systems for codes.
-
Product
Single-Phase Static Switches
ISSF COMPACT
-
ISSF 'COMPACT' series circuit breakers are electrical devices used to interrupt or connect the flow of current in an electrical circuit. They are designed to provide high reliability and protection in a compact size. They overcome the limitations of electromechanical switches in many difficult and demanding applications, such as the control of high-power motors, transformers, tungsten lamps, heating elements, and electric ovens.
-
Product
Pitot / Static Tester
ADSE 743
-
The ADSE 743 caters fully for all aircraft types and the different electrical power supplies.
-
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
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
Chemical Analysis + Surface Analysis
-
Rocky Mountain Laboratories, Inc.
An independent surface chemistry and microanalysis laboratory to serve the needs of industrial, academic, and governmental clients. Our objective – to provide real-world solutions for industries with materials and process development needs – is as fundamental to our organization today as when we began. Over the years we have strived to adapt our services to the specific needs of these clients.
-
Product
Portable Bar Code Verifier
Laser Inspector 1000
-
The L1000 analyzes the essential traditional verification parameters including average bar deviation, quiet zones, encodation check, mod check and ratio where applicable. It also provides the ISO/ANSI method Decodability calculation and percent of decode information. Designed for maximum ease of use, even traditionally hard to verify bar codes such as high density codes with 5 mil (.13mm) X dimensions and codes on irregular, wet, shiny, laminated or moving surfaces are accurately analyzed.
-
Product
Code Complexity Measurement Tool
CMT Java
-
The Code complexity measurement tool Testwell CMT++ (for C, C++ and C#) and Testwell CMTJava (for Java) saves costs and avoids software erosion. For this reasons several standards (like ISO 26262) require the enforcement of low code complexity.
