rvantonder

Files:
GoodFET.py in verbose mode, and prints out the data that gets sent over serial
GoodFETMAXUSB.py with type-through

MAXUSBApp.py with extra method send_on_endpoint_key which calls write_bytes with a length of 1
USBKeyboard.py which calls send_on_endpoint_key in MAXUSBApp.py

Notes.txt - Description of the problem
Old.txt - How the old code sent key presses through

rvantonder

# Consider the function f, with arity 3:
f = lambda x,y,z: x+y+z

# Let's curry f:
f_curried = lambda x: lambda y: lambda z: x+y+z

# f_curried has arity 1. When called with an argument, it will 
# return another function (say, g) of arity 1 down the chain, e.g.:
g = f_curried(1)

rvantonder

diff --git a/.gitignore b/.gitignore
index f8f1975..0d50f56 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,5 +14,3 @@
 /setup.log
 /setup.ml
 META
-*.swp
-*.merlin

rvantonder

diff --git a/.gitignore b/.gitignore
index f8f1975..0d50f56 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,5 +14,3 @@
 /setup.log
 /setup.ml
 META
-*.swp
-*.merlin

rvantonder

diff --git a/.gitignore b/.gitignore
index 0d50f56..f8f1975 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,5 @@
 /setup.log
 /setup.ml
 META
+*.swp
+*.merlin

rvantonder

diff --git a/lib_test/bap_image/test_image.ml b/lib_test/bap_image/test_image.ml
index 665b48c..f69914b 100644
--- a/lib_test/bap_image/test_image.ml
+++ b/lib_test/bap_image/test_image.ml
@@ -136,6 +136,29 @@ let assert_cont ~word_size img =
             (a1 <> a2 ==> Addr.is_zero diff) in
       a2) |> return
 
+let empty_table = Bap_table.empty
+

rvantonder

#include <stdio.h>

int main() {
  printf("Hello world.\n");
}

rvantonder

package main

import "fmt"

func check_slice(x []int) {
	if x != nil && len(x) != 0 {
		fmt.Println(len(x))
	}
}

rvantonder

Runtime is 4.527s

Partitioning...
Patch ./complete/fuzzgoat/ground-truth/GENERATED_T_HAT/p01.patch fixed: 15
./complete/fuzzgoat/ground-truth/hf/all/raw/id:000011,sig:11,src:000079,op:int8,pos:4,val:+0
./complete/fuzzgoat/ground-truth/hf/all/raw/id:000024,sig:11,src:000237,op:havoc,rep:4
./complete/fuzzgoat/ground-truth/hf/all/raw/id:000026,sig:11,src:000618,op:havoc,rep:2
./complete/fuzzgoat/ground-truth/hf/all/raw/id:000029,sig:11,src:000689,op:havoc,rep:8
./complete/fuzzgoat/ground-truth/hf/all/raw/id:000012,sig:11,src:000210,op:havoc,rep:2

rvantonder

{
   "user_defined_delimiters":[
      [
         "(",
         ")"
      ],
      [
         "{",
         "}"
      ],