All Projects → lioncash → cppcheck-configs

lioncash / cppcheck-configs

Licence: other
Configuration files that allow cppcheck to provide better static analysis results

Programming Languages

python
139335 projects - #7 most used programming language

Projects that are alternatives of or similar to cppcheck-configs

Cppcheck
static analysis of C/C++ code
Stars: ✭ 3,845 (+25533.33%)
Mutual labels:  static-analysis, cppcheck
Cmake Examples
Useful CMake Examples
Stars: ✭ 7,220 (+48033.33%)
Mutual labels:  static-analysis, cppcheck
cmake-init
The missing CMake project initializer
Stars: ✭ 1,071 (+7040%)
Mutual labels:  static-analysis, cppcheck
rair-core
RAIR: RAdare In Rust
Stars: ✭ 63 (+320%)
Mutual labels:  static-analysis
addlint
An example linter written with go/analysis for tutorial purposes
Stars: ✭ 49 (+226.67%)
Mutual labels:  static-analysis
monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
Stars: ✭ 16 (+6.67%)
Mutual labels:  static-analysis
freki
🐺 Malware analysis platform
Stars: ✭ 327 (+2080%)
Mutual labels:  static-analysis
golintui
A simple terminal UI for Go linters
Stars: ✭ 73 (+386.67%)
Mutual labels:  static-analysis
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (+93.33%)
Mutual labels:  static-analysis
qodana-action
⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana
Stars: ✭ 112 (+646.67%)
Mutual labels:  static-analysis
Android-Malware-Detection
Android malware detection using static and dynamic analysis
Stars: ✭ 18 (+20%)
Mutual labels:  static-analysis
infrared
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Stars: ✭ 46 (+206.67%)
Mutual labels:  static-analysis
sleighcraft
sleigh craft!
Stars: ✭ 221 (+1373.33%)
Mutual labels:  static-analysis
illuaminate
Very WIP static analysis for Lua
Stars: ✭ 21 (+40%)
Mutual labels:  static-analysis
crusher
No description or website provided.
Stars: ✭ 21 (+40%)
Mutual labels:  static-analysis
ethereum-dasm
An ethereum evm bytecode disassembler and static/dynamic analysis tool
Stars: ✭ 121 (+706.67%)
Mutual labels:  static-analysis
MalScan
A Simple PE File Heuristics Scanners
Stars: ✭ 41 (+173.33%)
Mutual labels:  static-analysis
automutate
Applies waves of mutations provided by other tools, such as linters or codemods.
Stars: ✭ 13 (-13.33%)
Mutual labels:  static-analysis
gha-setup-scancentral-client
GitHub Action to set up Fortify ScanCentral Client
Stars: ✭ 15 (+0%)
Mutual labels:  static-analysis
static file analysis
Analysis of file (doc, pdf, exe, ...) in deep (emmbedded file(s)) with clamscan and yara rules
Stars: ✭ 34 (+126.67%)
Mutual labels:  static-analysis

cppcheck Configuration Files

A repository for all the cppcheck static analysis configuration files I've made.

What do these do?

You use them with a static analysis program for C/C++ called cppcheck. What they do is allow cppcheck to assume certain things about functions in an API. For example, say there's a function in an API that can only accept a certain range of values (e.g. only values 0–10 inclusive), you can declare this constraint in a config file and cppcheck's analyzer will be able to flag violations of that constraint (the best it can, of course).

These files also allow leak checking to be more thorough, as you can describe which functions in an API allocate and deallocate and associate them together.

For documentation on the kinds of checking configuration files can help with, consider checking out cppcheck's manual.

Are these perfect configuration files?

I try to make them as best as I can to prevent false-positives, however there may be the odd case where I've missed or overlooked something. If you think you've found one of those cases, please open an issue about it so it can be fixed or looked into.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].