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
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 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
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 Elimination
-
Fraser Anti-Static Techniques Ltd
Cost-effective passive, AC or 24 V DC technology solutions for static neutralisation, dust removal and cleaning.
-
Product
C++ Code Mapping
CODEFIX
-
CodeFix is a powerful tool for C/C++ Source Program Modification.
-
Product
Pitot Static Indicator
ADSE 740
-
The ADSE 740 is a complete high performance dual pressure Ps and Pt standalone test bench specially designed to be used in the workshop or in the laboratory to test and calibrate all air data equipment such as altimeters, vertical speed indicators, air speed indicators, MACH-meter, air data computers ...) and sensors.
-
Product
Pitot Static Tester
ADSE 746
-
The ADSE 746 caters fully for all aircraft types and the different electrical power supplies. It can be used for testing high performance civil and military aircraft, fixed and rotary wing. Themulti-pressure outlets option can suit themore complex pilot-staticsystems.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. The test set is robust and housed in a mobile weatherproof case fitted with tire wheels. An attached bag contains the pressure hoses and electrical cables.
-
Product
Static Tester
DRK151
-
Shandong Drick Instruments Co., Ltd.
The tester is applicable in testing the surface potential and the properties of anti-static products .This tester applies to test electrostatic voltage of charged object such as conductor, insulator, and the human body.
-
Product
Single-Phase Static Switches
ISSF "PLUS"
-
The solid state switches ISSF “PLUS" exceed the limitations of electromechanical switches for many difficult and demanding applications, such as the control of high power motors, transformers, tungsten lamps, heating elements, electric furnaces, etc.
-
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
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
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.
-
-
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 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
Energy Saving Static Converter
-
The ENERGY SAVING static converter serves to generate a controlled squarewave single-phase alternate voltage (low frequency: 25 ÷ 125Hz) for industrial applications requiring high load power supplied by an external matching transformer. The power supply, sectioned by remote control switch and external fuses, is fed by a three-phase electric line via uncontrolled diode bridge and filtered by inductor and capacitor battery. The DC voltage thus obtained is converted into single-phase alternating voltage via “H”-shape bridge of semiconductors in order to control impressed frequency single-phase transformers.
-
Product
Portable Bar Code Verifier
Inspector Model D4000 CR2 Scanner
-
The Model D4000 CR2 Scanner provide a Point-and-Shoot Traditional Method that also includes the ISO 15416 and ANSI X3.182 Decodability parameter grade. This unique portable bar code verifier can interface with either the patented RJS Auto-Optic scan head or a CR2 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 Constant Loading Tester
-
Static Constant Loading Tester is mainly used to determine the resistance to the axial static constant load of plastic manhole. A constant force is steadily loaded on the axial direction of the manhole for the specified time, when the test is finished, observing the sample appearance (deformation, collapse, crack or crazing), determine the deformation in axial direction and calculate the deformation ratio of manhole. The machine is also suitable for ring stiffness test, flattening test, ring softness test of thermoplastic pipes.
-
Product
Thermal Analysis
-
The TORC (Thermo-optical Oscillating Refraction Characterization) technique applies decades of know-how in optical instrumentation to thermal analysis in a novel and unique way. The technique requires minimal sample preparation at maximal tolerance for sample properties. You can determine the coefficient of thermal expansion, glass and phase transitions as well as polymerization for various samples: liquids, gels, pastes, and certain solids. For example: cured and uncured resins, adhesives, glues, etc. can easily be characterized. Both thermal and time-dependent processes can be monitored with minimal effort.
-
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
Gas Analysis
FLOW EVO
-
SmartGAS NDIR sensors offer many advantages for successful gas analysis and are ideal for process control. They are convincing where extreme precision and reliability are required. Various versions can be combined easily, which thus allows complex measurement tasks. All smartGAS sensors are characterized by low detection limits, low drift, a wide temperature range and extremely low operating and maintenance costs.
