Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
open-source-case-studies
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
f9075cf4
·
Merge branch 'sync-master' into 'master'
·
Jul 01, 2022
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
feature/svcomp
0605b34e
·
add reducercommutativity
·
Aug 31, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/new-cgc
6f9d83d2
·
add WordCompletion
·
Sep 08, 2020
Compare
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-zlib
aa3f9d5f
·
[zlib] new case study
·
Jul 13, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ltest-experimental
20f35c61
·
PC targets (unused but who knows...)
·
Jan 21, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar