Skip to content

Instantly share code, notes, and snippets.

View SeanHeelan's full-sized avatar

Sean Heelan SeanHeelan

View GitHub Profile
@SeanHeelan
SeanHeelan / gist:a459f20f740e64c5b108d7e85ea12322
Created January 1, 2020 21:54
Anki Cloze Card Front and Back Templates
<span style="font-size:150%;"> {{Verb}} in {{Tense}} </span> <br/>
<em>Nota: Usi una virgola (,) tra le risposte.</em><br/><br/>
{{cloze:Text}}<br/><br/>
{{type:cloze:Text}}
{{FrontSide}}
<hr>
{{Extra}}
@SeanHeelan
SeanHeelan / gist:0a49807f4eabfa62ba50a18324166501
Created January 1, 2020 21:54
Anki Cloze Card Front and Back Templates
<span style="font-size:150%;"> {{Verb}} in {{Tense}} </span> <br/>
<em>Nota: Usi una virgola (,) tra le risposte.</em><br/><br/>
{{cloze:Text}}<br/><br/>
{{type:cloze:Text}}
{{FrontSide}}
<hr>
{{Extra}}
Front + Back template
--------------
{{cloze:Text}} <br />
({{Extra}}) <br />
{{type:cloze:Text}}<br />
@SeanHeelan
SeanHeelan / aeg.bib
Created January 29, 2020 21:14
Bibliography for an AEG talk
@inproceedings{avgerinos_aeg:_2011,
title = {{AEG}: {Automatic} {Exploit} {Generation}},
booktitle = {Network and {Distributed} {System} {Security} {Symposium}},
author = {Avgerinos, Thanassis and Cha, Sang Kil and Hao, Brent Lim Tze and Brumley, David},
month = feb,
year = {2011},
keywords = {MyPHDThesis}
}
@inproceedings{brumley_automatic_2008,
@SeanHeelan
SeanHeelan / .bashrc
Created February 29, 2020 19:13
Shell mark and jump to directories
export MARKPATH=$HOME/.marks
function jump {
cd -P "$MARKPATH/$1" 2>/dev/null || echo "No such mark: $1"
}
function mark {
mkdir -p "$MARKPATH"; ln -s "$(pwd)" "$MARKPATH/$1"
}
function unmark {
rm -i "$MARKPATH/$1"
}
@phdthesis{heelan_greybox_2020,
title = {Greybox {Automatic} {Exploit} {Generation} for {Heap} {Overflows} in {Language} {Interpreters}},
url = {https://seanhn.files.wordpress.com/2020/11/heelan_phd_thesis.pdf},
school = {University of Oxford},
author = {Heelan, Sean},
year = {2020}
}
@SeanHeelan
SeanHeelan / stl_bitvector.h
Created September 23, 2021 12:21
stl_bitvector.h
// vector<bool> specialization -*- C++ -*-
// Copyright (C) 2001-2020 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.