Static Code Analysis
-
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 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
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 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
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
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
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
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
Time Code Distributor/Reshaper
SR-112
-
Like it’s big brother the SR-112 Distripalyzer, the SR-28 can drive time code over long cables, making it ideal for synchronization during live shows and remote recording. The SR-28 time code distributor, with two inputs and eight outputs, reshapes time code while distributing it, eliminating amplitude distortions and level fluctuations. The level of each output is individually adjustable via front panel pots. The input is selected via a front panel switch. Also included are 2 power inputs and an automatic switch over in case of failure.
-
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
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
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 Measurement
-
Fraser Anti-Static Techniques Ltd
Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.
-
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
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
Portable Bar Code Verifier
Inspector 5000 Auto Optic
-
The Inspector 5000 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. Store and print capability, multiple scan averaging and subsymbology choices are easily accessed through a simple seven-button user interface with a large color LCD display. The scanners are easily installed by the user, which makes the unit quickly adaptable to practically any verification requirement.
-
Product
Static Remover (Ionizer)
STABLO-AP
-
STABLO-AP provides reliable measurement by removing static electricity.
-
Product
Code Coverage Analyzer
BullseyeCoverage
-
BullseyeCoverage is a code coverage analyzer for C++ and C that tells you how much of your source code was tested. You can use this information to quickly focus your testing effort and pinpoint areas that need to be reviewed. Code coverage analysis is useful during unit testing, integration testing, and final release. BullseyeCoverage enables you to create more reliable code and save time.
-
Product
PCI POST Code Display
post4d
-
During power on self-test (POST), most PC BIOSes will write diagnostic codes to port 80h or port 84h (jumper selection). Use post4d 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
Ionization Anti Static Blower
-
Ionization or anti static blowers are the most versatile ionizer to control or remove static electricity from plastic, paper, glass and other non conductive materials. This static control blower offers the ability to cover a large area cost effectively. This static control equipment is an excellent choice to reduce static electricity and reduce operator static shocks and production applications needing large area coverage.
-
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
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
Anti Static Bars
-
Static bars, also known as, static eliminators or anti static bars, are a very cost effective way to remove static electricity on a web of material in a plastics, paper, glass, textile, and or film converting applications. All of these static bars are bi-polar ionization generators (produce both positive and negative ionization) to remove static electricity. Remember - A clean static bar is more effective.
-
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 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.
-
