Filter Results By:
Products
Applications
Manufacturers
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 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
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
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
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
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
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
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 Tester
Electrostate tester with LED indicator for the detection of static charge in the plus and minus range. An indispensable, inexpensive tool for the assessment and selection of materials in the living area, as well as the quality of the room climate.Buy Data Sheet
-
product
Static & Lighting Chokes
Lighting chokes are used to pass tower lighting voltages across the base insulator of a series-fed tower without appreciably altering the tower impedance. LBA TC-300 general purpose tower lighting chokes are provided for three wire 110/220 VAC circuits. Maximum current is 25 amps. These chokes are rated for peak base voltages to 10,000 volts, and present a typical reactance of +j5000 ohms at 530 kHz. Bypass capacitors are provided on each winding.
-
product
Static Switches
Static, or solid-state, switches are electronic devices for switching and driving resistors that provide a longer service life than electromechanical relays. Static switches are used to control high-power motors, transformers, tungsten lamps, heating elements and in many of the difficult and heavy-duty applications typical of industries using electric ovens, in the glass and plastics industries.
-
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
Analysis
External appearance due to non-destructive semiconductor · X-ray fluoroscopic observation, SAT observation, electrical operation confirmation, ESD fracture analysis, plastic opening observation of Chip, search for abnormal portions by EMS / OBIRCH, package (PKG) analysis, Please do not hesitate to contact us anything related to semiconductor analysis, such as observation by polishing / parallel polishing (ball and bump observation etc.), peeling observation of defective part, analysis of foreign matter by EDX · FT - IR etc.
-
product
Static Installations
Innovative mounting solutions for maximizing the probability of intercepting Rad / Nuc sources.
-
product
Pitot / Static Tester
ADSE 743
The ADSE 743 caters fully for all aircraft types and the different electrical power supplies.
-
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
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
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
Verissimo SystemVerilog Testbench Linter
SystemVerilog is a rich object-oriented programming language that provides powerful constructs and a high level of programming flexibility. Such capabilities meet the needs of today's complex design and verification requirements, but at the same time introduce new challenges in code development. For example, the possibility of implementing the same functionality in multiple ways may impact the simulation performance or lead to unexpected behavior.
-
product
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
product
Anti Static Nozzles
is a high-performance ionization source, designed to simultaneously neutralize static charges and remove electrostatically bonded particulate from surfaces.
-
product
IP code Testing
Educated Design & Development, Inc.
Complies with various IEC, EN, CE, VDE, UL & CSA requirementsUnit comes with NIST traceable / ISO 17025 accredited certificate of calibration.ED&D is ISO 17025 accredited by ACLASS, an ILAC Member. Measurement data and uncertainty data is available.Uses RTS-01 Rain Spray Head
-
product
Code Complexity Measurement Tool
Testwell CMT++
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.
-
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
Impact Analysis
MetaDex™
Allows you to instantly see the impact of any changing data object or application on all downstream objects and applications.
-
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
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
Code Verification Systems for Machine-Readable Barcodes
Nearly all products in today´s world provide coded information. Manufacturer data, product IDs, prices, item numbers and so on are translated into machine-readable barcodes. This information needs to be read at supermarket checkouts and at many places in operational goods logistics in an error-free, fast and reliable manner.
