Awesome Open Source

Programming Languages

Search results for c symbolic

46 search results found

The FORM project for symbolic manipulation of very big expressions

Libbacktrace ⭐ 828

A C library that may be linked into a C/C++ program to produce symbolic backtraces

Symqemu ⭐ 267

SymQEMU: Compilation-based symbolic execution for binaries

The LV2 audio plugin specification

Hyperkernel ⭐ 145

The missing tool to call arbitrary ioctls on devices

Pathgrind ⭐ 106

Path based Dynamic Analysis

Oss Sydr Fuzz ⭐ 99

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

The Scyther Tool for the symbolic analysis of security protocols

Lk Reducer ⭐ 75

Linux Kernel Source Tree Reducer

[deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.

Symlinks ⭐ 68

symbolic link maintenance utility

Small Fast S-Expression Library

Simple command-line based calculator.

The LTSmin model checking toolset

Tree Sitter Fsharp ⭐ 45

A tree-sitter grammar for F#, derived from the [spec](https://fsharp.org/specs/language-spec/4.1/

Msp430 Emu Uctf ⭐ 44

msp430 emulator for uctf (with remote GDB debugging, reverse debugging, and optional symbolic execution)

python implementation of SAX (Symbolic Aggregate Approximation) for time series data

symbolic differentiator, partly based on SICP examples. does basic algebraic simplifications on result.

A collection of analysis tools for Kconfig and Kbuild constraints.

Adaptive Neuro-Symbolic Network Agent

Crax Lab ⭐ 27

AIS3 CRAX lab demo

My Gtemplate ⭐ 27

A Simple feature rich GTK3/GTK4 Application template in C

TracerX Symbolic Virtual Machine

Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates

Rewrite of clover engine

Kleespectre ⭐ 21

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

Errnoname ⭐ 20

The released code of Neurify in NIPS 2018

Symbolicderivative ⭐ 16

A symbolic derivative solver written in C for TI 84+ CE calculators

Polycalc ⭐ 12

PolyCalc: Polynomial Calculator

Easy C++ reflection and code generation

automatic data race analysis for Linux device drivers

LLVM pass that obfuscates against symbolic execution

Guest Tools ⭐ 8

Tools that run inside the guest

C library for reading tarfiles, stripped down version of libtar

a CIL-based dynamic symbolic execution (DSE) engine for C language

Better_caller ⭐ 6

Symbolic call stack with bindings

Elfcrunch ⭐ 5

reverse engineering tool for ELF binaries

Seclab_eissec ⭐ 5

Extracting Instruction Semantics Via Symbolic Execution of Code Generators

The Chef symbolic execution platform, based off S2E

CTL symbolic model-checker based on libDDD and libITS

Openocl_models ⭐ 5

Symbolic Math System scripting language

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (4,069)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-46 of 46 search results

Privacy | About | Terms | Follow Us On Twitter

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