GJDuck/SMCHR GJDuck/SMCHR

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    C
  • Created about 9 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
GJDuck/SMCHR
github

GJDuck

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SMCHR - Satisfiability Modulo Constraint Handling Rules

More Repositories

1

e9patch

A powerful static binary rewriting tool
C
967
star
2

EnvFuzz

Fuzz anything with Program Environment Fuzzing
C++
332
star
3

e9afl

AFL binary instrumentation
C++
292
star
4

libf

C++ as a Pure Functional Programming Language
C++
183
star
5

LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers
C++
176
star
6

GC

A lightweight conservative garbage collector for C/C++
C
118
star
7

EffectiveSan

Runtime type and bounds-error checking for C/C++
C++
101
star
8

RedFat

A binary hardening system
C++
97
star
9

e9syscall

A system call interception tool
Shell
52
star
10

SAT.js

A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
JavaScript
46
star
11

BlueFat

Fully Randomized Pointers
C
15
star
12

libredfat

A hardened malloc() replacement
C
9
star