Showing product results. 1 - 15 of 110 products found.
-
LGMS
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.
-
Miniport Code - Perisoft
We offer precision source code to jump start your development putting you close to the finish line right from the start.
-
QA·C++ - PRQA Programming Research
QA·C++ is the market leading software analysis tool for C++, enforcing industry and custom coding standards in an intuitive, informative environment that expedites the development of reliable, maintainable code. Through diligent focus on published C++ coding standards QA·HIC++, QA·MISRA-C++, QA·JSF++, QA·C++ now has the highest and most accurate compliance to all these industrial standards.
-
QA-C - PRQA Programming Research
QA·C offers a simple way of analysing your code against your chosen coding standard, providing an effective and accurate solution to improving your software. Deploying industry standard metrics and providing code structure visualisations, QA·C brings a level of clarity to complex code, identifying issues long before they reach production. Through analysis your software becomes more robust, more maintainable and much more reliable.
-
Chameleon-WEMU™ 8051 - Signum Systems Corp.
High quality 8051 debugging environment, uniform across the entire spectrum of supported targets. Works with in-circuit emulators, simulators, evaluation boards, and RISM-compatible embedded monitors.
-
Precise Testing Solution
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
CODECHECK - Abraxas Software, Inc.
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.
-
TotalView® Debugger - Rogue Wave Software Inc.
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.
-
CodePeer - AdaCore Technologies, Inc.
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.
-
Build Inspector - SourceClear
Build Inspector is a forensic sandbox for Continuous Integration environments. It monitors network activity, file system changes, and running processes, making it easier to spot unintended and potentially dangerous activities. Using a sandboxed environment, build operations will happen in isolation without compromising the machine.
-
Chameleon Debugger - Signum Systems Corp.
Multiple-core debugging environment for ARM, Tricore, 80186, Z8 and CompactRISC microprocessors. Compatible with Tasking, Green Hills, ARM, National Semiconductor, GNU, Hitec, Microsoft, Borland, and Byte Craft compilers. our flagship software package: designed for a variety of hardware emulation interfaces to target boards (JTAG, BDM, ICE, STAG) on one end, and a communication channel to the host PC on the other.
-
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.
-
Software Testing Magazine
The quality of the JavaScript code is often verified with the traditional activities of unit and functional testing. There are however tools that allow to check code before its execution to assess its quality and its adherence to coding standards using a process called static code analysis. This article presents a list of open source tools to perform static code analysis on JavaScript.
-
-
Hitex GmbH
Hitex offers a unit testing service for C/C++ application source code using the well-known test tool TESSY. For this service, the customer provides their source code of the C/C++ functions to be tested, ideally along with the specifications of the functionality and comprehensive comments in the source code.
