Giters
Clement Poncelet Sanchez (cponcelets)

cponcelets

Geek Repo

14

followers

5

following

32

stars

Home Page:http://cponcelet.pw

Github PK Tool:Github PK Tool

Clement Poncelet Sanchez's starred repositories

ReZZan

Language:CLicense:GPL-3.0Stargazers:37Issues:0Issues:0

so-many-fuzzers-artifact

Artifact for the ASE 2022 paper: So Many Fuzzers, So Little Time.

Language:ShellLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Language:C++License:Apache-2.0Stargazers:528Issues:0Issues:0

contiki-ng

Contiki-NG: The OS for Next Generation IoT Devices

Language:CLicense:BSD-3-ClauseStargazers:1302Issues:0Issues:0

cloud9

The Cloud9 main repository

Language:C++License:NOASSERTIONStargazers:52Issues:0Issues:0

EffectiveSan

Runtime type and bounds-error checking for C/C++

Language:C++Stargazers:101Issues:0Issues:0

nano-symex

A tiny symbolic execution engine

Language:ScalaLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

symbolic-execution-tutorial

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Language:PythonStargazers:127Issues:0Issues:0

savior-source

source code for savior fuzzer

Language:LLVMLicense:Apache-2.0Stargazers:126Issues:0Issues:0

intriguer

Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing

Language:CLicense:GPL-2.0Stargazers:33Issues:0Issues:0

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:783Issues:0Issues:0

covpare

Simple tool for comparing gcov/llvm-cov output between runs

Language:PythonStargazers:20Issues:0Issues:0

SASE

A solver-aided symbolic execution engine which works on a subset of RISC-V.

Language:CLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:629Issues:0Issues:0

driller

Driller: augmenting AFL with symbolic execution!

Language:PythonLicense:BSD-2-ClauseStargazers:891Issues:0Issues:0

SMPE

Series of lectures on Scientific Methodology and Performance Evaluation

Language:HTMLLicense:CC-BY-4.0Stargazers:66Issues:0Issues:0

Zettlr

Your One-Stop Publication Workbench

Language:TypeScriptLicense:GPL-3.0Stargazers:10254Issues:0Issues:0

in-60-seconds

GitPitch In 60 Seconds - A Very Short Tutorial

Language:PythonStargazers:188Issues:0Issues:0

jupyter

Jupyter metapackage for installation, docs and chat

Language:PythonLicense:BSD-3-ClauseStargazers:14892Issues:0Issues:0

learnGitBranching

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

Language:JavaScriptLicense:MITStargazers:30536Issues:0Issues:0

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Language:JavaLicense:NOASSERTIONStargazers:20295Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2618Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10253Issues:0Issues:0

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Language:C++License:NOASSERTIONStargazers:513Issues:0Issues:0

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2377Issues:0Issues:0

rtmidi

A set of C++ classes that provide a common API for realtime MIDI input/output across Linux (ALSA & JACK), Macintosh OS X (CoreMIDI) and Windows (Multimedia)

Language:C++License:NOASSERTIONStargazers:984Issues:0Issues:0

midifile

C++ classes for reading/writing Standard MIDI Files

Language:C++License:BSD-2-ClauseStargazers:748Issues:0Issues:0

sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

Stargazers:184Issues:0Issues:0

bonsai

Programming language based on the synchronous and constraint paradigms

Language:JavaLicense:Apache-2.0Stargazers:15Issues:0Issues:0

atom

:atom: The hackable text editor

Language:JavaScriptLicense:MITStargazers:60186Issues:0Issues:0