Showing results: 1 - 15 of 83 items found.
-
Kiuwan -
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
Klocwork -
Rogue Wave Software Inc.
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.
-
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.
-
Klockwork -
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.
-
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.
-
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.
-
GrammaTech CodeSonar® -
Verifysoft Technology GmbH
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.
-
Phaedrus Systems Ltd
Ristan Development Assistants support a wide range of software development activities, from easy editing to controlling source quality, from detailed reviewing to generating documentation, at the same time saving your time and energy. DAC should come close to your idea of the "Ideal Editor for the 21st Century", the editor which will automate the major part of your routine jobs and leave you with plenty of time for creative tasks.
-
Jtest -
Parasoft Corp.
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.
-
Verissimo SystemVerilog Testbench Linter -
AMIQ EDA S.R.L
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.
-
Specador Documentation Generator -
AMIQ EDA S.R.L
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.
-
DVT Eclipse IDE -
AMIQ EDA S.R.L
DVT Eclipse allows design and verification engineers to overcome the limitations of plain code editors and use a modern and powerful tool that enables them to:Increase the speed and quality of new code developmentSimplify debugging and simulation analysisEasily understand complex or poorly documented source codeSimplify the maintenance of legacy code and reusable librariesAccelerate language and methodology learningImprove code documentationShorten project duration
-
C++test -
Parasoft Corp.
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.
-
-
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.