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 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
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 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 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
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
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 Meters
-
ETS static meters are offer accurate detection and measurement of static electricity found in the manufacture and handling of electronic, paper, plastic, textile, food, chemical, biomedical, and pharmaceutical products. In addition, these meters are invaluable for use in computer rooms, cleanrooms, hazardous environments, hospitals, and other locations that require the measurement of electrostatic fields. Chopper-stabilized models enable measurements in ionized environments.
-
Product
Code Coverage Tool
Testwell CTC++
-
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
-
-
Product
Code Repository Software
Helix TeamHub
-
Your code repository software is where you store your source code. This might be a Mercurial, Git, or SVN repository. Helix TeamHub can host your source code repository, whether it’s Mercurial, Git, or SVN. You can add multiple repositories in one project — or create a separate project for each repository.
-
Product
Pitot Static Tester
ADSE 746
-
The ADSE 746 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. Themulti-pressure outlets option can suit themore complex pilot-staticsystems.This Pitot Static tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems. The large touch screen display, with on-screen help, enables all checks to be carried out easily on the flight deck or in the cockpit, by a single operator. The test set is robust and housed in a mobile weatherproof case fitted with tire wheels. An attached bag contains the pressure hoses and electrical cables.
-
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 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
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
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
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
Static Generation
-
Fraser Anti-Static Techniques Ltd
Static generator for powering many of the electrostatic charging applications in industry.
-
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
Code Name: Twin Lake
MIO-5854
-
DDR5-4800 up to 16GB4x LAN, 4x USB, 4x UART, 2x CAN-FD, 16bit GPIO, I2C/SMBus2x M.2 Expansions: E-Key 2230, B-Key 2280Support EdgeBMC for OOB(Out-of-Band) remote control
-
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
Image-Based Code Readers
-
Versatile, high-performance, straightforwardImage-based code readers provide flexibility, high performance, convenience and simplicity. Even at fast conveyor speeds, SICK image code readers can reliably detect and evaluate 1D, 2D, DPM (direct part marking), and partially damaged codes. These readers identify markings on nearly any surface, including metal, glass, plastic or paper. Plus, different models, interfaces, and networking capabilities provide application flexibility.
-
Product
Code Coverage Branch Monitor
CCBM
-
Verified Systems International GMBH
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code.
-
Product
Gasoline/Fuel Analysis
-
A gas chromatograph is used for composition analysis of gasoline and its additives in order to improve fuels' performance. In addition to excellent performance, Shimadzu's GC systems improve productivity. For example, the Nexis GC-2030 system combines three standards into one to save analytical instrument and labor costs.
