-
product
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
Source Code Defect Analysis
TotalView® Debugger
Dynamic source code and memory debugging for C, C++ and Fortran applications. TotalView provides analytical displays of the state of your running program for efficient debugging of memory errors and leaks and diagnosis of subtle problems like deadlocks and race conditions.
-
product
Static Code Analysis Tool
Klocwork
Detect security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.
-
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
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
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
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
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 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
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 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
Ada Source Code Analyzer
CodePeer
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
product
Model-Based Code Development and Verification
QGen
QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink and Stateflow models. It reduces the development and verification costs for safety-critical applications through qualifiable code generation, model verification, and tight integration with AdaCore's qualifiable simulation and structural coverage analysis tools.
-
product
Source to Object Code Analyser
RTT-STO
Verified Systems International GMBH
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.
-
product
Coverage Analysis
VeroSource
VeroSource-A verifies that all complex decisions (i.e., decisions with at least two conditions) have taken all possible outcomes; and that every condition within the decision has taken all possible outcomes that have independently affected the decision’s outcome. VeroSource automates the capture and structural coverage analysis of the source code under test.
-
product
Coverage Analysis
VerOCode
VerOCode can use the same requirements-based tests that were used in functional testing to automate the capture and analysis of structural coverage testing without instrumenting the code under test. This is part of the process used at Verocel. It then records and displays the instructions executed in a program under test, and for conditional instructions, records and displays the state of the condition code at each execution of the instruction. Structural coverage is obtained at the machine code level using the integrated image, with results reported through an annotated program listing containing the source and machine code level expansion
-
product
Coverage Analysis Tool
GNATcoverage
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.
-
product
Mainframe Debugging and Analysis
Xpediter
Xpediter is Compuware's mainframe application interactive debugging and code coverage solution. When an application experiences a problem, developers need to get into an interactive test session to solve the issue. However, complex setup procedures make this a time-consuming step and delay the resolution process.Compuware's mainframe debugging and analysis tool Xpediter enables developers to get into an interactive test session with minimal effort and quickly move applications into production with greater confidence.
-
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
Software Composition Analysis
SCA
Black Duck® software composition analysis (SCA) helps teams manage the security, quality, and license compliance risks that come from the use of open source and third-party code in applications and containers.
-
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
Image Color Analysis (iOS)
Color Analysis App allows you to perform deep color analysis for any image. you can select local stored image or take a picture from your smartphone camera. after the image has been processed you will get the color information : such as color name , RGB, Hex Code,Color Percent. the colors will be sorted from the most from the most dominance color to the less significant.You can also send the image color analysis results (as a PDF) using your email.
-
product
Structural Analysis Professional Software
Robot™
Robot Structural Analysis Professional software provides engineers with advanced BIM-integrated analysis and design tools to understand the behavior of any structure type and verify code compliance.
-
product
In-depth Execution Time Analysis For Critical Software
RapiTime
*Timing analysis (inc. WCET) for Ada, C & C++ on-target & host**Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
product
Zero-footprint Event-level Scheduling Analysis For Critical Software
RapiTaskZero
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
product
360 DV-Inspect
Automatic and exhaustive analysis of a code base for classic implementation problems.
-
product
AFDX®/ARINC664P7 Modules
AIM’s AFDX®/ARINC664P7 test, simulation, monitoring and analysis modules use our field proven Common Core hardware design giving you the best performance, best feature set and highest functional integration on the market. The use of SoC (System on Chip) based core designs with multiple processors for real time bus protocol and application support, massive memory and IRIG-B time code encoder/decoder functions are standard. Versions are available to support the Boeing specific ARINC664P7 extensions.
-
product
AINC 429 Multichannel Interface with Additional ARINC-717 Receive & Transmit Channels
DAS-429UNET/RT8-717
The DAS-429UNET/RT8-717 is an ARINC 429, multichannel interface card with additional ARINC-717 receive and transmit channels. Its small size and ability to interface through USB or Ethernet interfaces make it a complete solution for developing, testing and performing system simulation of the ARINC 429 & ARINC-717 bus, both in the lab and in the field.Multiple units can operate via USB ports on the same computer. In addition, multiple units can operate on the same network, by programming each...show more
