cponcelets

cponcelets's Stars

• atom/atom

  :atom: The hackable text editor

  Language:JavaScript60.2k2.6k17.1k17.4k

• pcottle/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:JavaScript30.6k5204865.7k

• oracle/graal

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

  Language:Java20.3k4684.2k1.6k

• jupyter/jupyter

  Jupyter metapackage for installation, docs and chat

  Language:Python14.9k6224054.1k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• Zettlr/Zettlr

  Your One-Stop Publication Workbench

  Language:TypeScript10.3k853.2k632

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.6k106605681

• cksystemsteaching/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 Notebook2.4k6292313

• contiki-ng/contiki-ng

  Contiki-NG: The OS for Next Generation IoT Devices

  Language:C1.3k86873698

• thestk/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++98658171274

• shellphish/driller

  Driller: augmenting AFL with symbolic execution!

  Language:Python8935574162

• eurecom-s3/symcc

  SymCC: efficient compiler-based symbolic execution

  Language:C++7832494137

• craigsapp/midifile

  C++ classes for reading/writing Standard MIDI Files

  Language:C++7483966136

• sslab-gatech/qsym

  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

  Language:C++6292685134

• trailofbits/polytracker

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

  Language:C++5283915547

• stp/stp

  Simple Theorem Prover, an efficient SMT solver for bitvectors

  Language:C++51434311130

• gitpitch/in-60-seconds

  GitPitch In 60 Seconds - A Very Short Tutorial

  Language:Python18884786

• sosy-lab/sv-benchmarks

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

  18434281169

• ercoppa/symbolic-execution-tutorial

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

  Language:Python1277018

• evanmak/savior-source

  source code for savior fuzzer

  Language:LLVM12671427

• GJDuck/EffectiveSan

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

  Language:C++101111419

• alegrand/SMPE

  Series of lectures on Scientific Methodology and Performance Evaluation

  Language:HTML688523

• dslab-epfl/cloud9

  The Cloud9 main repository

  Language:C++52252029

• bajinsheng/ReZZan

  Language:C37325

• seclab-yonsei/intriguer

  Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing

  Language:C334212

• zachriggle/covpare

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

  Language:Python205211

• ptal/bonsai

  Programming language based on the synchronous and constraint paradigms

  Language:Java15380

• assist-project/so-many-fuzzers-artifact

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

  Language:Shell7221

• pruemmer/nano-symex

  A tiny symbolic execution engine

  Language:Scala5309

• aabyaneh/SASE

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

  Language:C10