Skip to content

Instantly share code, notes, and snippets.

@spacekpe
spacekpe / add-sym.c
Created December 4, 2014 21:30
KLEE demonstration program
#include <assert.h>
#include <klee/klee.h>
int f1(int a, int b) {
return a + b;
}
#define VARIANT 1
int f2(int a, int b) {
for (int i = 0; i < sizeof(b) * 8; i++)
@spacekpe
spacekpe / snowden-ietf93.md
Last active August 28, 2015 18:56 — forked from mnot/snowden-ietf93.md
Transcript of Edward Snowden's comments at IETF93.