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
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 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
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
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 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
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
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
Source Code Review
Source code review, also known as Security Code Review is the process of auditing the source code for an application to verify that the proper security controls are present, that they work as intended, and that they have been invoked in all the right places. Code review is a way of ensuring that the application has been developed to be “self-defending” in its given environment.
-
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
Static Maneuver Module
CTB2PH
Lifasa - International Capacitors, SA
The static control units CTB2PH include, in a compact form, all the components necessary for the operation of three-phase capacitors. The CTB2PH modules employ thyristors instead of the classic contactors. The static maneuver is the ideal solution in installations in which the load current presents rapid and very large fluctuations (load changes in intervals ranging from a few tenths of a second to a few seconds).
-
product
Code Coverage Analyzer
BullseyeCoverage
BullseyeCoverage is a code coverage analyzer for C++ and C that tells you how much of your source code was tested. You can use this information to quickly focus your testing effort and pinpoint areas that need to be reviewed. Code coverage analysis is useful during unit testing, integration testing, and final release. BullseyeCoverage enables you to create more reliable code and save time.
-
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
Static Generation
Fraser Anti-Static Techniques Ltd
Static generation systems, electrodes and IML accessories for safe, clean and controllable temporary adhesion.
-
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
Static Soil Tester
GEO-probe
The complex is implemented on the basis of a portable computer and the CompactRIO control and measuring system. The software for recording and displaying measured signals and control of measuring equipment is developed on LabVIEW. The second modification of the measuring system includes, developed by our company, a miniature digital measuring module of a strain gage with a built-in ADC and inclinometer and a USB interface for connecting the digital measuring module of the probe to the computer.
-
product
Time Code Translators
A universal SMPTE longitudinal time code processor that provides a variety of needed time code processing functions to keep up with the changes and requirements of dealing with multi format longitudinal time code.
-
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
2D Code Reader
LP-ABR10
Panasonic Industrial Devices Sales Company of America
Code Reading, together with Laser Marking, is widely used to enhance production management and traceability. This is possible because the Code Readers from Panasonic are able to read 2D codes marked directly on products.Now users can combine a Panasonic Laser Marker with the new sensitive 2D Code Reader LP-ABR10 for higher-quality management.
-
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
Anti Static Nozzles
is a high-performance ionization source, designed to simultaneously neutralize static charges and remove electrostatically bonded particulate from surfaces.
-
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
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
Time Code Generator
TCG
The TCG is an option for the SR-112 that enables the user to generate time code. Installation is very simple as it is software only and doesn’t require any hardware modification.
-
product
Static Axial Clip-On Extensionmeters
2630-100 Series
The Instron static axial clip-on extensometer delivers precise strain measurement for static tests by quickly clipping to specimens (metals, plastics, composites) with minimal attachment force. Its rugged cross-brace design resists distortion, includes built-in over-extension protection, and meets ASTM E83 / ISO 9513 standards — making it a reliable, high-accuracy option for general and temperature-controlled testing.
-
product
Code Coverage Tool
Testwell CTC++
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
