Skip to search formSkip to main contentSkip to account menu

Cppcheck

Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. The creator… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Automatic variableBounds checkingC++Code::Blocks

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Bug Finder Evaluation Guided Program Analysis Improvement
There are many static analysis tools implemented with diverse principles for finding program bugs. The theoretical principles… 
2019
2019
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
Precise pointer analysis is desired since it is a core technique to find memory defects. There are several dimensions of pointer… 
2017
2017
C++ software quality in the ATLAS experiment: tools and experience
In this paper we explain how the C++ code quality is managed in ATLAS using a range of tools from compile-time through to run… 
2017
2017
Trustworthiness Static Measurement Model and the Tool
Software trustworthiness has become one of the prominent studies in software quality assurance, in which the trustworthiness… 
2015
2015
Case Study: Static Security Analysis of the Android Goldfish Kernel
In this work we present an industry-driven case study of applying static program analysis to the Android kernel. In particular… 
2015
2015
Comparing Detection Ratio of Three Static Analysis Tools
code analysis is a software verification activity in which source code is scrutinized for quality and security. In a Software… 
2015
2015
Static Analysis Tools for Security: A Comparative Evaluation
— Static analysis tools check the software for potential vulnerabilities and hence software security is improved with their usage… 
2014
2014
Integrating Static Analysis Tools for Improving Operating System Security
: Static analysis approach is widely used for detecting vulnerabilities within the code before the execution. C/C++ programming… 
2013
2013
Detection of array bound overflow by interval set based on Cppcheck
The false positive rate and the false negative rate are too high for the open source software Cppcheck, and defects cannot be… 
2012
2012
UCBench: A user-centric benchmark suite for C code static analyzers
In recent years, many C code static analyzers, with different abilities of bug detection, have appeared and been applied in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)