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
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
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
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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 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
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
Code Integrity
JScrambler
If you develop a security sensitive Web Application we believe that you don''t want to give any bonuses to possible attackers. JScrambler enables you to conceal as much as possible, the logic of your application, such as what information is gathered from the user, how it is processed on the client-side, how it is sent to the servers-side. Since our obfuscation introduces a certain level of randomness, it allows you to explore code morphing techniques, which can be vital in precluding attack automation.
-
product
Static Analysis Tool
CodeSonar
Automated static analysis designed for zero-tolerance defect environments. CodeSonar, GrammaTech''s flagship static analysis software, identifies programming bugs that can result in system crashes, memory corruption, leaks, data races, and security vulnerabilities. By analyzing both source code and binaries, CodeSonar empowers developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle.
-
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
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
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
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 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
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 Field Meter
This contactless precise electrostatic field meter can immediately sensor the static voltage on a charged body without contact. The measuring range is 0.010kV ~ 20.000kV with the sensing distance 1 inch (2.54cm). The meter provides alarm function for prompt.
-
product
Pitot Static Tester
ADSE 643
The ADSE 643 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.This Pitot Static tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.The ease of use and portability enables all checks to be carried out easily on the flight deck or in the cockpit, by a single operator.The test set is housed in an anodized metal and rugged case.An attached case contains the pressure hoses and electrical cables.
-
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 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
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
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 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 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
HEAVY-DUTY CODE READER
MDBSCHD240
*Color display*Rugged enclosure for durability*Global OBDII quick test*Gasoline and diesel engine coverage*Read and clear diagnostic trouble codes*On-screen text in Spanish, French and English*On-screen definitions of diagnostic trouble codes*Set measurement units in SAE English/Metric*Internet upgradeable
-
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
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.
