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
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 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
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
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
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
Code Analysis
Kiuwan
-
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
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 Measurement
-
Fraser Anti-Static Techniques Ltd
Accurate and versatile static measurement tools to investigate, monitor and maintain safety and productivity.
-
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
Precision Source Code
Miniport Code
-
We offer precision source code to jump start your development putting you close to the finish line right from the start.
-
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
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
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
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
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
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
Analysis
-
*Time & Frequency domain visualisation & analysis*Worldwide connectivity – Thin Client/Server Architecture*Interactive viewing & cursor interrogation*Mode definition & alignment*Order & mode tracking*Phase analysis with Cartesian and Polar plots*Third-octave analysis (also 1/6, 1/12, 1/24)*Rainflow and cycle-counting analysis
-
Product
Code Complexity Measurement Tool
CMT Java
-
The Code complexity measurement tool Testwell CMT++ (for C, C++ and C#) and Testwell CMTJava (for Java) saves costs and avoids software erosion. For this reasons several standards (like ISO 26262) require the enforcement of low code complexity.
-
Product
Time Code Generator
TCG
-
The TCG is an option for the SR-112 that enables the user to generate time code. Installation is very simple as it is software only and doesn’t require any hardware modification.
-
Product
Static Jack System
-
The servo actuator system applies static test force loads on structures at high precision to obtain their mechanical characteristics on an experimental basis.
-
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
Portable Bar Code Verifier
Laser Inspector 1000
-
The L1000 analyzes the essential traditional verification parameters including average bar deviation, quiet zones, encodation check, mod check and ratio where applicable. It also provides the ISO/ANSI method Decodability calculation and percent of decode information. Designed for maximum ease of use, even traditionally hard to verify bar codes such as high density codes with 5 mil (.13mm) X dimensions and codes on irregular, wet, shiny, laminated or moving surfaces are accurately analyzed.
-
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
Static Maneuver Module
CTB2PH
-
Lifasa - International Capacitors, SA
The static control units CTB2PH include, in a compact form, all the components necessary for the operation of three-phase capacitors. The CTB2PH modules employ thyristors instead of the classic contactors. The static maneuver is the ideal solution in installations in which the load current presents rapid and very large fluctuations (load changes in intervals ranging from a few tenths of a second to a few seconds).
-
Product
Static Frequency Converter Systems
-
Our software and connectivity devices incorporate all the features you need to proactively manage your systems, from basic monitoring and shutdown to predictive analysis and power management. Aplab Integration Services offer complete solutions tailored for the specific requirements of Defense Services, Telecom and Commercial markets.
