Branches · pub / open-source-case-studies · GitLab

Active branches

master default protected

f9075cf4 · Merge branch 'sync-master' into 'master' · Jul 01, 2022
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

_2048

genann

khash

basic-cwe-examples

kgflags

icpc

gzip124

hiredis

jsmn

kilo

mini-gmp

libyaml

papabench

ioccc

libspng

qlz

solitaire

itc-benchmarks

tweetnacl-usable

microstrain

x509-parser

tsvc

polarssl

miniz

c-testsuite

debie1

chrony

semver

safestringlib

cerberus

monocypher

libmodbus

verisec

bench-moerman2018
add-nginx

855809e0 · WIP: add nginx (currently, parsing only) · May 10, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar

Stale branches

feature/svcomp

0605b34e · add reducercommutativity · Aug 31, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
feature/new-cgc

6f9d83d2 · add WordCompletion · Sep 08, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
x509-parser-add-wp

4b63da9f · [x509-parser] updated wrt to ANSSI Github · Jun 16, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
add-zlib

aa3f9d5f · [zlib] new case study · Jul 13, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
ltest-experimental

20f35c61 · PC targets (unused but who knows...) · Jan 21, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches