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
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
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
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
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
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
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 Locater/Meter
90930-10001
Easy to use+/- 10% Accuracy20 KV at 1 inch with polarity automatically selected.Can measure higher values be increasing distance to target. Size 11 X 6 X 2.5 cm ( 4.25 X 2.5 x 1 inches)Weight 150 gm (5 oz)
-
product
C/C++ Source Code Analysis
CODECHECK
CodeCheck is a programmable tool for checking all C and C++ source code on a file or project basis. CodeCheck is input compatible with all variants of Standard K&R C, Standard ANSI-C/C++, and all C and C++ compiler vendors. We support GCC-GNU Open Source C/C++ compilers. CodeCheck is designed to solve all of your Portability, Maintainability, Complexity, Reusability, Quality Assurance, Style Analysis, Library/Class Management, Code Review, Software Metric, Standards Adherence, and C++ Corporate Compliance Problems.
-
product
Static Tester
DRK151
Shandong Drick Instruments Co., Ltd.
The tester is applicable in testing the surface potential and the properties of anti-static products .This tester applies to test electrostatic voltage of charged object such as conductor, insulator, and the human body.
-
product
Static Elimination
Fraser Anti-Static Techniques Ltd
Cost-effective passive, AC or 24 V DC technology solutions for static neutralisation, dust removal and cleaning.
-
-
product
Static Generation
Fraser Anti-Static Techniques Ltd
Static generation systems, electrodes and IML accessories for safe, clean and controllable temporary adhesion.
-
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
Single-Phase Static Switches
ISSF "PLUS"
The solid state switches ISSF “PLUS" exceed the limitations of electromechanical switches for many difficult and demanding applications, such as the control of high power motors, transformers, tungsten lamps, heating elements, electric furnaces, etc.
-
product
Pitot Static Tester
ADSE 550
The ADSE 550 pitot static tester, housed in a plastic carrying case, is a portable, self contained field tester designed to test aircraft pilot ans static systems for leaks as well as the operation and calibration of airspeed, altimeter, engine pressure ratio, manifold pressure indicators, and other vacuum or low pressure units. The tester consists of a hand-operated vacuum pump, a hand-operated pressure pump vacuum and pressure gauges, 5 control valves, an altimeter and an airspeed indicator. The package accessories include two 25-foot hoses.
-
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
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
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
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
2D Code Reader
LP-ABR10
Panasonic Industrial Devices Sales Company of America
Code Reading, together with Laser Marking, is widely used to enhance production management and traceability. This is possible because the Code Readers from Panasonic are able to read 2D codes marked directly on products.Now users can combine a Panasonic Laser Marker with the new sensitive 2D Code Reader LP-ABR10 for higher-quality management.
-
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
Time Code Generators
Masterclock's time code generators provide a source of very stable time code and accurate time and date information. The GPS500 extracts timing reference from GPS satellite signals and generate time code synchronized to within less than 10 microseconds of UTC (Universal Coordinated Time). It can output IRIG-B with and without IEEE 1344 date encoding, SMPTE/EBU, NMEA 0183, Kinemetrics/Truetime, and 1PPS.
-
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
Static Installations
Innovative mounting solutions for maximizing the probability of intercepting Rad / Nuc sources.
-
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.
-
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 Test Equipment
Weice Testing Instrument Co.,Ltd.
IP Code, International Protection Marking, sometimes interpreted as Ingress Protection Marking, classifies and rates the degree of protection provided against intrusion (body parts such as hands and fingers), dust, accidental contact, and water by mechanical casings and electrical enclosures.
