Awesome Open Source

Programming Languages

Search results for c plus plus symbolic execution

symbolic-execution x

28 search results found

KLEE Symbolic Execution Engine

An open source interactive disassembler

SymCC: efficient compiler-based symbolic execution

Automatic verification of LLVM optimizations

Simple Theorem Prover, an efficient SMT solver for bitvectors

Utbotcpp ⭐ 105

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

Fuzzing tutorial with easy to learn labs 🚀

Symbolic Execution Engine based on Ghidra's PCode

Craxplusplus ⭐ 75

The exploit generator CRAX++ is CRAX with x86_64 ROP techniques, s2e 2.0 upgrade, code selection, I/O states, dynamic ROP, and more!

APISan: Sanitizing API Usages through Semantic Cross-Checking

Ttexplore ⭐ 47

TTexplore is a library that performs path exploration on binary code using symbolic execution

Symbolic execution engine for .NET Core

Program Analysis for LLVM

C++11 library for many-sorted logics

gradient-based symbolic execution engine implemented from scratch

Craxplusplus ⭐ 27

CRAX++: software CRash analysis for Automatic eXploit generation

Symbolic Execution ⭐ 21

Applied Symbolic Execution with KLEE/LLVM

Malware S2e ⭐ 16

Code for my blog post on using S2E for malware analysis

Symex Vp ⭐ 14

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

Symobfuscator Deprecated ⭐ 14

Pathbeaver ⭐ 13

Symbolic execution of LLVM IR

Symboliclivenessanalysis ⭐ 12

Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

Sydr Benchmark ⭐ 8

Sydr benchmark applications

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.

Related Searches

C Plus Plus Video Game (8,255)

C Plus Plus Cmake (8,010)

C Plus Plus Qt (7,664)

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

Privacy | About | Terms | Follow Us On Twitter

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