Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c plus plus static analysis
c-plus-plus
x
static-analysis
x
70 search results found
Imhex
⭐
31,549
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Infer
⭐
14,568
A static analyzer for Java, C, C++, and Objective-C
Cmake Examples
⭐
11,435
Useful CMake Examples
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
Ikos
⭐
1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Cmake Init
⭐
1,584
The missing CMake project initializer
Modern Cpp Template
⭐
1,467
A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.
Lazy_importer
⭐
1,227
library for importing functions from dlls in a hidden, reverse engineer unfriendly way
Phasar
⭐
857
A LLVM-based static analysis framework.
Awesome Linters
⭐
786
A community-driven list of awesome linters.
Felix
⭐
766
The Felix Programming Language
Psychec
⭐
486
A compiler frontend for the C programming language
Codecompass
⭐
478
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Inline_syscall
⭐
412
Inline syscalls made easy for windows on clang
Crabviz
⭐
379
🦀 A tool to generate interactive call graphs for multiple languages
Dg
⭐
376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Clang Tools Extra
⭐
355
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Clangkit
⭐
342
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Cleancppproject
⭐
261
Clean C++ project for you to use. Features: Modern CMake, CPack, Doxygen, PlantUML, Catch Unit testing, static analysis
Cerberus
⭐
235
A C++ tool to unstrip Rust/Go binaries (ELF and PE)
Crab
⭐
199
A library for building abstract interpretation-based analyses
Sleighcraft
⭐
198
sleigh craft!
Robust Services Core
⭐
149
Robust applications framework in C++. Includes a static analysis tool and two applications.
Sea Dsa
⭐
143
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Analyze
⭐
134
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Sda
⭐
124
SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.
Pasta
⭐
107
Peter's Amazing Syntax Tree Analyzer
Utbotcpp
⭐
105
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Cclyzerpp
⭐
89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
Orc
⭐
86
ORC is a tool for finding violations of C++'s One Definition Rule on the OSX toolchain.
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
Berrydb
⭐
65
Minimalloc
⭐
60
A lightweight memory allocator for hardware-accelerated machine learning
Cxxctp
⭐
58
C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Apisan
⭐
52
APISan: Sanitizing API Usages through Semantic Cross-Checking
Domtresat
⭐
40
Dominator Tree LLVM Pass to Test Satisfiability
Umium
⭐
40
Class containing Anti-RE, Anti-Debug and Anti-Hook methods. Made for C++/CLI
Bincraft
⭐
37
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
Gymbo
⭐
29
gradient-based symbolic execution engine implemented from scratch
Cppcheck Action
⭐
27
A github action to perform C/C++ security checks automatically
Ablation
⭐
27
Ablation is a tool for augmenting static analysis by extracting information at runtime, and importing it into IDA. It can resolve virtual calls, reveal interesting code, exclude heavily traversed regions, identify untested or undocumented features, visually diff samples, or perform root cause analysis simply by running samples. My favourite however is the virtual call resolution with fully interactive x-refs. It's simple, elegant, and disassembled C++ reads like C! It helps me time and time agai
Jitana
⭐
26
A graph-based static-dynamic hybrid DEX code analysis tool
Scaf
⭐
26
A Speculation-Aware Collaborative Dependence Analysis Framework
Openstaticanalyzer
⭐
24
OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
Chopper
⭐
23
KLEE / CSE Project
Staticanalysis
⭐
22
GitHub action that runs static analysis tools on your codebase and creates PR comments for any issues found. Currently supported languages are C++ and Python.
Itiviti Cpp Analyzer
⭐
22
Clang plugin with several static analysis checks
Spindle
⭐
21
Kcc
⭐
20
A Small C Compiler
Suture
⭐
20
Precise and high-order static points-to/taint analysis based on LLVM IR.
Phriky Units
⭐
18
Phriky Units - Physical units inconsistency detection tool for C++, especially for ROS
Flextool
⭐
18
C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Logifix
⭐
17
Fixing static analysis violations in Java source code using Datalog
Tritontranslator
⭐
16
Standalone static version of Triton's x86/x64 translator
Llvm Analysis And Transform Passes
⭐
15
LLVM passes with usage instructions
Codecheckervscodeplugin
⭐
15
VSCode plugin that shows bugs detected by the Clang Static Analyzer and Clang Tidy analyzers using CodeChecker as a backend.
Cppcheck Configs
⭐
14
Configuration files that allow cppcheck to provide better static analysis results
Cppcheck
⭐
14
Docker image for cppcheck
Wasm Dom
⭐
14
WIP: Implements a DOM wrapper for WebAssembly
Notdec
⭐
12
a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)
Cit
⭐
12
Control your c++ code using this ci template and development environment powered by nix and docker.
Jobject
⭐
11
proof of concept of user-mode anti-breakpoint technique
Bonsai
⭐
11
Simplified interface for syntax trees and program models.
Cpp Static Analyzer
⭐
10
A Simple CPP Static Analysis Framework
Binary Valentine
⭐
10
Executable files static analyzer
Gpudrano Static Analysis_v1.0
⭐
9
GPU Drano Static Analysis for GPU programs.
Equ8_bypass
⭐
7
EQU8 User-Mode Bypass and Injector
Flakyiterators
⭐
7
A fast and dirty checker based on libclang which detects non-deterministic iteration
Cpp Starter
⭐
7
CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/D
Codepunk
⭐
6
[WIP] Interval Analysis on LLVM IR
Codechecker Action
⭐
6
Execute static analysis through CodeChecker in the CI.
Lart
⭐
6
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
Qt Plus
⭐
6
Library of classes extending Qt
Feedback
⭐
6
A place to submit issues/bugs and feature requests for Scantist's tools and services.
Code Clone Detection Llvm Devmtg15 Poster
⭐
6
Code Clone Detection in Clang Static Analyzer poster for LLVM Developers' Meeting 2015.
Ayanami Nemesis Analyzer
⭐
6
A C/C++ Staitc Analyzer for Now.
Rosa
⭐
5
Coderrect Github Action
⭐
5
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
Asymptus
⭐
5
Automatic inference of function complexity through polynomial interpolation
Bsa
⭐
5
BSA(Bash Static Analyser) is a cross-platform static analysis tool that identifies potential security vulnerabilities in bash scripts.
Related Searches
C Plus Plus Qt (8,557)
C Plus Plus Video Game (8,255)
C Plus Plus Cmake (8,010)
C Plus Plus Algorithms (6,194)
C Plus Plus Opengl (4,396)
C Plus Plus 3d Graphics (3,196)
C Plus Plus Testing (2,735)
Java C Plus Plus (2,629)
C Plus Plus Command Line (2,304)
Javascript C Plus Plus (2,235)
1-70 of 70 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.