fleder

Keybase proof

I hereby claim:

• I am fleder on github.
• I am g_gimondi (https://keybase.io/g_gimondi) on keybase.
• I have a public key ASDeHFeoLo8LaWWgzLAsEYCNqXUOuxCO8xLaVcgiUABkbgo

To claim this, I am signing this object:

fleder

#include <stdlib.h>
#include <stdio.h>
#include "llbmc.h"


int * allocate_and_fill(int numberOfElements, int magic){
    int *buff;
    unsigned int i, j;

    if(numberOfElements > 4096)

fleder

from boolector import Boolector

if __name__ == "__main__":
    b = Boolector() 
    b.Set_opt("model_gen", 1)

    input_bytes = 13

    input_bits = 8*input_bytes #10 bytes of input
    input = b.Var(input_bits, "input")

fleder

from boolector import Boolector

if __name__ == "__main__":
    b = Boolector() 
    b.Set_opt("model_gen", 1)

    input_bytes = 1

    input_bits = 8*input_bytes #10 bytes of input
    input = b.Var(input_bits, "input")

fleder

felix@e-sikkerhet.no
felix@e-sikkerhet.no
felix@e-sikkerhet.no

fleder

felix@e-sikkerhet.no
felix@e-sikkerhet.no
felix@e-sikkerhet.no

fleder

felix@e-sikkerhet.no
felix@e-sikkerhet.no
felix@e-sikkerhet.no