Awesome Open Source

Programming Languages

Search results for c static analysis

static-analysis x

49 search results found

Infer ⭐ 14,568

A static analyzer for Java, C, C++, and Objective-C

Semgrep ⭐ 9,612

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Cppcheck ⭐ 5,273

static analysis of C/C++ code

Codechecker ⭐ 2,023

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Cmake Init ⭐ 1,584

The missing CMake project initializer

A LLVM-based static analysis framework.

The Felix Programming Language

Prometeo ⭐ 515

An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing

Awesome Llvm Security ⭐ 500

awesome llvm security [Welcome to PR]

Psychec ⭐ 486

A compiler frontend for the C programming language

Semgrep Rules ⭐ 478

A collection of my Semgrep rules to facilitate vulnerability research.

Cake a C23 front end and transpiler written in C

Seahorn ⭐ 391

SeaHorn Verification Framework

Crabviz ⭐ 379

🦀 A tool to generate interactive call graphs for multiple languages

Clangkit ⭐ 342

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

Codewarrior ⭐ 229

code-searching tool and static code analysis - Beta

Cpachecker ⭐ 204

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Php Cs Fixer Custom Fixers ⭐ 182

A set of custom fixers for PHP CS Fixer

Analyzer ⭐ 143

Static analysis framework for C

Gcc Python Plugin ⭐ 132

GCC plugin that embeds CPython inside the compiler

Frama C Snapshot ⭐ 125

Release snapshots of the Frama-C platform for source code analysis

C code refactoring browser

Utbotcpp ⭐ 105

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Clang_libraries_companion ⭐ 79

Companion Repository for the Lecture Slides for the Clang Libraries

Cpplumber ⭐ 68

Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects

persistent monitor (for static source code analysis, GCC based)

Libvmcu Virtual Mcu Library ⭐ 39

A Library for Static and Dynamic Analysis of AVR binaries.

A precise and scalable pointer analysis for LLVM, written in Ascent

Cpp Vscode Guide ⭐ 33

A small guide for C/C++ developers to useful extensions to unleash the power of Visual Studio Code

Flycheck Clang Analyzer ⭐ 32

Integrate Clang Static Analyzer with flycheck for on-the-fly static analysis in Emacs

Cppcheck Action ⭐ 27

A github action to perform C/C++ security checks automatically

A static analysis tool for C.

A QA static analysis code, with a different approach

Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

Read-only mirror of the Klever Git repository

Swap Detector ⭐ 18

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

Run phan entirely in your browser (with emscripten)

Codecheckervscodeplugin ⭐ 15

VSCode plugin that shows bugs detected by the Clang Static Analyzer and Clang Tidy analyzers using CodeChecker as a backend.

Cppcheck ⭐ 14

Docker image for cppcheck

Cppcheck Configs ⭐ 14

Configuration files that allow cppcheck to provide better static analysis results

Firmware_xiv ⭐ 13

All the firmware for MSXIV!

EBA is a static bug finder for C.

Function ⭐ 10

Firmware for MSXII (and beyond)

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

Codechecker Action ⭐ 6

Execute static analysis through CodeChecker in the CI.

Coderrect Github Action ⭐ 5

Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.

Ifj Projekt ⭐ 5

Intepret pre podjazyk jazyka PHP do predmetu IFJ (2013/2014)

Ldv Rules ⭐ 5

Rules for LDV project (http://linuxtesting.org/project/ldv).

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (3,641)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-49 of 49 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.