Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 C Plus Plus Program Analysis Open Source Projects

Open source projects categorized as C Plus Plus Program Analysis
Categories > Programming Languages > C Plus Plus
Categories > Security > Program Analysis
X64dbg ⭐ 42,376
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
most recent commit 3 months ago
Cpplinks ⭐ 3,862
A categorized list of C++ resources.
most recent commit 3 months ago
Die Engine ⭐ 1,975
DIE engine
most recent commit 3 months ago
Ikos ⭐ 1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
most recent commit 3 months ago
Phasar ⭐ 857
A LLVM-based static analysis framework.
most recent commit 3 months ago
Psychec ⭐ 486
A compiler frontend for the C programming language
most recent commit 3 months ago
Dg ⭐ 376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
most recent commit a year ago
Vast ⭐ 315
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
most recent commit 3 months ago
Crab ⭐ 199
A library for building abstract interpretation-based analyses
most recent commit 7 months ago
Dcpp ⭐ 142
Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
most recent commit 5 years ago
Elina ⭐ 116
ELINA: ETH LIbrary for Numerical Analysis
most recent commit a year ago
Opcde2017 ⭐ 112
Slides and very basic examples
most recent commit 7 years ago
Vs Code Config ⭐ 111
VS Code Setting (Live input output) to make competitive programming easy and program analysis !
most recent commit 3 months ago
Cclyzerpp ⭐ 89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
most recent commit a year ago
Giri ⭐ 84
Dynamic Program Slicing in LLVM Compiler
most recent commit 6 years ago
Naaz ⭐ 75
Symbolic Execution Engine based on Ghidra's PCode
most recent commit a year ago
Souffle ⭐ 43
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
most recent commit 7 years ago
Pa.llvm ⭐ 36
Program Analysis for LLVM
most recent commit 7 years ago
Gymbo ⭐ 29
gradient-based symbolic execution engine implemented from scratch
most recent commit 4 months ago
Sasi ⭐ 27
Signedness-Agnostic Strided-Interval
most recent commit 5 years ago
Qurator Vscode ⭐ 20
A general purpose quantum programming language.
most recent commit a year ago
Flowmatrix ⭐ 19
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
most recent commit a year ago
Instrumentation ⭐ 16
Assorted pintools
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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