Skip to content

Instantly share code, notes, and snippets.

🎓
studying

Jan jboockmann

🎓
studying
Block or report user

Report or block jboockmann

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@jboockmann
jboockmann / DSIsrcSetup.sh
Last active Aug 31, 2019
DSIsrc setup script
View DSIsrcSetup.sh
#!/bin/bash
DSI_DIR=/opt/DSI
CILLY_BIN=$DSI_DIR/cil-cil-1.7.3/bin/cilly
sudo apt install --yes wget git unzip openjdk-7-jre openjdk-7-jdk ocaml ocaml-findlib make build-essential
mkdir $DSI_DIR
cd $DSI_DIR
@jboockmann
jboockmann / Dockerfile
Last active Jan 8, 2019
SWTbahn-cli client setup
View Dockerfile
# docker build -t swtbahn-cli-client .
# docker run -v $PWD:/app -it swtbahn-cli-client /bin/bash
FROM python:3
ENV LC_ALL C.UTF-8
ENV LANG C.UTF-8
RUN pip3 install click requests pyaml
@jboockmann
jboockmann / findFileWithHash.md
Created Dec 6, 2018
Find a file with a given MD5 hash
View findFileWithHash.md
$ touch foo.md

$ md5sum foo.md
1452c8e52a24ceb37980635396b7048a  foo.md

$ find ~/ -type f -exec md5sum {} + | grep '^1452c8e52a24ceb37980635396b7048a'
@jboockmann
jboockmann / DsiRenameResults.sh
Last active Feb 17, 2019
DSI result renaming script
View DsiRenameResults.sh
mv log dsi;
cd dsi;
mkdir ptg;
mv *.dot ptg;
rm log;
mv agg asg;
mv mbg sg;
mv mmbg fsg;
@jboockmann
jboockmann / towards-safe-enclaves-function-pointer-example.c
Created Sep 2, 2018
Function pointer example from the 'Towards Safe Enclaves' paper
View towards-safe-enclaves-function-pointer-example.c
/*
Neline van Ginkel, Raoul Strackx, Jan Tobias Mühlberg, Frank Piessens
"Towards safe enclaves."
4th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2016).
2016.
*/
#include <stdio.h>
#include <stdlib.h>
@jboockmann
jboockmann / upload2newGitlabRepo.sh
Last active Feb 17, 2019
For each folder do: init as local git repository, create and push repository to gitlab
View upload2newGitlabRepo.sh
for d in */ ; do
cd "$d"
git init
git add .
git commit -m "init"
echo "${d::-1}"
git push --set-upstream git@gitlab.com:XXX/"${d::-1}".git master
cd ..
done
@jboockmann
jboockmann / README.md
Last active Feb 17, 2019
multarraycopy.c
View README.md
$ gcc -Wall -Werror multarraycopy.c
$ ./a.out
[0] => 2
[1] => 4
[2] => 6
[3] => 8
[4] => 10
View Dockerfile
FROM python:3
WORKDIR /usr/src/app
RUN pip install --upgrade pip
COPY requirements.txt ./
RUN pip install --no-cache-dir -r requirements.txt
COPY minesweeper.py ./
CMD [ "python", "./minesweeper.py" ]
@jboockmann
jboockmann / docker-insekta-docs.md
Last active Feb 17, 2019
Some docker commands for insekta
View docker-insekta-docs.md
$ sudo docker run -v "$(pwd)":/root/insekta-docs -it debian /bin/bash 

$ sudo docker ps
....

$ sudo docker commit 20f2643b5d13

$ sudo docker images 
REPOSITORY               TAG                 IMAGE ID            CREATED             SIZE
@jboockmann
jboockmann / aufgabe7.c
Last active Feb 17, 2019
EiAPS | WiSe-2017-2018
View aufgabe7.c
// WiSe-2017-2018
// Aufgabe 7c
// notwendige Programmbibliotheken einbinden (siehe printf und malloc/calloc)
#include <stdio.h>
#include <stdlib.h>
// struct zur Darstellung des Datums
struct Datum{
int tag;
You can’t perform that action at this time.