Awesome Open Source

Programming Languages

Search results for c plus plus program analysis

program-analysis x

27 search results found

X64dbg ⭐ 42,376

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

Cpplinks ⭐ 3,862

A categorized list of C++ resources.

Die Engine ⭐ 1,975

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A LLVM-based static analysis framework.

Psychec ⭐ 486

A compiler frontend for the C programming language

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

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.

A library for building abstract interpretation-based analyses

Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++

ELINA: ETH LIbrary for Numerical Analysis

Opcde2017 ⭐ 112

Slides and very basic examples

Vs Code Config ⭐ 111

VS Code Setting (Live input output) to make competitive programming easy and program analysis !

Cclyzerpp ⭐ 89

cclyzer++ is a precise and scalable global pointer analysis for LLVM code.

Dynamic Program Slicing in LLVM Compiler

Symbolic Execution Engine based on Ghidra's PCode

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

Program Analysis for LLVM

gradient-based symbolic execution engine implemented from scratch

Signedness-Agnostic Strided-Interval

Qurator Vscode ⭐ 20

A general purpose quantum programming language.

Flowmatrix ⭐ 19

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

Instrumentation ⭐ 16

Assorted pintools

Tritontranslator ⭐ 16

Standalone static version of Triton's x86/x64 translator

Descripten ⭐ 14

ECMAScript to C compiler.

TSAR (Traits Static AnalyzeR)

Sortcheckxx ⭐ 10

Tool for detecting violations of ordering axioms in STL comparators

Llvm Clang Examples ⭐ 9

A collection of code based on LLVM/Clang compilation libraries and tools

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-27 of 27 search results

Privacy | About | Terms | Follow Us On Twitter

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