Repositories list

• norman

  Public
  Norman, a C language normalizer

  C++

  •0•1•0•0•Updated Nov 5, 2024Nov 5, 2024

• covrig

  Public
  Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

  Python

  •2•6•0•0•Updated Apr 8, 2024Apr 8, 2024

• GrayC

  Public
  GrayC: Greybox Fuzzing of Compilers and Analysers for C

  cfuzzingcompilers+ 1mutators

  C++

  •1•56•2•0•Updated Dec 1, 2023Dec 1, 2023

• kdalloc-issta-2023

  Public
  C++

  •

  Other

  •1•2•0•0•Updated Jul 17, 2023Jul 17, 2023

• klee-fp-parboil-opencl

  Public
  C++

  •0•0•0•0•Updated May 26, 2023May 26, 2023

• klee-fp-uclibc

  Public
  C

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated May 26, 2023May 26, 2023

• klee-fp-opencv

  Public
  C++

  •0•0•0•0•Updated May 26, 2023May 26, 2023

• klee-fp-opencl

  Public
  C

  •0•0•0•0•Updated May 26, 2023May 26, 2023

• klee-fp

  Public
  KLEE-FP / KLEE-CL

  C++

  •

  Other

  •0•1•0•0•Updated May 26, 2023May 26, 2023

• SnapFuzz

  Public
  C

  •

  MIT License

  •6•68•1•0•Updated Sep 2, 2022Sep 2, 2022

• SaBRe

  Public
  Load-time selective binary rewriting

  binary-rewriting

  C

  •

  Other

  •16•154•4•1•Updated Aug 26, 2022Aug 26, 2022

• SnapFuzz-artefact

  Public
  Shell

  •5•10•3•0•Updated May 24, 2022May 24, 2022

• SMTSampler

  Public
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •9•0•0•0•Updated Mar 4, 2022Mar 4, 2022

• klee-float

  Public
  KLEE with floating point support (unmaintained)

  C++

  •

  Other

  •14•18•4•0•Updated Feb 15, 2022Feb 15, 2022

• diffanalyze

  Public
  Python

  •2•0•2•0•Updated Jan 28, 2021Jan 28, 2021

• fuzzbench

  Public
  FuzzBench - Fuzzer benchmarking as a service.

  Python

  •

  Apache License 2.0

  •273•0•0•0•Updated Jun 16, 2020Jun 16, 2020

• compiler-bug-impact

  Public
  Shell

  •1•2•0•0•Updated Sep 9, 2019Sep 9, 2019

• kitsune-redis

  Public
  The Redis store patched for dynamic updating with Kitsune.

  C

  •1•0•0•0•Updated May 1, 2018May 1, 2018

• kitsune-vsftpd

  Public
  The Very Secure FTP Daemon patched for dynamic updating with Kitsune.

  C

  •3•0•0•0•Updated Apr 26, 2018Apr 26, 2018

• kitsune-memcached

  Public
  Memcached patched for dynamic updating with Kitsune.

  C

  •2•0•0•0•Updated Apr 10, 2018Apr 10, 2018

• kitsune-core

  Public
  Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.

  C

  •

  Other

  •27•0•0•0•Updated Apr 10, 2018Apr 10, 2018

• nginx

  Public
  An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

  C

  •7.1k•0•0•0•Updated Aug 13, 2016Aug 13, 2016

• openssh-portable

  Public
  Portable OpenSSH

  C

  •

  Other

  •1.8k•0•0•0•Updated Aug 3, 2016Aug 3, 2016

• redis

  Public
  Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •24k•0•0•0•Updated Jul 25, 2016Jul 25, 2016

• memcached

  Public
  memcached development tree

  C

  •

  Other

  •3.3k•0•0•0•Updated Jul 7, 2016Jul 7, 2016

• coreutils

  Public
  Shell

  •0•0•0•0•Updated Apr 6, 2016Apr 6, 2016

• htop

  Public
  htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.

  C

  •

  GNU General Public License v2.0

  •580•0•0•0•Updated Mar 16, 2016Mar 16, 2016

• mutt

  Public
  C

  •

  Other

  •0•0•0•0•Updated Mar 16, 2016Mar 16, 2016

• vim

  Public
  The official Vim repository

  C

  •5.5k•0•0•0•Updated Mar 16, 2016Mar 16, 2016

• busybox

  Public
  git://busybox.net/busybox.git

  C

  •

  Other

  •624•0•0•0•Updated Jan 19, 2016Jan 19, 2016