Skip to content

@srg-imperial Software Reliability Group

Change the repository type filter

Public

    Repositories list

    32 repositories

    • 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
      cfuzzingcompilersmutators
      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
      •275•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