Filter Results By:
Products
Applications
Manufacturers
-
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
STANAG3910/EFEX Modules
AIM’s STANAG3910/EFEX 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. The latest versions also support avionics discrete I/O. Configurations with dual redundant concurrent HS/LS Bus Controller (BC), Multiple Remote Terminals, and Chronological/Mailbox Bus Monitor operation with full HS/LS protocol error injection/detection, multi-level triggering, advanced capture/filtering and real time bus recording, time stamping and physical bus replay ensure your bus integrity. Support for EFAbus Direct Digital Links (DDL), Fibre Optic DDL (FODDL) and EFAbus Express extensions (Mixed Mode and Dual Mode operation) are available. To support the French ‘Rafale’ aircraft, modules are available with an Electrical Front End. Single Function variants support cost effective solutions. Each module is delivered with a Board Support Package (BSP) containing the onboard driver software, a full Application Programming Interface (API) and detailed getting started and programming guides. Powerful PBA.pro databus test and analysis software is optionally available for all our STANAG3910 modules.
-
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
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
Interface for Two Dual-Redundant 1760 Channels
EXC-1553PCMCIA/Px-1760
This credit card sized interface supports up to two dual redundant 1760 channels and is compatible with all common variations of MIL-STD-1760 providing a wide range of features normally found only on full size testers. Each channel of the EXC-1553PCMCIA/Px-1760 operates simultaneously as a Bus controller and/or multiple (up to 32) Remote Terminals, or as a Triggerable Bus Monitor. The card supports Checksum, SRQ bit and Header Words as well as error injection and error detection. The card’s small size and compatibility with notebook computers make it the perfect solution for performing system simulation of the MIL-STD-1553 bus, in the lab and in the field.The EXC-1553PCMCIA/Px-1760 card is supplied with C drivers, including source code, Merlin+ Windows software and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application.
-
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
PANAVIA Modules
AIM’s PANAVIA 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 design with one processor for real time bus protocol support, massive memory and IRIG-B time code encoder/decoder functions are standard. AIM delivers versions of our modules with extended temperature range and conformal coating. With 8 Tx and 8 Rx channels per module, functions include autonomous transmit sequencing, continuous clock and data transmissions, host controlled double buffering, programmable interrupts, data selection on specific tag identifier, selectable triggers on data and/or tags with full protocol error injection/detection, real time bus recording and time stamping to ensure your bus integrity. Each module is delivered with a Board Support Package (BSP) comaptible to the legacy PCI and cPCI hardware modules.
-
product
Structural Engineering And Design
AEC
Altair's architecture, engineering, and construction (AEC) solutions offer unparalleled productivity for building and non-building structures with their advanced versatility, integration, and data management capabilities. Our analysis and design solutions simulate responses to a range of dynamic, nonlinear loading conditions, including wind, snow, water, seismic, blast, dead, live, and moving loads – all while ensuring design resiliency and regional code compliance.
-
product
Software Platform Bundle
The Software Platform Bundle provides the entire NI software portfolio for building any application. Develop applications in multiple environments, including LabVIEW Professional, LabWindows/CVI, and Measurement Studio. Extend the functionality of the LabVIEW development environment with all add-ons to perform code deployment, hardware integration, data analysis, and code validation. Build automated test systems with TestStand and real-time test systems with VeriStand.
-
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
IQ Test Team Edition
McCabe
McCabe IQ Test Team Edition provides comprehensive test / code coverage to focus, monitor, and document software testing processes. Using industry-standard testing methods and advanced dynamic analysis techniques, McCabe IQ Test Team Edition accurately assesses the thoroughness of your testing and aids in gauging the time and resources needed to ensure a well-tested application.
-
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
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
Spirent SecurityLabs
The Spirent SecurityLabs’ services are structured to produce high-impact results with minimal impact on the client organization. Our dedicated teams of experienced security professionals offer comprehensive scanning, penetration testing and monitoring services for networks, applications and devices, as well as source code analysis.
-
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
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
TimeMachine Debugger Suite
Advanced debugging and visualization capabilities enable embedded developers to find and fix bugs faster. Optimize with ease Powerful performance analysis tools help you more easily tune your embedded systems for optimal performance. Test with confidence Unique code coverage tools ensure comprehensive system testing.
-
product
Intelligent Interface Card
IIB-1553-PC104+
The IIB-1553-PC104+ is an intelligent interface card giving full MIL-STD-1553 test, simulation and bus analysis capability on the PC104+ bus, providing 1553A, 1553B, McAir and STANAG 3838 variants in a single card. The IIB-1553-PC104+ supports concurrent Bus Controller (BC) and up to 31 Remote Terminals (RT) with Bus Monitor (BM). An additional stand-alone Chronological Bus Monitor (CBM) facility is also provided, with comprehensive multi-level triggering capability. Full error injection capability is provided in BC and RT modes, with full error detection in BC, RT, BM and CBM modes. The unit provides a variable amplitude dual redundant 1553 interface. 2 Mbytes of dual ported RAM are provided. The board is supplied with C drivers in source code and Windows menu driven software as standard.
-
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
Inspecode
GitHub and Bitbucket integration, custom error thresholds allowed to merge PRs, and parralelized analysis means dramatically more efficient code reviews.
-
product
PCMCIA Card
DAS-429PCMCIA/RT10
Both cards contain 68 Kbytes of true dual-port RAM, for data blocks, control registers and Look-up table, mapped within the Common Memory space. The card also contains a FLASH-based Card Information Structure (CIS) within the Attribute Memory space.The cards comply with the Personal Computer Memory Card International Association (PCMCIA Release 2.1) standard, including Plug and Play. The card's small size and suitability for PCMCIA compatible notebook computers with Type II and Type III slots make it a complete solution for developing and testing ARINC-429 interfaces and for performing system simulation of the ARINC-429 bus, both in the lab and in the field.The cards are supplied with C drivers, including source code, Mystic Windows software and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application.
-
product
Tool
Imagix 4D
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
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
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
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 one with a unique IP address, and can be accessed from any computer on the network.The EXC-429UNET/RT8-717 adapter is supplied with C drivers, including source code and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application (only versions 8.1 or higher).
-
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
Single Slot Intelligent Interface Card
IIB-3910-CPCI
The IIB-3910-CPCI is a single slot intelligent interface card providing complete STANAG 3838 and STANAG 3910 test, simulation and bus analysis capability for the CompactPCI Bus. The IIB-3910-CPCI supports concurrent Bus Controller (BC) and up to 31 Remote Terminals (RT) with Bus Monitor (BM). An additional stand-alone Chronological Bus Monitor (CBM) facility is also provided, with powerful multi-level triggering capability. Full error injection capability in both 3838 and 3910 modes is provided in BC and RTs modes, with full error detection in BC, RT, BM and CBM modes. Dual redundant 3838 interface, with user selectable dual redundant optical or single redundant electrical 3910 interface are featured. 2 Mbytes of dual ported RAM are provided. The board is supplied with C drivers in source code and Windows menu driven software as standard.
-
product
Intelligent Interface Card
IIB-1553-PC104
The IIB-1553-PC104 is an intelligent interface card providing full MIL-STD-1553 test, simulation and bus analysis capability for PC compatible computers, with 1553A, 1553B, McAir and STANAG 3838 variants in one card. The IIB-1553-PC104 supports concurrent Bus Controller (BC) and up to 31 Remote Terminals (RT) with Bus Monitor (BM). An additional stand-alone Chronological Bus Monitor (CBM) facility is also provided, with powerful multi-level triggering capability. Full error injection capability is provided in BC and RT modes, with full error detection in BC, RT, BM and CBM modes. The unit provides a single, dual redundant 1553 interface. 2 Mbytes of dual ported RAM are provided. PC memory space utilised by the board is selectable. The board is supplied with C drivers in source code and Windows menu driven software as standard
-
product
Static Design Verification
ALINT-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
