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
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 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
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 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
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
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
product
Static Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
product
Static Generation
Fraser Anti-Static Techniques Ltd
Static generator for powering many of the electrostatic charging applications in industry.
-
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
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 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 Remover (Ionizer)
STABLO-AP
STABLO-AP provides reliable measurement by removing static electricity.
-
product
Static Charge Checker
STME-STATCHK
Statclean Technology (S) Pte Ltd
This is an ideal training kit for verifying and demonstrating the level of static charges generated by persons in an ESD sensitive area.It also demonstrates the effectiveness of eliminating static charges when a person is properly gounded by a wrist strap.NOTE: Product comes with 9V alkaline battery and a carrying case
-
product
Pitot Static Tester
ADSE 643
The ADSE 643 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.This Pitot Static tester is designed primarily for flightline use to cover the testing of all barometric and manometric pressure instrument systems.The ease of use and portability enables all checks to be carried out easily on the flight deck or in the cockpit, by a single operator.The test set is housed in an anodized metal and rugged case.An attached case contains the pressure hoses and electrical cables.
-
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
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
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
Digital Static Field Meter
Model 715B
- Assess electrostatic fields or charge on objects- Measures up to ±19.99 kV at a distance of 1 inch- Accuracy of <±5% in both normal and ionized environments- Uses a chopper stabilized sensor- LED ranging lights for positioning the meter at the right distance- Zero function allows the display to be adjusted to zero (0)- Hold feature to lock the reading on the display- Low battery indicator on the display- 1-year limited warranty
-
product
Static Modular Systems
Basic systems with single level or multiple level outputsbased on one or multiple lamps. Choose size andlight levels to meet your needs and budget.
-
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
Static Field Meter
This contactless precise electrostatic field meter can immediately sensor the static voltage on a charged body without contact. The measuring range is 0.010kV ~ 20.000kV with the sensing distance 1 inch (2.54cm). The meter provides alarm function for prompt.
-
product
S-Beam Static Load Cells
2519 Series
The 2519-xxxN Series load cells are specifically designed for use with 3300 single column testing systems. Automatic transducer recognition and electrical calibration makes them easy to use. The load cells incorporate overload protection and can withstand loads up to 150% of their force capacity without damage and 300% without mechanical failure. The load cells allow the user to zero out the tare weight of a grip or fixture that weighs up to 40% of the force capacity, while still maintaining the full specified accuracy.
-
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
Vibrational Analysis
GEMINI-2
GEMINI-2 is the compact solution for HVSR, MASW and Vibrational Analysis: a single waterproof container with integrated high-performance 3D geophone and low resonance frequency (2Hz sensors, suitably coupled) and a powerful real 24-bit acquisition card with USB port for connection to an external PC.
-
product
Analysis System
Trident (EDS-EBSD-WDS)
The Trident Analysis System combines the latest advances in Energy Dispersive Spectroscopy (EDS), Electron Backscatter Diffraction (EBSD), and Wavelength Dispersive Spectrometry (WDS) in a single analytical tool. With the Smart Features included in the easy to use EDAX analysis software, each technique can be optimized and used independently or they can be combined to provide seamless integration, resulting in comprehensive data collection that can then be shared between the different techniques.
