Filter Results By:
Products
Applications
Manufacturers
-
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
Klocwork
Detect security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.
-
product
Source to Object Code Analyser
RTT-STO
Verified Systems International GMBH
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.
-
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
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
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 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 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
Static Design Verification
ALINT-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
-
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 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
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 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
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
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
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 Load Cells
2580 Series
Instron® load cells are a key part of a materials testing system. Instron is the only global materials testing supplier that designs and manufactures its own load cells. This ensures that Instron load cells meet the unique requirements of materials testing such as; high accuracy over a wide measurement range, high stiffness, resistance to offset loads, accurate alignment and excellent zero stability. The 2580-xxxN Series load cells are specifically designed for use with 5900 testing systems; offering exceptional performance with the ability to measure forces as low as 1/1000th of the force capacity to an accuracy of 0.5% of reading.The load cells can withstand loads up to 150% of their force capacity without damage and 300% without mechanical failure. Automatic transducer recognition and electrical calibration, makes them easy to use. The load cells allow the user to zero out the tare weight of a grip or fixture that weighs up to 10% of the force capacity, while still maintaining the full specified accuracy.
-
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 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
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
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 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
Testing C/C++ Code With TPT
You can test C/C++ code via the TPT-internal virtual machine or by using the TPT-internal co-simulation platform FUSION.The test environment that is needed to connect the C-code with TPT can be generated automatically by TPT.You can use multidimensional arrays, maps, curves, and structured data types in your test settings. Function calls and function stubs are also supported by TPT.You can even debug your C-code during testing. Tools like GCC, Visual Studio, BCC, or LLVM can be used to compile the executable.
-
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
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
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.
