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
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
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
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 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 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 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 Elimination
-
Fraser Anti-Static Techniques Ltd
Cost-effective passive, AC or 24 V DC technology solutions for static neutralisation, dust removal and cleaning.
-
Product
Code Readers/Code Scanners
AutoLink AL329
-
The AutoLINK AL329 is the perfect DIY tool to scan your OBDII vehicle for engine codes. Quickly check malfunction indicator light status and cause.
-
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
Time Code Converters
-
Time Codes are like different languages. All too often communication between various equipment/devices is impossible due to a "language barrier." When you encounter this type of "language barrier," a Time Code Converter can offer a very simple and cost-effective solution by "translating" a time code. ESE provides several Time Code Converters and Time Code Displays with the ability to convert one time code to another. Time Code to NTP Converter units are the most recent addition to this product family.
-
Product
Bar Code Verifier
TP140B Report Printer
-
The TP140B Report printer allows for printing of inspection reports from your Inspector series bar code verifier. The printer provides a simple report that will have a line for each bar code inspected. Note: The Verifier Computer Interface Report (VCIR) is required if you need the Scan Reflectance Profile (SRP).
-
-
-
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
Static Var Compensator
-
GE Vernova’s Static Var Compensator (SVC) solutions are a cost-effective and efficient means to provide dynamic voltage support and maintain the reliability and efficiency of power supply. These solutions are highly reliable, easy to integrate into both existing and new infrastructures, and reduce the investment required for building new network extensions.
-
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 Processors
TSync
-
Safran Federal Systems' TSync time code processors are complete, synchronized timecode reader/generator boards and peripheral slot cards, offering flexibility and easy integration for mission-critical embedded applications.
-
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
Static Locator
983v2
-
The Model 983v2 Static Locator provides accurate measurement of electrostatic charges. Its design enables fast response, low drift and ease of operation. The 983v2 can operate in ?Continuous? or ?Peak Hold? mode to record changes in the level of charge or the highest charge detected respectively.
-
Product
Pitot / Static Tester
ADSE 743
-
The ADSE 743 caters fully for all aircraft types and the different electrical power supplies.
-
Product
Time Code Generators
-
Masterclock's time code generators provide a source of very stable time code and accurate time and date information. The GPS500 extracts timing reference from GPS satellite signals and generate time code synchronized to within less than 10 microseconds of UTC (Universal Coordinated Time). It can output IRIG-B with and without IEEE 1344 date encoding, SMPTE/EBU, NMEA 0183, Kinemetrics/Truetime, and 1PPS.
-
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 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
Code Readers/Code Scanners
AutoLink AL529HD
-
The AutoLINK AL529HD is a heavy duty engine code reader for vehicles class 1 (0-6,000LBS) – class 9 (33,000LBS). It can read and erase heavy duty engine DTCS, supports J1939 and J1708 heavy duty protocols, can graph/record/playback live data, and display live and freeze frame data.
-
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.
