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
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 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 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 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
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 Image Analysis System Particle Size
PSA300
The HORIBA PSA300 is a state of the art turn-key image analysis solution. Seamless integration of Clemex's powerful particle characterization software and an automated microscope with high-resolution camera creates an intuitive, easy-to-use imaging workstation. Addressing a need in the field of particle characterization, the PSA300 is a versatile particle size and particle shape analysis tool that can be used in a wide range of applications in the pharmaceutical industries and material science. It is a turn-key solution for labs that want to maintain an analytical microscopy environment with minimum intervention by the operator yet still yield maximum detail in the results.
-
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
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
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.
-
product
Code Test Optimizer
Clover
Clover provides the metrics you need to better balance the effort between writing code that does stuff, and code that tests stuff. Clover runs in your IDE or your continuous integration system, and includes test optimization to make your tests run faster, and fail more quickly.
-
product
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
Single-Phase Static Switches
ISSF COMPACT
ISSF 'COMPACT' series circuit breakers are electrical devices used to interrupt or connect the flow of current in an electrical circuit. They are designed to provide high reliability and protection in a compact size. They overcome the limitations of electromechanical switches in many difficult and demanding applications, such as the control of high-power motors, transformers, tungsten lamps, heating elements, and electric ovens.
-
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
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 Inverters
Our static inverters are designed as uninterruptible power supplies (inverter in conjunction with rectifier and battery) to bridge short-term interruptions, power failures, voltage fluctuations, frequency fluctuations or generally to compensate for power disturbances in the data processing sector and in automation and control systems. They are used to supply AC consumers, primarily in the rail and industrial sectors.
-
product
miniPCI POST Code Display
post5a
miniPCI format to fit WRAP boards and most modern notebook PCs. During power on self-test (POST), most PC BIOSes will write diagnostic codes to port 80h or port 84h (auto select, whichever is written first). Use post5a to display these codes on a dual digit LED display. Additional LEDs indicate the status of the power supply rails.
-
product
Source Code Review
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
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 Weathering Testing
Atlas Material Testing Solutions
Atlas' outdoor exposure sites provide a wide range static exposure testing for a variety of materials and end use conditions. Static (real-time) weathering testing capabilities include direct exposure using fixed or variable angle, backed or unbacked racks; indirect (under glass) exposure for interior materials; and black box exposure for paints and coating materials. Contact one of our qualified representatives to see which tests are right for you.
-
product
PITOT STATIC TESTER
ADSE 745
The ADSE 745 caters fully for all aircraft types and the different electrical power supplies.It can be used for testing high performance civil and military aircraft, fix and rotary wing. The multi-pressure outlets option can suit the more complex pilot-static-systems. This Pitot Static Tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.
-
product
Chemical Analysis
Chemical analysis involves determining the elemental constituents of a material. This information can then be used to determine if the material matches a required specification. At Keighley Laboratories analysis of a wide range of products covering many material types is undertaken although these are mainly metal or metal related products.
-
product
Precision Source Code
Miniport Code
We offer precision source code to jump start your development putting you close to the finish line right from the start.
