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
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
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
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 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
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 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 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 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 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
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 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
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
Image-Based Code Readers
-
Image-based code readers combine performance and flexibility. In demanding applications, they read a variety of code types such as 1D or 2D codes, DPM codes and miniature codes. The cameras also identify colored and damaged codes, regardless of the marking method and surface. This ensures very good read rates, even at high speeds and with changing rotational positions of the codes.
-
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
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
Portable Bar Code Verifier
Inspector Model D4000 Auto Optic
-
The Model D4000 Auto Optic provides ISO 15416 and ANSI X3.182 Method. This unique portable bar code verifier can interface with either the patented RJS Auto-Optic scan head or a laser scanner (either in a single piece or connected with a cable). Store and print capability, multiple scan averaging and subsymbology choices are easily accessed through a simple four-button user interface. The scanners are easily installed by the user, which makes the unit quickly adaptable to practically any verification requirement.
-
Product
Static Friction Coefficient Tester
JMY-16
-
Shanghai Dean Electrical Co., Ltd
Executive standard: GB/T4074.4-2008; Inspection standard: JB/T4279.16-2008Used to detect static friction coefficient (μs) of enameled round wires with nominal conductor diameter ranging from 0.050mm to 1.600mm;The application of high-end SCM control allows for high sensitivity and excellent repeatability.Four-digit LED would automatically display static friction coefficient (μs) of sample;
-
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
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
ISA POST Code Display
post2b
-
Post2b = ISA POST code display, not RoHS compliant (can be considered test equipment, not subject to RoHS). Spec? During power on self-test (POST), most PC BIOSes will write diagnostic codes to port 80h. Use post2b to display these codes on a dual digit LED display. Additional LEDs indicate the status of the power supply rails. Convenient business card size?
-
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 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
Structural Analysis
-
With proven accuracy every time, Altair offers industry-leading engineering analysis and optimization tools from simulation-driven design concepts to detailed virtual product validation and simplified modeling workflows to advanced high-fidelity model building. Whether big or small, our customers trust their decision making to Altair, the pioneer of simulation-driven design.
-
Product
Data Analysis
-
Power Monitoring and Diagnostic Technology Ltd.
PMDT Engineers are always available to review your test samples and to provide guidance to users in the field. Our PD experts have the ability to accurately analyze various types of field test data based on PRPD/PRPS spectrums, waveforms and audio files collected during a field test.
-
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
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.
-
Product
Static Tester for Lab and Workshop
ADSE 715 RS
-
The ADSE 715 is a complete high performance single pressure Ps stand-alone 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 data computers ) and sensors. The high precision embedded sensors enable the ADSE 715 to be used as a pressure standard. The user interface running on a PC connected through USB link is programmed underWindows and Labview, with a data base managed in a spreadsheet for easy evaluation, management, statistics and presentation.
