Update the Mnemonics query menu label

.gitignore

@@ -8,3 +8,4 @@
 /fail/bin/VisualFAIL/CONFIGURATION.php
 /qemu.log
 /dumps
+/charts

queries/06-09_13-57-11_sum0_c_fail_faults.csv

@@ -0,0 +1,118 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,12,0x10001B,mov
+ip,OK_MARKER,12,0x10001D,nop
+ip,OK_MARKER,10,0x100020,push
+ip,OK_MARKER,9,0x10001F,ret
+ip,OK_MARKER,9,0x10001E,pop
+ip,OK_MARKER,8,0x10001A,push
+ip,OK_MARKER,5,0x100074,incl
+ip,OK_MARKER,4,0x100071,incl
+ip,OK_MARKER,2,0x10006F,jmp
+ip,OK_MARKER,1,0x100061,movl
+ip,FAIL_MARKER,4,0x100071,incl
+ip,FAIL_MARKER,1,0x100020,push
+ip,FAIL_MARKER,1,0x100080,mov
+ip,DETECTED_MARKER,1,0x100061,movl
+ip,DETECTED_MARKER,1,0x100068,movl
+ip,TIMEOUT,12,0x10007B,jle
+ip,TIMEOUT,12,0x100077,cmpl
+ip,TIMEOUT,7,0x100071,incl
+ip,TIMEOUT,5,0x100074,incl
+ip,TIMEOUT,3,0x10007D,mov
+ip,TIMEOUT,2,0x100061,movl
+ip,TIMEOUT,1,0x10006F,jmp
+ip,TIMEOUT,1,0x100068,movl
+ip,TIMEOUT,1,0x10001A,push
+ip,TIMEOUT,1,0x10001F,ret
+ip,TRAP,72,0x100077,cmpl
+ip,TRAP,66,0x10007B,jle
+ip,TRAP,50,0x100074,incl
+ip,TRAP,45,0x100071,incl
+ip,TRAP,11,0x100086,call
+ip,TRAP,9,0x100080,mov
+ip,TRAP,9,0x10007D,mov
+ip,TRAP,9,0x100061,movl
+ip,TRAP,9,0x10006F,jmp
+ip,TRAP,9,0x100085,nop
+ip,TRAP,8,0x100068,movl
+ip,TRAP,7,0x10001E,pop
+ip,TRAP,4,0x10001F,ret
+ip,TRAP,3,0x10001B,mov
+ip,TRAP,2,0x10001D,nop
+ip,ACCESS_OUTERSPACE,114,0x10007B,jle
+ip,ACCESS_OUTERSPACE,108,0x100077,cmpl
+ip,ACCESS_OUTERSPACE,100,0x100071,incl
+ip,ACCESS_OUTERSPACE,100,0x100074,incl
+ip,ACCESS_OUTERSPACE,23,0x100085,nop
+ip,ACCESS_OUTERSPACE,23,0x10001A,push
+ip,ACCESS_OUTERSPACE,22,0x100080,mov
+ip,ACCESS_OUTERSPACE,22,0x100068,movl
+ip,ACCESS_OUTERSPACE,21,0x100020,push
+ip,ACCESS_OUTERSPACE,21,0x100086,call
+ip,ACCESS_OUTERSPACE,20,0x10006F,jmp
+ip,ACCESS_OUTERSPACE,20,0x10007D,mov
+ip,ACCESS_OUTERSPACE,19,0x100061,movl
+ip,ACCESS_OUTERSPACE,18,0x10001F,ret
+ip,ACCESS_OUTERSPACE,18,0x10001D,nop
+ip,ACCESS_OUTERSPACE,17,0x10001B,mov
+ip,ACCESS_OUTERSPACE,16,0x10001E,pop
+mem,OK_MARKER,504,0x100071,incl
+mem,OK_MARKER,96,0x10007D,mov
+mem,OK_MARKER,90,0x100074,incl
+mem,OK_MARKER,39,0x10001E,pop
+mem,OK_MARKER,29,0x100077,cmpl
+mem,OK_MARKER,10,0x10001F,ret
+mem,FAIL_MARKER,375,0x100074,incl
+mem,FAIL_MARKER,188,0x100077,cmpl
+mem,FAIL_MARKER,168,0x100071,incl
+mem,FAIL_MARKER,32,0x10007D,mov
+mem,TIMEOUT,15,0x100074,incl
+mem,TIMEOUT,10,0x10001F,ret
+mem,TIMEOUT,7,0x100077,cmpl
+mem,TRAP,40,0x10001F,ret
+mem,ACCESS_OUTERSPACE,100,0x10001F,ret
+mem,ACCESS_OUTERSPACE,57,0x10001E,pop
+regs,OK_MARKER,377,0x100086,call
+regs,OK_MARKER,360,0x10007B,jle
+regs,OK_MARKER,248,0x10001B,mov
+regs,OK_MARKER,128,0x100020,push
+regs,OK_MARKER,86,0x100071,incl
+regs,OK_MARKER,62,0x100077,cmpl
+regs,OK_MARKER,26,0x100061,movl
+regs,OK_MARKER,13,0x10001A,push
+regs,OK_MARKER,11,0x100068,movl
+regs,OK_MARKER,2,0x10007D,mov
+regs,OK_MARKER,1,0x100074,incl
+regs,FAIL_MARKER,59,0x100074,incl
+regs,FAIL_MARKER,34,0x100071,incl
+regs,FAIL_MARKER,24,0x10007D,mov
+regs,FAIL_MARKER,22,0x100077,cmpl
+regs,FAIL_MARKER,12,0x10007B,jle
+regs,FAIL_MARKER,8,0x100080,mov
+regs,FAIL_MARKER,2,0x100068,movl
+regs,TIMEOUT,10,0x100071,incl
+regs,TIMEOUT,7,0x100077,cmpl
+regs,TIMEOUT,5,0x100074,incl
+regs,TIMEOUT,2,0x10001E,pop
+regs,TIMEOUT,1,0x10001F,ret
+regs,TIMEOUT,1,0x100020,push
+regs,TIMEOUT,1,0x10001B,mov
+regs,TIMEOUT,1,0x10001A,push
+regs,TRAP,12,0x10007B,jle
+regs,TRAP,6,0x10001E,pop
+regs,TRAP,3,0x10001B,mov
+regs,TRAP,2,0x10001F,ret
+regs,TRAP,2,0x100020,push
+regs,TRAP,2,0x10001A,push
+regs,ACCESS_OUTERSPACE,551,0x100086,call
+regs,ACCESS_OUTERSPACE,190,0x100071,incl
+regs,ACCESS_OUTERSPACE,133,0x100077,cmpl
+regs,ACCESS_OUTERSPACE,95,0x100074,incl
+regs,ACCESS_OUTERSPACE,56,0x10001E,pop
+regs,ACCESS_OUTERSPACE,48,0x10001A,push
+regs,ACCESS_OUTERSPACE,38,0x100061,movl
+regs,ACCESS_OUTERSPACE,38,0x10007D,mov
+regs,ACCESS_OUTERSPACE,29,0x10001F,ret
+regs,ACCESS_OUTERSPACE,29,0x100020,push
+regs,ACCESS_OUTERSPACE,28,0x10001B,mov
+regs,ACCESS_OUTERSPACE,19,0x100068,movl

queries/06-09_13-57-11_sum0_c_fail_mnemonics.csv

@@ -0,0 +1,12 @@
+mnemonic,count
+incl,200
+cmpl,120
+jle,72
+mov,34
+push,28
+movl,24
+pop,16
+ret,12
+call,12
+nop,8
+jmp,4

queries/06-09_13-57-11_sum0_c_fail_results.txt

@@ -0,0 +1,20 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |     72 |
+| ip        | FAIL_MARKER       |      6 |
+| ip        | DETECTED_MARKER   |      2 |
+| ip        | TIMEOUT           |     45 |
+| ip        | TRAP              |    313 |
+| ip        | ACCESS_OUTERSPACE |    682 |
+| mem       | OK_MARKER         |    768 |
+| mem       | FAIL_MARKER       |    763 |
+| mem       | TIMEOUT           |     32 |
+| mem       | TRAP              |     40 |
+| mem       | ACCESS_OUTERSPACE |    157 |
+| regs      | OK_MARKER         |   1314 |
+| regs      | FAIL_MARKER       |    161 |
+| regs      | TIMEOUT           |     28 |
+| regs      | TRAP              |     27 |
+| regs      | ACCESS_OUTERSPACE |   1254 |
++-----------+-------------------+--------+

queries/06-09_13-57-11_sum0_c_fail_resultsdata.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,72
+ip,FAIL_MARKER,6
+ip,DETECTED_MARKER,2
+ip,TIMEOUT,45
+ip,TRAP,313
+ip,ACCESS_OUTERSPACE,682
+mem,OK_MARKER,768
+mem,FAIL_MARKER,763
+mem,TIMEOUT,32
+mem,TRAP,40
+mem,ACCESS_OUTERSPACE,157
+regs,OK_MARKER,1314
+regs,FAIL_MARKER,161
+regs,TIMEOUT,28
+regs,TRAP,27
+regs,ACCESS_OUTERSPACE,1254

queries/06-09_13-57-11_sum0_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,72
+ip,FAIL_MARKER,6
+ip,DETECTED_MARKER,2
+ip,TIMEOUT,45
+ip,TRAP,313
+ip,ACCESS_OUTERSPACE,682
+mem,OK_MARKER,2648
+mem,FAIL_MARKER,763
+mem,TIMEOUT,32
+mem,TRAP,40
+mem,ACCESS_OUTERSPACE,157
+regs,OK_MARKER,3714
+regs,FAIL_MARKER,161
+regs,TIMEOUT,28
+regs,TRAP,27
+regs,ACCESS_OUTERSPACE,1254

queries/06-09_13-57-11_sum0_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,140,1120,1120,140
+mem,220,1760,608,76
+regs,348,2784,1264,158

queries/06-09_13-57-13_sum1-voter_c_fail_faults.csv

@@ -0,0 +1,115 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,12,0x10001B,mov
+ip,OK_MARKER,12,0x1000AF,nop
+ip,OK_MARKER,12,0x1000B1,ret
+ip,OK_MARKER,11,0x10001D,nop
+ip,OK_MARKER,11,0x100020,push
+ip,OK_MARKER,9,0x10001E,pop
+ip,OK_MARKER,9,0x10001A,push
+ip,OK_MARKER,9,0x10001F,ret
+ip,OK_MARKER,8,0x1000B0,leave
+ip,OK_MARKER,3,0x100062,je
+ip,OK_MARKER,3,0x100141,call
+ip,OK_MARKER,2,0x100055,mov
+ip,OK_MARKER,1,0x10005B,mov
+ip,OK_MARKER,1,0x10007D,jmp
+ip,FAIL_MARKER,2,0x100078,mov
+ip,FAIL_MARKER,1,0x100052,sub
+ip,FAIL_MARKER,1,0x10005B,mov
+ip,FAIL_MARKER,1,0x100020,push
+ip,FAIL_MARKER,1,0x10007D,jmp
+ip,FAIL_MARKER,1,0x100050,mov
+ip,DETECTED_MARKER,1,0x100073,mov
+ip,DETECTED_MARKER,1,0x100060,cmp
+ip,DETECTED_MARKER,1,0x100055,mov
+ip,TIMEOUT,1,0x10001F,ret
+ip,TIMEOUT,1,0x10005B,mov
+ip,TIMEOUT,1,0x100060,cmp
+ip,TIMEOUT,1,0x10004F,push
+ip,TIMEOUT,1,0x10001A,push
+ip,TIMEOUT,1,0x1000B1,ret
+ip,TRAP,13,0x100146,call
+ip,TRAP,12,0x100141,call
+ip,TRAP,12,0x100062,je
+ip,TRAP,11,0x100073,mov
+ip,TRAP,10,0x100050,mov
+ip,TRAP,10,0x100078,mov
+ip,TRAP,10,0x10005B,mov
+ip,TRAP,10,0x100060,cmp
+ip,TRAP,9,0x10007D,jmp
+ip,TRAP,9,0x10004F,push
+ip,TRAP,9,0x100052,sub
+ip,TRAP,8,0x100055,mov
+ip,TRAP,5,0x10001E,pop
+ip,TRAP,3,0x10001D,nop
+ip,TRAP,3,0x10001B,mov
+ip,TRAP,2,0x10001A,push
+ip,TRAP,2,0x10001F,ret
+ip,TRAP,2,0x1000AF,nop
+ip,TRAP,1,0x1000B1,ret
+ip,TRAP,1,0x100020,push
+ip,WRITE_TEXTSEGMENT,1,0x100141,call
+ip,ACCESS_OUTERSPACE,24,0x1000B0,leave
+ip,ACCESS_OUTERSPACE,22,0x100052,sub
+ip,ACCESS_OUTERSPACE,22,0x10004F,push
+ip,ACCESS_OUTERSPACE,21,0x10007D,jmp
+ip,ACCESS_OUTERSPACE,21,0x100050,mov
+ip,ACCESS_OUTERSPACE,21,0x100055,mov
+ip,ACCESS_OUTERSPACE,20,0x100060,cmp
+ip,ACCESS_OUTERSPACE,20,0x10001A,push
+ip,ACCESS_OUTERSPACE,20,0x10001F,ret
+ip,ACCESS_OUTERSPACE,20,0x100078,mov
+ip,ACCESS_OUTERSPACE,20,0x100073,mov
+ip,ACCESS_OUTERSPACE,19,0x100146,call
+ip,ACCESS_OUTERSPACE,19,0x100020,push
+ip,ACCESS_OUTERSPACE,19,0x10005B,mov
+ip,ACCESS_OUTERSPACE,18,0x1000AF,nop
+ip,ACCESS_OUTERSPACE,18,0x1000B1,ret
+ip,ACCESS_OUTERSPACE,18,0x10001E,pop
+ip,ACCESS_OUTERSPACE,18,0x10001D,nop
+ip,ACCESS_OUTERSPACE,17,0x100062,je
+ip,ACCESS_OUTERSPACE,17,0x10001B,mov
+ip,ACCESS_OUTERSPACE,16,0x100141,call
+mem,OK_MARKER,352,0x1000B0,leave
+mem,OK_MARKER,96,0x10001E,pop
+mem,OK_MARKER,88,0x10005B,mov
+mem,OK_MARKER,80,0x100055,mov
+mem,OK_MARKER,15,0x10001F,ret
+mem,FAIL_MARKER,32,0x100073,mov
+mem,TRAP,169,0x1000B1,ret
+mem,TRAP,60,0x10001F,ret
+mem,WRITE_TEXTSEGMENT,5,0x10001F,ret
+mem,ACCESS_OUTERSPACE,247,0x1000B1,ret
+mem,ACCESS_OUTERSPACE,80,0x10001F,ret
+regs,OK_MARKER,288,0x1000B0,leave
+regs,OK_MARKER,96,0x100020,push
+regs,OK_MARKER,96,0x10004F,push
+regs,OK_MARKER,88,0x10001B,mov
+regs,OK_MARKER,62,0x100062,je
+regs,OK_MARKER,32,0x100052,sub
+regs,OK_MARKER,32,0x10001A,push
+regs,OK_MARKER,24,0x100060,cmp
+regs,OK_MARKER,13,0x100146,call
+regs,OK_MARKER,13,0x100141,call
+regs,FAIL_MARKER,8,0x100078,mov
+regs,TRAP,40,0x1000B0,leave
+regs,TRAP,8,0x10001E,pop
+regs,TRAP,4,0x10001B,mov
+regs,TRAP,4,0x100050,mov
+regs,TRAP,3,0x10001F,ret
+regs,TRAP,3,0x10001A,push
+regs,TRAP,3,0x100020,push
+regs,TRAP,3,0x1000B1,ret
+regs,TRAP,3,0x10004F,push
+regs,TRAP,2,0x100062,je
+regs,ACCESS_OUTERSPACE,280,0x1000B0,leave
+regs,ACCESS_OUTERSPACE,56,0x10001E,pop
+regs,ACCESS_OUTERSPACE,29,0x10004F,push
+regs,ACCESS_OUTERSPACE,29,0x10001F,ret
+regs,ACCESS_OUTERSPACE,29,0x10001A,push
+regs,ACCESS_OUTERSPACE,29,0x100020,push
+regs,ACCESS_OUTERSPACE,29,0x1000B1,ret
+regs,ACCESS_OUTERSPACE,28,0x10001B,mov
+regs,ACCESS_OUTERSPACE,28,0x100050,mov
+regs,ACCESS_OUTERSPACE,19,0x100141,call
+regs,ACCESS_OUTERSPACE,19,0x100146,call

queries/06-09_13-57-13_sum1-voter_c_fail_mnemonics.csv

@@ -0,0 +1,12 @@
+mnemonic,count
+mov,48
+push,44
+ret,24
+call,24
+leave,16
+pop,16
+sub,16
+cmp,14
+je,12
+nop,8
+jmp,4

queries/06-09_13-57-13_sum1-voter_c_fail_results.txt

@@ -0,0 +1,20 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |    103 |
+| ip        | FAIL_MARKER       |      7 |
+| ip        | DETECTED_MARKER   |      3 |
+| ip        | TIMEOUT           |      6 |
+| ip        | TRAP              |    142 |
+| ip        | WRITE_TEXTSEGMENT |      1 |
+| ip        | ACCESS_OUTERSPACE |    410 |
+| mem       | OK_MARKER         |    631 |
+| mem       | FAIL_MARKER       |     32 |
+| mem       | TRAP              |    229 |
+| mem       | WRITE_TEXTSEGMENT |      5 |
+| mem       | ACCESS_OUTERSPACE |    327 |
+| regs      | OK_MARKER         |    744 |
+| regs      | FAIL_MARKER       |      8 |
+| regs      | TRAP              |     73 |
+| regs      | ACCESS_OUTERSPACE |    575 |
++-----------+-------------------+--------+

queries/06-09_13-57-13_sum1-voter_c_fail_resultsdata.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,103
+ip,FAIL_MARKER,7
+ip,DETECTED_MARKER,3
+ip,TIMEOUT,6
+ip,TRAP,142
+ip,WRITE_TEXTSEGMENT,1
+ip,ACCESS_OUTERSPACE,410
+mem,OK_MARKER,631
+mem,FAIL_MARKER,32
+mem,TRAP,229
+mem,WRITE_TEXTSEGMENT,5
+mem,ACCESS_OUTERSPACE,327
+regs,OK_MARKER,744
+regs,FAIL_MARKER,8
+regs,TRAP,73
+regs,ACCESS_OUTERSPACE,575

queries/06-09_13-57-13_sum1-voter_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,103
+ip,FAIL_MARKER,7
+ip,DETECTED_MARKER,3
+ip,TIMEOUT,6
+ip,TRAP,142
+ip,WRITE_TEXTSEGMENT,1
+ip,ACCESS_OUTERSPACE,410
+mem,OK_MARKER,967
+mem,FAIL_MARKER,32
+mem,TRAP,229
+mem,WRITE_TEXTSEGMENT,5
+mem,ACCESS_OUTERSPACE,327
+regs,OK_MARKER,1784
+regs,FAIL_MARKER,8
+regs,TRAP,73
+regs,ACCESS_OUTERSPACE,575

queries/06-09_13-57-13_sum1-voter_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,84,672,672,84
+mem,153,1224,152,19
+regs,175,1400,608,76

queries/06-09_13-57-14_sum2-cored_c_fail_faults.csv

@@ -0,0 +1,246 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,13,0x10023C,mov
+ip,OK_MARKER,10,0x100020,push
+ip,OK_MARKER,8,0x10023F,leave
+ip,OK_MARKER,8,0x100240,ret
+ip,OK_MARKER,2,0x1000D9,movsbw
+ip,OK_MARKER,2,0x1000B4,movzwl
+ip,OK_MARKER,1,0x1000DE,mov
+ip,OK_MARKER,1,0x100069,cmp
+ip,OK_MARKER,1,0x1000E4,mov
+ip,OK_MARKER,1,0x1000BB,mov
+ip,OK_MARKER,1,0x10005B,movzwl
+ip,OK_MARKER,1,0x1000EC,jmp
+ip,OK_MARKER,1,0x1000E2,add
+ip,FAIL_MARKER,2,0x100050,mov
+ip,FAIL_MARKER,1,0x100069,cmp
+ip,FAIL_MARKER,1,0x10001A,push
+ip,FAIL_MARKER,1,0x1000A8,sub
+ip,FAIL_MARKER,1,0x10005B,movzwl
+ip,FAIL_MARKER,1,0x100067,sub
+ip,FAIL_MARKER,1,0x10001F,ret
+ip,FAIL_MARKER,1,0x100020,push
+ip,DETECTED_MARKER,4,0x100084,cmp
+ip,DETECTED_MARKER,3,0x1000EC,jmp
+ip,DETECTED_MARKER,3,0x10007A,mov
+ip,DETECTED_MARKER,3,0x1000E4,mov
+ip,DETECTED_MARKER,3,0x10023C,mov
+ip,DETECTED_MARKER,2,0x1000AF,mov
+ip,DETECTED_MARKER,2,0x10006C,jne
+ip,DETECTED_MARKER,2,0x1000D9,movsbw
+ip,DETECTED_MARKER,2,0x1000AC,movsbl
+ip,DETECTED_MARKER,2,0x100082,sub
+ip,DETECTED_MARKER,2,0x1000BE,cmpb
+ip,DETECTED_MARKER,2,0x100335,call
+ip,DETECTED_MARKER,1,0x1000A6,mov
+ip,DETECTED_MARKER,1,0x10001F,ret
+ip,DETECTED_MARKER,1,0x1000A4,mov
+ip,DETECTED_MARKER,1,0x100064,movzwl
+ip,DETECTED_MARKER,1,0x1000B4,movzwl
+ip,DETECTED_MARKER,1,0x10009D,mov
+ip,DETECTED_MARKER,1,0x10032D,call
+ip,DETECTED_MARKER,1,0x10009F,mov
+ip,DETECTED_MARKER,1,0x100069,cmp
+ip,DETECTED_MARKER,1,0x10005E,mov
+ip,DETECTED_MARKER,1,0x1000AA,add
+ip,DETECTED_MARKER,1,0x1000B7,mov
+ip,DETECTED_MARKER,1,0x1000A8,sub
+ip,TIMEOUT,1,0x10005B,movzwl
+ip,TIMEOUT,1,0x10001F,ret
+ip,TIMEOUT,1,0x10004F,push
+ip,TIMEOUT,1,0x100098,mov
+ip,TIMEOUT,1,0x10023F,leave
+ip,TIMEOUT,1,0x10001A,push
+ip,TRAP,13,0x1000DE,mov
+ip,TRAP,12,0x100335,call
+ip,TRAP,12,0x10032D,call
+ip,TRAP,11,0x100332,mov
+ip,TRAP,10,0x1000B7,mov
+ip,TRAP,10,0x1000EA,mov
+ip,TRAP,10,0x1000AF,mov
+ip,TRAP,10,0x1000AC,movsbl
+ip,TRAP,9,0x1000E4,mov
+ip,TRAP,9,0x1000A8,sub
+ip,TRAP,9,0x1000A6,mov
+ip,TRAP,9,0x1000A4,mov
+ip,TRAP,9,0x1000D9,movsbw
+ip,TRAP,9,0x1000AA,add
+ip,TRAP,9,0x1000C2,jle
+ip,TRAP,9,0x1000BE,cmpb
+ip,TRAP,9,0x1000BB,mov
+ip,TRAP,8,0x1000B4,movzwl
+ip,TRAP,8,0x1000E2,add
+ip,TRAP,8,0x1000EC,jmp
+ip,TRAP,6,0x10001E,pop
+ip,TRAP,6,0x10009F,mov
+ip,TRAP,3,0x10001B,mov
+ip,TRAP,3,0x10001D,nop
+ip,TRAP,2,0x10023F,leave
+ip,TRAP,2,0x10004F,push
+ip,TRAP,2,0x100084,cmp
+ip,TRAP,2,0x10005B,movzwl
+ip,TRAP,1,0x10008E,mov
+ip,TRAP,1,0x100053,sub
+ip,TRAP,1,0x100056,mov
+ip,TRAP,1,0x10023C,mov
+ip,TRAP,1,0x100067,sub
+ip,TRAP,1,0x100082,sub
+ip,TRAP,1,0x100240,ret
+ip,TRAP,1,0x100077,movzwl
+ip,TRAP,1,0x10001F,ret
+ip,TRAP,1,0x10007F,movzwl
+ip,TRAP,1,0x100096,sub
+ip,TRAP,1,0x100087,jne
+ip,TRAP,1,0x100098,mov
+ip,WRITE_TEXTSEGMENT,3,0x1000C2,jle
+ip,WRITE_TEXTSEGMENT,1,0x1000BB,mov
+ip,ACCESS_OUTERSPACE,32,0x100052,push
+ip,ACCESS_OUTERSPACE,32,0x100090,mov
+ip,ACCESS_OUTERSPACE,32,0x100072,mov
+ip,ACCESS_OUTERSPACE,32,0x100089,mov
+ip,ACCESS_OUTERSPACE,31,0x10009D,mov
+ip,ACCESS_OUTERSPACE,31,0x10007F,movzwl
+ip,ACCESS_OUTERSPACE,31,0x100096,sub
+ip,ACCESS_OUTERSPACE,31,0x10008E,mov
+ip,ACCESS_OUTERSPACE,31,0x100064,movzwl
+ip,ACCESS_OUTERSPACE,31,0x100056,mov
+ip,ACCESS_OUTERSPACE,31,0x100087,jne
+ip,ACCESS_OUTERSPACE,31,0x10005E,mov
+ip,ACCESS_OUTERSPACE,31,0x100053,sub
+ip,ACCESS_OUTERSPACE,31,0x100077,movzwl
+ip,ACCESS_OUTERSPACE,30,0x100067,sub
+ip,ACCESS_OUTERSPACE,30,0x10001A,push
+ip,ACCESS_OUTERSPACE,30,0x100050,mov
+ip,ACCESS_OUTERSPACE,30,0x10006C,jne
+ip,ACCESS_OUTERSPACE,30,0x100098,mov
+ip,ACCESS_OUTERSPACE,29,0x10001D,nop
+ip,ACCESS_OUTERSPACE,29,0x10007A,mov
+ip,ACCESS_OUTERSPACE,29,0x100082,sub
+ip,ACCESS_OUTERSPACE,29,0x10001B,mov
+ip,ACCESS_OUTERSPACE,29,0x10004F,push
+ip,ACCESS_OUTERSPACE,29,0x100069,cmp
+ip,ACCESS_OUTERSPACE,28,0x10001F,ret
+ip,ACCESS_OUTERSPACE,27,0x10005B,movzwl
+ip,ACCESS_OUTERSPACE,26,0x100084,cmp
+ip,ACCESS_OUTERSPACE,26,0x10001E,pop
+ip,ACCESS_OUTERSPACE,25,0x10009F,mov
+ip,ACCESS_OUTERSPACE,23,0x1000E2,add
+ip,ACCESS_OUTERSPACE,23,0x100240,ret
+ip,ACCESS_OUTERSPACE,22,0x1000A6,mov
+ip,ACCESS_OUTERSPACE,22,0x1000EA,mov
+ip,ACCESS_OUTERSPACE,22,0x1000A4,mov
+ip,ACCESS_OUTERSPACE,22,0x1000AA,add
+ip,ACCESS_OUTERSPACE,21,0x1000BE,cmpb
+ip,ACCESS_OUTERSPACE,21,0x100020,push
+ip,ACCESS_OUTERSPACE,21,0x1000BB,mov
+ip,ACCESS_OUTERSPACE,21,0x1000B7,mov
+ip,ACCESS_OUTERSPACE,21,0x10023F,leave
+ip,ACCESS_OUTERSPACE,21,0x1000A8,sub
+ip,ACCESS_OUTERSPACE,21,0x100332,mov
+ip,ACCESS_OUTERSPACE,21,0x1000B4,movzwl
+ip,ACCESS_OUTERSPACE,20,0x1000EC,jmp
+ip,ACCESS_OUTERSPACE,20,0x1000C2,jle
+ip,ACCESS_OUTERSPACE,20,0x1000AF,mov
+ip,ACCESS_OUTERSPACE,20,0x1000AC,movsbl
+ip,ACCESS_OUTERSPACE,19,0x1000D9,movsbw
+ip,ACCESS_OUTERSPACE,19,0x10032D,call
+ip,ACCESS_OUTERSPACE,19,0x1000E4,mov
+ip,ACCESS_OUTERSPACE,18,0x100335,call
+ip,ACCESS_OUTERSPACE,18,0x1000DE,mov
+ip,ACCESS_OUTERSPACE,15,0x10023C,mov
+mem,OK_MARKER,1280,0x10023C,mov
+mem,OK_MARKER,516,0x10023F,leave
+mem,OK_MARKER,128,0x1000AF,mov
+mem,DETECTED_MARKER,128,0x1000AF,mov
+mem,DETECTED_MARKER,90,0x100240,ret
+mem,DETECTED_MARKER,80,0x1000DE,mov
+mem,DETECTED_MARKER,43,0x10023F,leave
+mem,DETECTED_MARKER,16,0x1000D9,movsbw
+mem,DETECTED_MARKER,8,0x1000BE,cmpb
+mem,DETECTED_MARKER,5,0x10001F,ret
+mem,TIMEOUT,45,0x100240,ret
+mem,TRAP,540,0x100240,ret
+mem,TRAP,60,0x10001F,ret
+mem,ACCESS_OUTERSPACE,817,0x10023F,leave
+mem,ACCESS_OUTERSPACE,765,0x100240,ret
+mem,ACCESS_OUTERSPACE,640,0x10007A,mov
+mem,ACCESS_OUTERSPACE,352,0x10009F,mov
+mem,ACCESS_OUTERSPACE,352,0x100056,mov
+mem,ACCESS_OUTERSPACE,224,0x100089,mov
+mem,ACCESS_OUTERSPACE,192,0x100072,mov
+mem,ACCESS_OUTERSPACE,96,0x100098,mov
+mem,ACCESS_OUTERSPACE,96,0x10001E,pop
+mem,ACCESS_OUTERSPACE,95,0x10001F,ret
+mem,ACCESS_OUTERSPACE,32,0x10005E,mov
+mem,ACCESS_OUTERSPACE,32,0x100090,mov
+regs,OK_MARKER,1280,0x10023F,leave
+regs,OK_MARKER,888,0x1000A8,sub
+regs,OK_MARKER,256,0x1000E2,add
+regs,OK_MARKER,192,0x1000AA,add
+regs,OK_MARKER,128,0x100082,sub
+regs,OK_MARKER,60,0x1000C2,jle
+regs,OK_MARKER,32,0x100084,cmp
+regs,OK_MARKER,24,0x100335,call
+regs,OK_MARKER,24,0x100332,mov
+regs,OK_MARKER,16,0x10007F,movzwl
+regs,OK_MARKER,1,0x100087,jne
+regs,DETECTED_MARKER,64,0x1000AA,add
+regs,DETECTED_MARKER,48,0x1000E2,add
+regs,DETECTED_MARKER,42,0x100332,mov
+regs,DETECTED_MARKER,32,0x1000BB,mov
+regs,DETECTED_MARKER,26,0x100020,push
+regs,DETECTED_MARKER,24,0x1000A6,mov
+regs,DETECTED_MARKER,24,0x1000A8,sub
+regs,DETECTED_MARKER,16,0x1000B7,mov
+regs,DETECTED_MARKER,16,0x1000E4,mov
+regs,DETECTED_MARKER,16,0x1000B4,movzwl
+regs,DETECTED_MARKER,8,0x1000AC,movsbl
+regs,DETECTED_MARKER,8,0x1000A4,mov
+regs,DETECTED_MARKER,2,0x100335,call
+regs,DETECTED_MARKER,2,0x1000C2,jle
+regs,TRAP,124,0x1000B7,mov
+regs,TRAP,20,0x10023C,mov
+regs,TRAP,8,0x10001E,pop
+regs,TRAP,8,0x1000D9,movsbw
+regs,TRAP,4,0x10023F,leave
+regs,TRAP,4,0x1000BB,mov
+regs,TRAP,4,0x1000BE,cmpb
+regs,TRAP,4,0x10001B,mov
+regs,TRAP,4,0x1000DE,mov
+regs,TRAP,3,0x10001A,push
+regs,TRAP,3,0x100240,ret
+regs,TRAP,3,0x10001F,ret
+regs,TRAP,3,0x100020,push
+regs,TRAP,2,0x100087,jne
+regs,TRAP,2,0x1000C2,jle
+regs,TRAP,2,0x10006C,jne
+regs,ACCESS_OUTERSPACE,868,0x1000B7,mov
+regs,ACCESS_OUTERSPACE,320,0x100052,push
+regs,ACCESS_OUTERSPACE,200,0x100096,sub
+regs,ACCESS_OUTERSPACE,140,0x10023C,mov
+regs,ACCESS_OUTERSPACE,128,0x10004F,push
+regs,ACCESS_OUTERSPACE,128,0x100067,sub
+regs,ACCESS_OUTERSPACE,116,0x10001B,mov
+regs,ACCESS_OUTERSPACE,67,0x100020,push
+regs,ACCESS_OUTERSPACE,62,0x10006C,jne
+regs,ACCESS_OUTERSPACE,61,0x100087,jne
+regs,ACCESS_OUTERSPACE,61,0x10001A,push
+regs,ACCESS_OUTERSPACE,56,0x10001E,pop
+regs,ACCESS_OUTERSPACE,56,0x1000D9,movsbw
+regs,ACCESS_OUTERSPACE,38,0x100332,mov
+regs,ACCESS_OUTERSPACE,38,0x100335,call
+regs,ACCESS_OUTERSPACE,32,0x100053,sub
+regs,ACCESS_OUTERSPACE,32,0x10032D,call
+regs,ACCESS_OUTERSPACE,32,0x100050,mov
+regs,ACCESS_OUTERSPACE,32,0x100069,cmp
+regs,ACCESS_OUTERSPACE,29,0x100240,ret
+regs,ACCESS_OUTERSPACE,29,0x10001F,ret
+regs,ACCESS_OUTERSPACE,28,0x1000BE,cmpb
+regs,ACCESS_OUTERSPACE,28,0x1000DE,mov
+regs,ACCESS_OUTERSPACE,28,0x10023F,leave
+regs,ACCESS_OUTERSPACE,28,0x1000BB,mov
+regs,ACCESS_OUTERSPACE,16,0x10005B,movzwl
+regs,ACCESS_OUTERSPACE,16,0x100064,movzwl
+regs,ACCESS_OUTERSPACE,16,0x100077,movzwl
+regs,ACCESS_OUTERSPACE,8,0x10009D,mov
+regs,ACCESS_OUTERSPACE,8,0x10008E,mov

queries/06-09_13-57-14_sum2-cored_c_fail_mnemonics.csv

@@ -0,0 +1,18 @@
+mnemonic,count
+mov,221
+sub,96
+push,60
+movzwl,44
+add,40
+cmp,32
+jne,24
+ret,24
+call,24
+cmpb,17
+leave,16
+pop,16
+jle,12
+movsbw,11
+movsbl,9
+jmp,4
+nop,4

queries/06-09_13-57-14_sum2-cored_c_fail_results.txt

@@ -0,0 +1,20 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |     50 |
+| ip        | FAIL_MARKER       |      9 |
+| ip        | DETECTED_MARKER   |     43 |
+| ip        | TIMEOUT           |      6 |
+| ip        | TRAP              |    232 |
+| ip        | WRITE_TEXTSEGMENT |      4 |
+| ip        | ACCESS_OUTERSPACE |   1384 |
+| mem       | OK_MARKER         |   1924 |
+| mem       | DETECTED_MARKER   |    370 |
+| mem       | TIMEOUT           |     45 |
+| mem       | TRAP              |    600 |
+| mem       | ACCESS_OUTERSPACE |   3693 |
+| regs      | OK_MARKER         |   2901 |
+| regs      | DETECTED_MARKER   |    328 |
+| regs      | TRAP              |    198 |
+| regs      | ACCESS_OUTERSPACE |   2701 |
++-----------+-------------------+--------+

queries/06-09_13-57-14_sum2-cored_c_fail_resultsdata.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,50
+ip,FAIL_MARKER,9
+ip,DETECTED_MARKER,43
+ip,TIMEOUT,6
+ip,TRAP,232
+ip,WRITE_TEXTSEGMENT,4
+ip,ACCESS_OUTERSPACE,1384
+mem,OK_MARKER,1924
+mem,DETECTED_MARKER,370
+mem,TIMEOUT,45
+mem,TRAP,600
+mem,ACCESS_OUTERSPACE,3693
+regs,OK_MARKER,2901
+regs,DETECTED_MARKER,328
+regs,TRAP,198
+regs,ACCESS_OUTERSPACE,2701

queries/06-09_13-57-14_sum2-cored_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,50
+ip,FAIL_MARKER,9
+ip,DETECTED_MARKER,43
+ip,TIMEOUT,6
+ip,TRAP,232
+ip,WRITE_TEXTSEGMENT,4
+ip,ACCESS_OUTERSPACE,1384
+mem,OK_MARKER,1924
+mem,DETECTED_MARKER,370
+mem,TIMEOUT,45
+mem,TRAP,600
+mem,ACCESS_OUTERSPACE,6389
+regs,OK_MARKER,2901
+regs,DETECTED_MARKER,328
+regs,TRAP,198
+regs,ACCESS_OUTERSPACE,8525

queries/06-09_13-57-14_sum2-cored_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,216,1728,1728,216
+mem,829,6632,448,56
+regs,766,6128,1616,202

queries/06-09_22-34-26_sum0_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+mov,1764
+push,828
+add,352
+sub,308
+NULL,212
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+movl,60
+or,48
+shl,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+dec,16
+and,16
+movzwl,16
+setb,13
+sete,13
+setne,13
+jb,12
+jbe,12
+loop,8

queries/06-09_22-34-26_sum0_aot_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |   1463 |
+| ip        | FAIL_MARKER       |    327 |
+| ip        | GROUP1_MARKER     |    121 |
+| ip        | TIMEOUT           |   1422 |
+| ip        | TRAP              |   8374 |
+| ip        | WRITE_TEXTSEGMENT |    779 |
+| ip        | ACCESS_OUTERSPACE |  13978 |
+| mem       | OK_MARKER         | 211137 |
+| mem       | FAIL_MARKER       |  27477 |
+| mem       | GROUP1_MARKER     |  30251 |
+| mem       | TIMEOUT           |  49099 |
+| mem       | TRAP              |  45367 |
+| mem       | WRITE_TEXTSEGMENT |  17991 |
+| mem       | ACCESS_OUTERSPACE | 197510 |
+| regs      | OK_MARKER         |  44379 |
+| regs      | FAIL_MARKER       |   4520 |
+| regs      | GROUP1_MARKER     |   1712 |
+| regs      | TIMEOUT           |   1037 |
+| regs      | TRAP              |   2528 |
+| regs      | WRITE_TEXTSEGMENT |   3362 |
+| regs      | ACCESS_OUTERSPACE |  29278 |
++-----------+-------------------+--------+

queries/06-09_22-34-26_sum0_aot_fail_resultsdata.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1463
+ip,FAIL_MARKER,327
+ip,GROUP1_MARKER,121
+ip,TIMEOUT,1422
+ip,TRAP,8374
+ip,WRITE_TEXTSEGMENT,779
+ip,ACCESS_OUTERSPACE,13978
+mem,OK_MARKER,211137
+mem,FAIL_MARKER,27477
+mem,GROUP1_MARKER,30251
+mem,TIMEOUT,49099
+mem,TRAP,45367
+mem,WRITE_TEXTSEGMENT,17991
+mem,ACCESS_OUTERSPACE,197510
+regs,OK_MARKER,44379
+regs,FAIL_MARKER,4520
+regs,GROUP1_MARKER,1712
+regs,TIMEOUT,1037
+regs,TRAP,2528
+regs,WRITE_TEXTSEGMENT,3362
+regs,ACCESS_OUTERSPACE,29278

queries/06-09_22-34-26_sum0_aot_fail_resultsdata_writegroups.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1463
+ip,FAIL_MARKER,327
+ip,GROUP1_MARKER,121
+ip,TIMEOUT,1422
+ip,TRAP,8374
+ip,WRITE_TEXTSEGMENT,779
+ip,ACCESS_OUTERSPACE,13978
+mem,OK_MARKER,1540105
+mem,FAIL_MARKER,27477
+mem,GROUP1_MARKER,30251
+mem,TIMEOUT,49099
+mem,TRAP,45367
+mem,WRITE_TEXTSEGMENT,17991
+mem,ACCESS_OUTERSPACE,197510
+regs,OK_MARKER,200219
+regs,FAIL_MARKER,4520
+regs,GROUP1_MARKER,1712
+regs,TIMEOUT,1037
+regs,TRAP,2528
+regs,WRITE_TEXTSEGMENT,3362
+regs,ACCESS_OUTERSPACE,29278

queries/06-09_22-34-26_sum0_aot_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,3308,26464,26464,3308
+mem,72354,578832,9288,1161
+regs,10852,86816,34128,4266

queries/06-10_20-50-37_sum1-voter_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+mov,1764
+push,828
+add,352
+sub,308
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+NULL,60
+movl,60
+shl,48
+or,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+and,16
+movzwl,16
+dec,16
+setb,13
+sete,13
+setne,13
+jb,12
+jbe,12
+loop,8

queries/06-10_20-50-37_sum1-voter_aot_fail_results.txt

@@ -0,0 +1,28 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |   1245 |
+| ip        | FAIL_MARKER       |     29 |
+| ip        | DETECTED_MARKER   |      4 |
+| ip        | GROUP1_MARKER     |     64 |
+| ip        | TIMEOUT           |    885 |
+| ip        | TRAP              |   4195 |
+| ip        | WRITE_TEXTSEGMENT |    737 |
+| ip        | ACCESS_OUTERSPACE |   6697 |
+| mem       | OK_MARKER         | 112251 |
+| mem       | FAIL_MARKER       |   3851 |
+| mem       | DETECTED_MARKER   |    287 |
+| mem       | GROUP1_MARKER     |  11680 |
+| mem       | TIMEOUT           |  31009 |
+| mem       | TRAP              |  24721 |
+| mem       | WRITE_TEXTSEGMENT |   9923 |
+| mem       | ACCESS_OUTERSPACE |  92342 |
+| regs      | OK_MARKER         |  26975 |
+| regs      | FAIL_MARKER       |    149 |
+| regs      | DETECTED_MARKER   |     13 |
+| regs      | GROUP1_MARKER     |    369 |
+| regs      | TIMEOUT           |   1085 |
+| regs      | TRAP              |   2037 |
+| regs      | WRITE_TEXTSEGMENT |   2004 |
+| regs      | ACCESS_OUTERSPACE |  16552 |
++-----------+-------------------+--------+

queries/06-10_20-50-37_sum1-voter_aot_fail_resultsdata.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1245
+ip,FAIL_MARKER,29
+ip,DETECTED_MARKER,4
+ip,GROUP1_MARKER,64
+ip,TIMEOUT,885
+ip,TRAP,4195
+ip,WRITE_TEXTSEGMENT,737
+ip,ACCESS_OUTERSPACE,6697
+mem,OK_MARKER,112251
+mem,FAIL_MARKER,3851
+mem,DETECTED_MARKER,287
+mem,GROUP1_MARKER,11680
+mem,TIMEOUT,31009
+mem,TRAP,24721
+mem,WRITE_TEXTSEGMENT,9923
+mem,ACCESS_OUTERSPACE,92342
+regs,OK_MARKER,26975
+regs,FAIL_MARKER,149
+regs,DETECTED_MARKER,13
+regs,GROUP1_MARKER,369
+regs,TIMEOUT,1085
+regs,TRAP,2037
+regs,WRITE_TEXTSEGMENT,2004
+regs,ACCESS_OUTERSPACE,16552

queries/06-10_20-50-37_sum1-voter_aot_fail_resultsdata_writegroups.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1245
+ip,FAIL_MARKER,29
+ip,DETECTED_MARKER,4
+ip,GROUP1_MARKER,64
+ip,TIMEOUT,885
+ip,TRAP,4195
+ip,WRITE_TEXTSEGMENT,737
+ip,ACCESS_OUTERSPACE,6697
+mem,OK_MARKER,598275
+mem,FAIL_MARKER,3851
+mem,DETECTED_MARKER,287
+mem,GROUP1_MARKER,11680
+mem,TIMEOUT,31009
+mem,TRAP,24721
+mem,WRITE_TEXTSEGMENT,9923
+mem,ACCESS_OUTERSPACE,92342
+regs,OK_MARKER,88831
+regs,FAIL_MARKER,149
+regs,DETECTED_MARKER,13
+regs,GROUP1_MARKER,369
+regs,TIMEOUT,1085
+regs,TRAP,2037
+regs,WRITE_TEXTSEGMENT,2004
+regs,ACCESS_OUTERSPACE,16552

queries/06-10_20-50-37_sum1-voter_aot_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,1732,13856,13856,1732
+mem,35758,286064,5168,646
+regs,6148,49184,17472,2184

queries/06-10_20-50-40_sum2-cored_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+mov,1764
+push,828
+NULL,368
+add,352
+sub,308
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+movl,60
+shl,48
+or,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+and,16
+movzwl,16
+dec,16
+setb,13
+sete,13
+setne,13
+jb,12
+jbe,12
+loop,8

queries/06-10_20-50-40_sum2-cored_aot_fail_results.txt

@@ -0,0 +1,28 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |   1383 |
+| ip        | FAIL_MARKER       |     20 |
+| ip        | DETECTED_MARKER   |    204 |
+| ip        | GROUP1_MARKER     |    251 |
+| ip        | TIMEOUT           |   1171 |
+| ip        | TRAP              |   7402 |
+| ip        | WRITE_TEXTSEGMENT |    798 |
+| ip        | ACCESS_OUTERSPACE |  12547 |
+| mem       | OK_MARKER         | 289748 |
+| mem       | FAIL_MARKER       |    787 |
+| mem       | DETECTED_MARKER   |  31166 |
+| mem       | GROUP1_MARKER     |  62985 |
+| mem       | TIMEOUT           |  52478 |
+| mem       | TRAP              |  43812 |
+| mem       | WRITE_TEXTSEGMENT |  17929 |
+| mem       | ACCESS_OUTERSPACE | 192039 |
+| regs      | OK_MARKER         |  48858 |
+| regs      | FAIL_MARKER       |      7 |
+| regs      | DETECTED_MARKER   |   2120 |
+| regs      | GROUP1_MARKER     |   5550 |
+| regs      | TIMEOUT           |   1036 |
+| regs      | TRAP              |   2380 |
+| regs      | WRITE_TEXTSEGMENT |   2547 |
+| regs      | ACCESS_OUTERSPACE |  27478 |
++-----------+-------------------+--------+

queries/06-10_20-50-40_sum2-cored_aot_fail_resultsdata.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1383
+ip,FAIL_MARKER,20
+ip,DETECTED_MARKER,204
+ip,GROUP1_MARKER,251
+ip,TIMEOUT,1171
+ip,TRAP,7402
+ip,WRITE_TEXTSEGMENT,798
+ip,ACCESS_OUTERSPACE,12547
+mem,OK_MARKER,289748
+mem,FAIL_MARKER,787
+mem,DETECTED_MARKER,31166
+mem,GROUP1_MARKER,62985
+mem,TIMEOUT,52478
+mem,TRAP,43812
+mem,WRITE_TEXTSEGMENT,17929
+mem,ACCESS_OUTERSPACE,192039
+regs,OK_MARKER,48858
+regs,FAIL_MARKER,7
+regs,DETECTED_MARKER,2120
+regs,GROUP1_MARKER,5550
+regs,TIMEOUT,1036
+regs,TRAP,2380
+regs,WRITE_TEXTSEGMENT,2547
+regs,ACCESS_OUTERSPACE,27478

queries/06-10_20-50-40_sum2-cored_aot_fail_resultsdata_writegroups.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,1383
+ip,FAIL_MARKER,20
+ip,DETECTED_MARKER,204
+ip,GROUP1_MARKER,251
+ip,TIMEOUT,1171
+ip,TRAP,7402
+ip,WRITE_TEXTSEGMENT,798
+ip,ACCESS_OUTERSPACE,12547
+mem,OK_MARKER,1559132
+mem,FAIL_MARKER,787
+mem,DETECTED_MARKER,31166
+mem,GROUP1_MARKER,62985
+mem,TIMEOUT,52478
+mem,TRAP,43812
+mem,WRITE_TEXTSEGMENT,17929
+mem,ACCESS_OUTERSPACE,192039
+regs,OK_MARKER,174722
+regs,FAIL_MARKER,7
+regs,DETECTED_MARKER,2120
+regs,GROUP1_MARKER,5550
+regs,TIMEOUT,1036
+regs,TRAP,2380
+regs,WRITE_TEXTSEGMENT,2547
+regs,ACCESS_OUTERSPACE,27478

queries/06-10_20-50-40_sum2-cored_aot_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,2972,23776,23776,2972
+mem,86368,690944,7840,980
+regs,11247,89976,30272,3784

queries/06-10_21-32-23_sum0_interp_fail_mnemonics.csv

@@ -0,0 +1,54 @@
+mnemonic,count
+mov,43969
+cmp,13322
+add,5448
+lea,5160
+jg,4140
+je,4044
+push,3960
+sub,3536
+movzbl,3530
+test,2968
+jmp,2140
+incl,2020
+shl,1562
+jge,1512
+and,1468
+js,1356
+rep,1344
+adc,1080
+jne,1020
+or,992
+cmpl,880
+call,728
+ret,720
+jb,720
+cmpb,680
+leave,640
+sbb,600
+movl,444
+pop,368
+addl,240
+shld,210
+nop,180
+xor,176
+neg,144
+jbe,120
+setae,104
+sete,104
+inc,96
+jae,96
+setl,78
+dec,48
+movzwl,42
+setb,39
+ja,36
+movb,27
+subl,20
+decl,20
+andb,17
+shr,16
+sar,16
+setne,13
+not,8
+loop,8

queries/06-10_21-32-23_sum0_interp_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+---------+
+| benchmark | resulttype        | faults  |
++-----------+-------------------+---------+
+| ip        | OK_MARKER         |   10214 |
+| ip        | FAIL_MARKER       |    2291 |
+| ip        | GROUP1_MARKER     |    6381 |
+| ip        | TIMEOUT           |   10330 |
+| ip        | TRAP              |   96333 |
+| ip        | WRITE_TEXTSEGMENT |    9828 |
+| ip        | ACCESS_OUTERSPACE |  123855 |
+| mem       | OK_MARKER         | 5300773 |
+| mem       | FAIL_MARKER       | 1275840 |
+| mem       | GROUP1_MARKER     | 1824048 |
+| mem       | TIMEOUT           | 2017157 |
+| mem       | TRAP              | 1502698 |
+| mem       | WRITE_TEXTSEGMENT |  323020 |
+| mem       | ACCESS_OUTERSPACE | 4484448 |
+| regs      | OK_MARKER         |  420060 |
+| regs      | FAIL_MARKER       |   67982 |
+| regs      | GROUP1_MARKER     |   82978 |
+| regs      | TIMEOUT           |   14451 |
+| regs      | TRAP              |   15704 |
+| regs      | WRITE_TEXTSEGMENT |   38711 |
+| regs      | ACCESS_OUTERSPACE |  410682 |
++-----------+-------------------+---------+

queries/06-10_21-32-23_sum0_interp_fail_resultsdata.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,10214
+ip,FAIL_MARKER,2291
+ip,GROUP1_MARKER,6381
+ip,TIMEOUT,10330
+ip,TRAP,96333
+ip,WRITE_TEXTSEGMENT,9828
+ip,ACCESS_OUTERSPACE,123855
+mem,OK_MARKER,5300773
+mem,FAIL_MARKER,1275840
+mem,GROUP1_MARKER,1824048
+mem,TIMEOUT,2017157
+mem,TRAP,1502698
+mem,WRITE_TEXTSEGMENT,323020
+mem,ACCESS_OUTERSPACE,4484448
+regs,OK_MARKER,420060
+regs,FAIL_MARKER,67982
+regs,GROUP1_MARKER,82978
+regs,TIMEOUT,14451
+regs,TRAP,15704
+regs,WRITE_TEXTSEGMENT,38711
+regs,ACCESS_OUTERSPACE,410682

queries/06-10_21-32-23_sum0_interp_fail_resultsdata_writegroups.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,10214
+ip,FAIL_MARKER,2291
+ip,GROUP1_MARKER,6381
+ip,TIMEOUT,10330
+ip,TRAP,96333
+ip,WRITE_TEXTSEGMENT,9828
+ip,ACCESS_OUTERSPACE,123855
+mem,OK_MARKER,36396181
+mem,FAIL_MARKER,1275840
+mem,GROUP1_MARKER,1824048
+mem,TIMEOUT,2017157
+mem,TRAP,1502698
+mem,WRITE_TEXTSEGMENT,323020
+mem,ACCESS_OUTERSPACE,4484448
+regs,OK_MARKER,1947476
+regs,FAIL_MARKER,67982
+regs,GROUP1_MARKER,82978
+regs,TIMEOUT,14451
+regs,TRAP,15704
+regs,WRITE_TEXTSEGMENT,38711
+regs,ACCESS_OUTERSPACE,410682

queries/06-10_21-32-23_sum0_interp_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,32404,259232,259232,32404
+mem,2090998,16727984,67104,8388
+regs,131321,1050568,330944,41368

queries/06-10_21-32-26_sum1-voter_interp_fail_mnemonics.csv

@@ -0,0 +1,55 @@
+mnemonic,count
+cmp,47190
+mov,40579
+jg,16212
+je,12324
+add,7036
+jge,5904
+push,5344
+lea,4956
+sub,3336
+test,3290
+rep,2864
+or,2712
+movzbl,2410
+shl,2018
+js,1968
+and,1588
+jb,1236
+leave,1216
+movl,1188
+cmpl,1180
+call,1076
+ret,1068
+jne,1032
+jmp,996
+addl,760
+shld,714
+cmpb,714
+incl,560
+jbe,288
+nop,276
+pop,272
+xor,176
+movzwl,158
+adc,144
+ja,144
+jae,132
+inc,128
+neg,112
+shr,96
+sbb,80
+dec,80
+decl,80
+setae,78
+setb,65
+sete,52
+subl,40
+movb,27
+andb,17
+not,16
+sar,16
+setbe,13
+setne,13
+cld,12
+loop,8

queries/06-10_21-32-26_sum1-voter_interp_fail_results.txt

@@ -0,0 +1,28 @@
++-----------+-------------------+----------+
+| benchmark | resulttype        | faults   |
++-----------+-------------------+----------+
+| ip        | OK_MARKER         |    19540 |
+| ip        | FAIL_MARKER       |      343 |
+| ip        | DETECTED_MARKER   |       74 |
+| ip        | GROUP1_MARKER     |    14546 |
+| ip        | TIMEOUT           |    10044 |
+| ip        | TRAP              |   138675 |
+| ip        | WRITE_TEXTSEGMENT |     3594 |
+| ip        | ACCESS_OUTERSPACE |   206528 |
+| mem       | OK_MARKER         | 20352858 |
+| mem       | FAIL_MARKER       |   566538 |
+| mem       | DETECTED_MARKER   |    53686 |
+| mem       | GROUP1_MARKER     |  2978938 |
+| mem       | TIMEOUT           |  2214306 |
+| mem       | TRAP              |  1500881 |
+| mem       | WRITE_TEXTSEGMENT |   492023 |
+| mem       | ACCESS_OUTERSPACE |  6338562 |
+| regs      | OK_MARKER         |   958126 |
+| regs      | FAIL_MARKER       |     9627 |
+| regs      | DETECTED_MARKER   |      514 |
+| regs      | GROUP1_MARKER     |   152677 |
+| regs      | TIMEOUT           |    14742 |
+| regs      | TRAP              |    33511 |
+| regs      | WRITE_TEXTSEGMENT |    43634 |
+| regs      | ACCESS_OUTERSPACE |   505913 |
++-----------+-------------------+----------+

queries/06-10_21-32-26_sum1-voter_interp_fail_resultsdata.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,19540
+ip,FAIL_MARKER,343
+ip,DETECTED_MARKER,74
+ip,GROUP1_MARKER,14546
+ip,TIMEOUT,10044
+ip,TRAP,138675
+ip,WRITE_TEXTSEGMENT,3594
+ip,ACCESS_OUTERSPACE,206528
+mem,OK_MARKER,20352858
+mem,FAIL_MARKER,566538
+mem,DETECTED_MARKER,53686
+mem,GROUP1_MARKER,2978938
+mem,TIMEOUT,2214306
+mem,TRAP,1500881
+mem,WRITE_TEXTSEGMENT,492023
+mem,ACCESS_OUTERSPACE,6338562
+regs,OK_MARKER,958126
+regs,FAIL_MARKER,9627
+regs,DETECTED_MARKER,514
+regs,GROUP1_MARKER,152677
+regs,TIMEOUT,14742
+regs,TRAP,33511
+regs,WRITE_TEXTSEGMENT,43634
+regs,ACCESS_OUTERSPACE,505913

queries/06-10_21-32-26_sum1-voter_interp_fail_resultsdata_writegroups.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,19540
+ip,FAIL_MARKER,343
+ip,DETECTED_MARKER,74
+ip,GROUP1_MARKER,14546
+ip,TIMEOUT,10044
+ip,TRAP,138675
+ip,WRITE_TEXTSEGMENT,3594
+ip,ACCESS_OUTERSPACE,206528
+mem,OK_MARKER,63732354
+mem,FAIL_MARKER,566538
+mem,DETECTED_MARKER,53686
+mem,GROUP1_MARKER,2978938
+mem,TIMEOUT,2214306
+mem,TRAP,1500881
+mem,WRITE_TEXTSEGMENT,492023
+mem,ACCESS_OUTERSPACE,6338562
+regs,OK_MARKER,3158486
+regs,FAIL_MARKER,9627
+regs,DETECTED_MARKER,514
+regs,GROUP1_MARKER,152677
+regs,TIMEOUT,14742
+regs,TRAP,33511
+regs,WRITE_TEXTSEGMENT,43634
+regs,ACCESS_OUTERSPACE,505913

queries/06-10_21-32-26_sum1-voter_interp_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,49168,393344,393344,49168
+mem,4312224,34497792,68656,8582
+regs,214843,1718744,541496,67687

queries/06-10_21-32-30_sum2-cored_interp_fail_mnemonics.csv

@@ -0,0 +1,56 @@
+mnemonic,count
+cmp,162426
+mov,140316
+jg,53784
+je,41844
+add,21664
+push,21084
+jge,19056
+lea,17816
+sub,12044
+test,11002
+movzbl,9745
+or,7920
+jb,6240
+js,6192
+and,5208
+leave,5008
+shl,4269
+call,3956
+ret,3948
+jmp,3904
+rep,3717
+jne,3624
+movl,3024
+cmpb,2839
+shld,2226
+addl,2220
+incl,2120
+inc,1728
+xor,1712
+cmpl,1520
+jae,1416
+shr,672
+adc,648
+nop,624
+movzwl,542
+sbb,456
+jbe,348
+pop,320
+ja,288
+decl,160
+neg,128
+setb,117
+sete,104
+dec,80
+setae,78
+sar,67
+subl,40
+movb,27
+andb,17
+not,16
+setbe,13
+setg,13
+setne,13
+cld,12
+loop,8

queries/06-10_21-32-30_sum2-cored_interp_fail_results.txt

@@ -0,0 +1,28 @@
++-----------+-------------------+-----------+
+| benchmark | resulttype        | faults    |
++-----------+-------------------+-----------+
+| ip        | OK_MARKER         |     51362 |
+| ip        | FAIL_MARKER       |       213 |
+| ip        | DETECTED_MARKER   |      4835 |
+| ip        | GROUP1_MARKER     |     54237 |
+| ip        | TIMEOUT           |     33302 |
+| ip        | TRAP              |    464441 |
+| ip        | WRITE_TEXTSEGMENT |     13054 |
+| ip        | ACCESS_OUTERSPACE |    716572 |
+| mem       | OK_MARKER         | 166444954 |
+| mem       | FAIL_MARKER       |    841151 |
+| mem       | DETECTED_MARKER   |  19097621 |
+| mem       | GROUP1_MARKER     |  41181780 |
+| mem       | TIMEOUT           |  11816586 |
+| mem       | TRAP              |  10292679 |
+| mem       | WRITE_TEXTSEGMENT |   2423462 |
+| mem       | ACCESS_OUTERSPACE |  28953767 |
+| regs      | OK_MARKER         |   2742740 |
+| regs      | FAIL_MARKER       |       327 |
+| regs      | DETECTED_MARKER   |    150648 |
+| regs      | GROUP1_MARKER     |    551833 |
+| regs      | TIMEOUT           |     49079 |
+| regs      | TRAP              |    117225 |
+| regs      | WRITE_TEXTSEGMENT |    211332 |
+| regs      | ACCESS_OUTERSPACE |   2023688 |
++-----------+-------------------+-----------+

queries/06-10_21-32-30_sum2-cored_interp_fail_resultsdata.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,51362
+ip,FAIL_MARKER,213
+ip,DETECTED_MARKER,4835
+ip,GROUP1_MARKER,54237
+ip,TIMEOUT,33302
+ip,TRAP,464441
+ip,WRITE_TEXTSEGMENT,13054
+ip,ACCESS_OUTERSPACE,716572
+mem,OK_MARKER,166444954
+mem,FAIL_MARKER,841151
+mem,DETECTED_MARKER,19097621
+mem,GROUP1_MARKER,41181780
+mem,TIMEOUT,11816586
+mem,TRAP,10292679
+mem,WRITE_TEXTSEGMENT,2423462
+mem,ACCESS_OUTERSPACE,28953767
+regs,OK_MARKER,2742740
+regs,FAIL_MARKER,327
+regs,DETECTED_MARKER,150648
+regs,GROUP1_MARKER,551833
+regs,TIMEOUT,49079
+regs,TRAP,117225
+regs,WRITE_TEXTSEGMENT,211332
+regs,ACCESS_OUTERSPACE,2023688

queries/06-10_21-32-30_sum2-cored_interp_fail_resultsdata_writegroups.csv

@@ -0,0 +1,25 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,51362
+ip,FAIL_MARKER,213
+ip,DETECTED_MARKER,4835
+ip,GROUP1_MARKER,54237
+ip,TIMEOUT,33302
+ip,TRAP,464441
+ip,WRITE_TEXTSEGMENT,13054
+ip,ACCESS_OUTERSPACE,716572
+mem,OK_MARKER,352207170
+mem,FAIL_MARKER,841151
+mem,DETECTED_MARKER,19097621
+mem,GROUP1_MARKER,41181780
+mem,TIMEOUT,11816586
+mem,TRAP,10292679
+mem,WRITE_TEXTSEGMENT,2423462
+mem,ACCESS_OUTERSPACE,28953767
+regs,OK_MARKER,10261692
+regs,FAIL_MARKER,327
+regs,DETECTED_MARKER,150648
+regs,GROUP1_MARKER,551833
+regs,TIMEOUT,49079
+regs,TRAP,117225
+regs,WRITE_TEXTSEGMENT,211332
+regs,ACCESS_OUTERSPACE,2023688

queries/06-10_21-32-30_sum2-cored_interp_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,167252,1338016,1338016,167252
+mem,35131500,281052000,241792,30224
+regs,730859,5846872,1816432,227054

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_faults.csv

@@ -0,0 +1,410 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,43,0x1001A8,jle
+ip,OK_MARKER,32,0x1001A5,cmp
+ip,OK_MARKER,26,0x1001A2,mov
+ip,OK_MARKER,16,0x100052,nop
+ip,OK_MARKER,14,0x100050,mov
+ip,OK_MARKER,13,0x1001C7,nop
+ip,OK_MARKER,12,0x100020,push
+ip,OK_MARKER,12,0x10001B,mov
+ip,OK_MARKER,12,0x100054,ret
+ip,OK_MARKER,11,0x10001D,nop
+ip,OK_MARKER,11,0x10001F,ret
+ip,OK_MARKER,11,0x1001BF,add
+ip,OK_MARKER,10,0x10001E,pop
+ip,OK_MARKER,10,0x100053,pop
+ip,OK_MARKER,9,0x1001C9,ret
+ip,OK_MARKER,9,0x100196,mov
+ip,OK_MARKER,9,0x1001C8,leave
+ip,OK_MARKER,9,0x1001AE,ret
+ip,OK_MARKER,9,0x1001AA,mov
+ip,OK_MARKER,9,0x10004F,push
+ip,OK_MARKER,8,0x1001C2,mov
+ip,OK_MARKER,8,0x100168,cmp
+ip,OK_MARKER,8,0x10001A,push
+ip,OK_MARKER,8,0x100161,mov
+ip,OK_MARKER,8,0x100157,add
+ip,OK_MARKER,8,0x1001AD,leave
+ip,OK_MARKER,8,0x100183,mov
+ip,OK_MARKER,5,0x100199,jmp
+ip,OK_MARKER,4,0x10015E,mov
+ip,OK_MARKER,4,0x10015B,mov
+ip,OK_MARKER,4,0x100190,jge
+ip,OK_MARKER,4,0x100186,mov
+ip,OK_MARKER,4,0x100151,mov
+ip,OK_MARKER,3,0x100147,call
+ip,OK_MARKER,3,0x100192,mov
+ip,OK_MARKER,2,0x1001BA,call
+ip,OK_MARKER,2,0x10014F,jmp
+ip,OK_MARKER,1,0x1001B2,sub
+ip,OK_MARKER,1,0x100143,push
+ip,OK_MARKER,1,0x100145,push
+ip,OK_MARKER,1,0x1001B8,push
+ip,OK_MARKER,1,0x100140,sub
+ip,OK_MARKER,1,0x10014C,add
+ip,FAIL_MARKER,9,0x100168,cmp
+ip,FAIL_MARKER,8,0x10016B,jne
+ip,FAIL_MARKER,8,0x100195,dec
+ip,FAIL_MARKER,8,0x1001AA,mov
+ip,FAIL_MARKER,6,0x1001C2,mov
+ip,FAIL_MARKER,5,0x1001A8,jle
+ip,FAIL_MARKER,5,0x1001A5,cmp
+ip,FAIL_MARKER,4,0x100190,jge
+ip,FAIL_MARKER,4,0x100157,add
+ip,FAIL_MARKER,4,0x100192,mov
+ip,FAIL_MARKER,3,0x100199,jmp
+ip,FAIL_MARKER,2,0x100139,movl
+ip,FAIL_MARKER,2,0x100147,call
+ip,FAIL_MARKER,2,0x10012B,movl
+ip,FAIL_MARKER,1,0x100054,ret
+ip,FAIL_MARKER,1,0x100065,call
+ip,FAIL_MARKER,1,0x1001B0,mov
+ip,FAIL_MARKER,1,0x10004F,push
+ip,FAIL_MARKER,1,0x1001B2,sub
+ip,FAIL_MARKER,1,0x100143,push
+ip,FAIL_MARKER,1,0x1001B5,sub
+ip,FAIL_MARKER,1,0x1001BF,add
+ip,FAIL_MARKER,1,0x1001B8,push
+ip,FAIL_MARKER,1,0x100020,push
+ip,FAIL_MARKER,1,0x100126,mov
+ip,FAIL_MARKER,1,0x1001BA,call
+ip,FAIL_MARKER,1,0x1001AE,ret
+ip,TIMEOUT,8,0x10015B,mov
+ip,TIMEOUT,8,0x100190,jge
+ip,TIMEOUT,5,0x1001A8,jle
+ip,TIMEOUT,4,0x10015E,mov
+ip,TIMEOUT,4,0x100157,add
+ip,TIMEOUT,4,0x100186,mov
+ip,TIMEOUT,4,0x100151,mov
+ip,TIMEOUT,3,0x10006A,call
+ip,TIMEOUT,2,0x1001B0,mov
+ip,TIMEOUT,2,0x1001C9,ret
+ip,TIMEOUT,2,0x100125,push
+ip,TIMEOUT,1,0x10014F,jmp
+ip,TIMEOUT,1,0x10012B,movl
+ip,TIMEOUT,1,0x1001AE,ret
+ip,TIMEOUT,1,0x10001F,ret
+ip,TIMEOUT,1,0x100139,movl
+ip,TIMEOUT,1,0x10004F,push
+ip,TIMEOUT,1,0x100145,push
+ip,TIMEOUT,1,0x1001B2,sub
+ip,TIMEOUT,1,0x100132,movl
+ip,TIMEOUT,1,0x1001AD,leave
+ip,TIMEOUT,1,0x10001A,push
+ip,TIMEOUT,1,0x100126,mov
+ip,TIMEOUT,1,0x1001BA,call
+ip,TRAP,53,0x1001A2,mov
+ip,TRAP,52,0x100159,sar
+ip,TRAP,50,0x10018D,cmp
+ip,TRAP,50,0x100154,mov
+ip,TRAP,49,0x100199,jmp
+ip,TRAP,46,0x100192,mov
+ip,TRAP,46,0x100186,mov
+ip,TRAP,45,0x10015E,mov
+ip,TRAP,45,0x100195,dec
+ip,TRAP,44,0x1001A5,cmp
+ip,TRAP,44,0x100190,jge
+ip,TRAP,44,0x100157,add
+ip,TRAP,44,0x100151,mov
+ip,TRAP,44,0x100161,mov
+ip,TRAP,43,0x100168,cmp
+ip,TRAP,41,0x100196,mov
+ip,TRAP,40,0x10015B,mov
+ip,TRAP,37,0x1001A8,jle
+ip,TRAP,37,0x10016B,jne
+ip,TRAP,33,0x100183,mov
+ip,TRAP,12,0x100065,call
+ip,TRAP,11,0x10014F,jmp
+ip,TRAP,11,0x100140,sub
+ip,TRAP,11,0x10006A,call
+ip,TRAP,11,0x1001B8,push
+ip,TRAP,10,0x100125,push
+ip,TRAP,10,0x10014C,add
+ip,TRAP,10,0x1001BA,call
+ip,TRAP,10,0x100147,call
+ip,TRAP,10,0x100143,push
+ip,TRAP,10,0x1001AF,push
+ip,TRAP,9,0x100128,sub
+ip,TRAP,9,0x10012B,movl
+ip,TRAP,9,0x1001B0,mov
+ip,TRAP,9,0x100132,movl
+ip,TRAP,9,0x1001B5,sub
+ip,TRAP,9,0x100139,movl
+ip,TRAP,9,0x100126,mov
+ip,TRAP,9,0x1001B2,sub
+ip,TRAP,8,0x100145,push
+ip,TRAP,6,0x10001B,mov
+ip,TRAP,4,0x10001E,pop
+ip,TRAP,3,0x1001BF,add
+ip,TRAP,2,0x1001C2,mov
+ip,TRAP,2,0x1001AA,mov
+ip,TRAP,2,0x100054,ret
+ip,TRAP,2,0x1001AE,ret
+ip,TRAP,2,0x10001F,ret
+ip,TRAP,2,0x10001D,nop
+ip,TRAP,2,0x1001C9,ret
+ip,TRAP,2,0x1001C7,nop
+ip,TRAP,2,0x10004F,push
+ip,TRAP,1,0x1001C8,leave
+ip,TRAP,1,0x100053,pop
+ip,TRAP,1,0x1001AD,leave
+ip,ACCESS_OUTERSPACE,87,0x100183,mov
+ip,ACCESS_OUTERSPACE,83,0x10016B,jne
+ip,ACCESS_OUTERSPACE,81,0x1001A2,mov
+ip,ACCESS_OUTERSPACE,79,0x1001A5,cmp
+ip,ACCESS_OUTERSPACE,78,0x100196,mov
+ip,ACCESS_OUTERSPACE,78,0x10018D,cmp
+ip,ACCESS_OUTERSPACE,78,0x100154,mov
+ip,ACCESS_OUTERSPACE,76,0x100159,sar
+ip,ACCESS_OUTERSPACE,76,0x100151,mov
+ip,ACCESS_OUTERSPACE,76,0x100161,mov
+ip,ACCESS_OUTERSPACE,76,0x10015B,mov
+ip,ACCESS_OUTERSPACE,75,0x10015E,mov
+ip,ACCESS_OUTERSPACE,75,0x100195,dec
+ip,ACCESS_OUTERSPACE,75,0x100192,mov
+ip,ACCESS_OUTERSPACE,74,0x100186,mov
+ip,ACCESS_OUTERSPACE,71,0x100199,jmp
+ip,ACCESS_OUTERSPACE,70,0x1001A8,jle
+ip,ACCESS_OUTERSPACE,68,0x100168,cmp
+ip,ACCESS_OUTERSPACE,68,0x100190,jge
+ip,ACCESS_OUTERSPACE,68,0x100157,add
+ip,ACCESS_OUTERSPACE,23,0x10001A,push
+ip,ACCESS_OUTERSPACE,23,0x100128,sub
+ip,ACCESS_OUTERSPACE,22,0x1001B5,sub
+ip,ACCESS_OUTERSPACE,22,0x1001C8,leave
+ip,ACCESS_OUTERSPACE,22,0x1001AF,push
+ip,ACCESS_OUTERSPACE,22,0x1001AD,leave
+ip,ACCESS_OUTERSPACE,22,0x100145,push
+ip,ACCESS_OUTERSPACE,22,0x100132,movl
+ip,ACCESS_OUTERSPACE,21,0x100126,mov
+ip,ACCESS_OUTERSPACE,21,0x10014C,add
+ip,ACCESS_OUTERSPACE,21,0x100053,pop
+ip,ACCESS_OUTERSPACE,20,0x100143,push
+ip,ACCESS_OUTERSPACE,20,0x100139,movl
+ip,ACCESS_OUTERSPACE,20,0x1001B2,sub
+ip,ACCESS_OUTERSPACE,20,0x10012B,movl
+ip,ACCESS_OUTERSPACE,20,0x100125,push
+ip,ACCESS_OUTERSPACE,20,0x1001B0,mov
+ip,ACCESS_OUTERSPACE,20,0x100140,sub
+ip,ACCESS_OUTERSPACE,19,0x1001B8,push
+ip,ACCESS_OUTERSPACE,19,0x1001C9,ret
+ip,ACCESS_OUTERSPACE,19,0x100065,call
+ip,ACCESS_OUTERSPACE,19,0x1001AE,ret
+ip,ACCESS_OUTERSPACE,19,0x10004F,push
+ip,ACCESS_OUTERSPACE,19,0x10001D,nop
+ip,ACCESS_OUTERSPACE,19,0x100020,push
+ip,ACCESS_OUTERSPACE,18,0x10006A,call
+ip,ACCESS_OUTERSPACE,18,0x100050,mov
+ip,ACCESS_OUTERSPACE,18,0x1001BA,call
+ip,ACCESS_OUTERSPACE,18,0x10014F,jmp
+ip,ACCESS_OUTERSPACE,18,0x10001E,pop
+ip,ACCESS_OUTERSPACE,18,0x10001F,ret
+ip,ACCESS_OUTERSPACE,17,0x1001C7,nop
+ip,ACCESS_OUTERSPACE,17,0x1001BF,add
+ip,ACCESS_OUTERSPACE,17,0x100054,ret
+ip,ACCESS_OUTERSPACE,17,0x100147,call
+ip,ACCESS_OUTERSPACE,16,0x1001C2,mov
+ip,ACCESS_OUTERSPACE,16,0x100052,nop
+ip,ACCESS_OUTERSPACE,14,0x10001B,mov
+ip,ACCESS_OUTERSPACE,13,0x1001AA,mov
+mem,OK_MARKER,8832,0x100161,mov
+mem,OK_MARKER,2576,0x1001A2,mov
+mem,OK_MARKER,2464,0x100168,cmp
+mem,OK_MARKER,1456,0x1001C8,leave
+mem,OK_MARKER,512,0x10018D,cmp
+mem,OK_MARKER,512,0x100186,mov
+mem,OK_MARKER,217,0x1001A5,cmp
+mem,OK_MARKER,184,0x10001A,push
+mem,OK_MARKER,92,0x100192,mov
+mem,OK_MARKER,76,0x100183,mov
+mem,OK_MARKER,75,0x100151,mov
+mem,OK_MARKER,69,0x100154,mov
+mem,OK_MARKER,39,0x10001E,pop
+mem,OK_MARKER,19,0x10015E,mov
+mem,OK_MARKER,5,0x100054,ret
+mem,FAIL_MARKER,3040,0x1001AA,mov
+mem,FAIL_MARKER,103,0x1001AE,ret
+mem,FAIL_MARKER,10,0x100054,ret
+mem,FAIL_MARKER,5,0x10001F,ret
+mem,TIMEOUT,342,0x1001C9,ret
+mem,TIMEOUT,101,0x1001AD,leave
+mem,TIMEOUT,3,0x100053,pop
+mem,TRAP,1254,0x1001C9,ret
+mem,TRAP,1236,0x1001AE,ret
+mem,TRAP,404,0x1001AD,leave
+mem,TRAP,60,0x10001F,ret
+mem,TRAP,60,0x100054,ret
+mem,ACCESS_OUTERSPACE,2727,0x1001AD,leave
+mem,ACCESS_OUTERSPACE,2128,0x1001C8,leave
+mem,ACCESS_OUTERSPACE,2052,0x1001C9,ret
+mem,ACCESS_OUTERSPACE,1957,0x1001AE,ret
+mem,ACCESS_OUTERSPACE,615,0x1001A5,cmp
+mem,ACCESS_OUTERSPACE,436,0x100183,mov
+mem,ACCESS_OUTERSPACE,420,0x100192,mov
+mem,ACCESS_OUTERSPACE,315,0x100154,mov
+mem,ACCESS_OUTERSPACE,309,0x100151,mov
+mem,ACCESS_OUTERSPACE,109,0x10015E,mov
+mem,ACCESS_OUTERSPACE,95,0x10001F,ret
+mem,ACCESS_OUTERSPACE,93,0x100053,pop
+mem,ACCESS_OUTERSPACE,85,0x100054,ret
+mem,ACCESS_OUTERSPACE,57,0x10001E,pop
+mem,ACCESS_OUTERSPACE,48,0x1001A2,mov
+regs,OK_MARKER,2752,0x1001AD,leave
+regs,OK_MARKER,310,0x1001A8,jle
+regs,OK_MARKER,248,0x100190,jge
+regs,OK_MARKER,244,0x10016B,jne
+regs,OK_MARKER,160,0x1001A5,cmp
+regs,OK_MARKER,128,0x10018D,cmp
+regs,OK_MARKER,128,0x100168,cmp
+regs,OK_MARKER,96,0x1001C8,leave
+regs,OK_MARKER,72,0x100157,add
+regs,OK_MARKER,49,0x100196,mov
+regs,OK_MARKER,48,0x100140,sub
+regs,OK_MARKER,39,0x1001AF,push
+regs,OK_MARKER,39,0x100020,push
+regs,OK_MARKER,32,0x10014C,add
+regs,OK_MARKER,32,0x1001BF,add
+regs,OK_MARKER,28,0x100161,mov
+regs,OK_MARKER,28,0x100186,mov
+regs,OK_MARKER,24,0x100159,sar
+regs,OK_MARKER,23,0x100195,dec
+regs,OK_MARKER,19,0x10015B,mov
+regs,OK_MARKER,13,0x10006A,call
+regs,OK_MARKER,13,0x10001A,push
+regs,OK_MARKER,13,0x1001BA,call
+regs,OK_MARKER,13,0x100128,sub
+regs,OK_MARKER,13,0x100065,call
+regs,OK_MARKER,12,0x1001B5,sub
+regs,OK_MARKER,12,0x100143,push
+regs,OK_MARKER,12,0x100147,call
+regs,OK_MARKER,12,0x1001B2,sub
+regs,OK_MARKER,12,0x1001B8,push
+regs,OK_MARKER,12,0x100145,push
+regs,FAIL_MARKER,128,0x1001C2,mov
+regs,FAIL_MARKER,4,0x10016B,jne
+regs,FAIL_MARKER,2,0x10012B,movl
+regs,FAIL_MARKER,2,0x100125,push
+regs,FAIL_MARKER,1,0x100132,movl
+regs,FAIL_MARKER,1,0x100126,mov
+regs,FAIL_MARKER,1,0x1001AE,ret
+regs,TIMEOUT,12,0x1001A2,mov
+regs,TIMEOUT,12,0x10015B,mov
+regs,TIMEOUT,8,0x100168,cmp
+regs,TIMEOUT,8,0x100151,mov
+regs,TIMEOUT,8,0x100196,mov
+regs,TIMEOUT,8,0x100192,mov
+regs,TIMEOUT,8,0x10018D,cmp
+regs,TIMEOUT,8,0x100183,mov
+regs,TIMEOUT,5,0x1001A5,cmp
+regs,TIMEOUT,5,0x100125,push
+regs,TIMEOUT,5,0x1001C8,leave
+regs,TIMEOUT,5,0x10004F,push
+regs,TIMEOUT,4,0x10015E,mov
+regs,TIMEOUT,4,0x100154,mov
+regs,TIMEOUT,2,0x10012B,movl
+regs,TIMEOUT,2,0x1001AA,mov
+regs,TIMEOUT,2,0x10001E,pop
+regs,TIMEOUT,1,0x10001B,mov
+regs,TIMEOUT,1,0x10001A,push
+regs,TIMEOUT,1,0x1001C9,ret
+regs,TIMEOUT,1,0x100139,movl
+regs,TIMEOUT,1,0x100020,push
+regs,TIMEOUT,1,0x1001B5,sub
+regs,TIMEOUT,1,0x100132,movl
+regs,TIMEOUT,1,0x100126,mov
+regs,TIMEOUT,1,0x1001B0,mov
+regs,TIMEOUT,1,0x10001F,ret
+regs,TIMEOUT,1,0x1001B2,sub
+regs,TIMEOUT,1,0x1001AF,push
+regs,TIMEOUT,1,0x1001AD,leave
+regs,TIMEOUT,1,0x1001B8,push
+regs,TRAP,23,0x100125,push
+regs,TRAP,20,0x1001C8,leave
+regs,TRAP,16,0x100196,mov
+regs,TRAP,15,0x10015B,mov
+regs,TRAP,10,0x1001A8,jle
+regs,TRAP,8,0x100053,pop
+regs,TRAP,8,0x10001E,pop
+regs,TRAP,8,0x1001A2,mov
+regs,TRAP,8,0x10016B,jne
+regs,TRAP,8,0x100190,jge
+regs,TRAP,4,0x1001B0,mov
+regs,TRAP,4,0x10004F,push
+regs,TRAP,4,0x1001AA,mov
+regs,TRAP,4,0x10018D,cmp
+regs,TRAP,4,0x10001B,mov
+regs,TRAP,4,0x100192,mov
+regs,TRAP,4,0x1001A5,cmp
+regs,TRAP,4,0x100050,mov
+regs,TRAP,4,0x10012B,movl
+regs,TRAP,4,0x100168,cmp
+regs,TRAP,4,0x100054,ret
+regs,TRAP,4,0x100151,mov
+regs,TRAP,4,0x100183,mov
+regs,TRAP,3,0x10001F,ret
+regs,TRAP,3,0x1001AE,ret
+regs,TRAP,3,0x1001AF,push
+regs,TRAP,3,0x10001A,push
+regs,TRAP,3,0x1001C9,ret
+regs,TRAP,3,0x100020,push
+regs,TRAP,2,0x100154,mov
+regs,TRAP,2,0x1001AD,leave
+regs,TRAP,2,0x10015E,mov
+regs,TRAP,2,0x100132,movl
+regs,TRAP,2,0x100126,mov
+regs,WRITE_TEXTSEGMENT,12,0x10015B,mov
+regs,WRITE_TEXTSEGMENT,8,0x100196,mov
+regs,WRITE_TEXTSEGMENT,8,0x10018D,cmp
+regs,WRITE_TEXTSEGMENT,8,0x100183,mov
+regs,WRITE_TEXTSEGMENT,8,0x100168,cmp
+regs,WRITE_TEXTSEGMENT,8,0x100192,mov
+regs,WRITE_TEXTSEGMENT,4,0x10015E,mov
+regs,WRITE_TEXTSEGMENT,2,0x1001AA,mov
+regs,ACCESS_OUTERSPACE,454,0x10015B,mov
+regs,ACCESS_OUTERSPACE,364,0x1001A2,mov
+regs,ACCESS_OUTERSPACE,312,0x100157,add
+regs,ACCESS_OUTERSPACE,303,0x100196,mov
+regs,ACCESS_OUTERSPACE,244,0x100151,mov
+regs,ACCESS_OUTERSPACE,236,0x100192,mov
+regs,ACCESS_OUTERSPACE,236,0x10018D,cmp
+regs,ACCESS_OUTERSPACE,236,0x100183,mov
+regs,ACCESS_OUTERSPACE,236,0x100168,cmp
+regs,ACCESS_OUTERSPACE,183,0x10004F,push
+regs,ACCESS_OUTERSPACE,162,0x100125,push
+regs,ACCESS_OUTERSPACE,151,0x1001A5,cmp
+regs,ACCESS_OUTERSPACE,135,0x1001C8,leave
+regs,ACCESS_OUTERSPACE,122,0x100154,mov
+regs,ACCESS_OUTERSPACE,118,0x10015E,mov
+regs,ACCESS_OUTERSPACE,105,0x100195,dec
+regs,ACCESS_OUTERSPACE,104,0x100159,sar
+regs,ACCESS_OUTERSPACE,100,0x100186,mov
+regs,ACCESS_OUTERSPACE,100,0x100161,mov
+regs,ACCESS_OUTERSPACE,85,0x1001AF,push
+regs,ACCESS_OUTERSPACE,85,0x100020,push
+regs,ACCESS_OUTERSPACE,80,0x100140,sub
+regs,ACCESS_OUTERSPACE,56,0x100053,pop
+regs,ACCESS_OUTERSPACE,56,0x1001AA,mov
+regs,ACCESS_OUTERSPACE,56,0x10012B,movl
+regs,ACCESS_OUTERSPACE,54,0x10001E,pop
+regs,ACCESS_OUTERSPACE,47,0x10001A,push
+regs,ACCESS_OUTERSPACE,31,0x100139,movl
+regs,ACCESS_OUTERSPACE,29,0x1001AD,leave
+regs,ACCESS_OUTERSPACE,28,0x100054,ret
+regs,ACCESS_OUTERSPACE,28,0x100132,movl
+regs,ACCESS_OUTERSPACE,28,0x100126,mov
+regs,ACCESS_OUTERSPACE,28,0x10001F,ret
+regs,ACCESS_OUTERSPACE,28,0x1001AE,ret
+regs,ACCESS_OUTERSPACE,28,0x1001C9,ret
+regs,ACCESS_OUTERSPACE,28,0x100050,mov
+regs,ACCESS_OUTERSPACE,27,0x1001B0,mov
+regs,ACCESS_OUTERSPACE,27,0x10001B,mov
+regs,ACCESS_OUTERSPACE,20,0x100145,push
+regs,ACCESS_OUTERSPACE,20,0x100143,push
+regs,ACCESS_OUTERSPACE,20,0x100147,call
+regs,ACCESS_OUTERSPACE,19,0x1001B8,push
+regs,ACCESS_OUTERSPACE,19,0x100065,call
+regs,ACCESS_OUTERSPACE,19,0x1001BA,call
+regs,ACCESS_OUTERSPACE,19,0x1001B2,sub
+regs,ACCESS_OUTERSPACE,19,0x100128,sub
+regs,ACCESS_OUTERSPACE,19,0x1001B5,sub
+regs,ACCESS_OUTERSPACE,19,0x10006A,call

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_mnemonics.csv

@@ -0,0 +1,18 @@
+mnemonic,count
+mov,700
+cmp,312
+push,112
+add,112
+sar,64
+sub,64
+dec,64
+jle,60
+ret,48
+call,48
+jge,48
+jne,48
+movl,36
+leave,32
+pop,32
+jmp,20
+nop,12

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_results.txt

@@ -0,0 +1,20 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |    384 |
+| ip        | FAIL_MARKER       |     83 |
+| ip        | TIMEOUT           |     59 |
+| ip        | TRAP              |   1117 |
+| ip        | ACCESS_OUTERSPACE |   2261 |
+| mem       | OK_MARKER         |  17128 |
+| mem       | FAIL_MARKER       |   3158 |
+| mem       | TIMEOUT           |    446 |
+| mem       | TRAP              |   3014 |
+| mem       | ACCESS_OUTERSPACE |  11446 |
+| regs      | OK_MARKER         |   4636 |
+| regs      | FAIL_MARKER       |    139 |
+| regs      | TIMEOUT           |    120 |
+| regs      | TRAP              |    204 |
+| regs      | WRITE_TEXTSEGMENT |     58 |
+| regs      | ACCESS_OUTERSPACE |   4923 |
++-----------+-------------------+--------+

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_resultsdata.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,384
+ip,FAIL_MARKER,83
+ip,TIMEOUT,59
+ip,TRAP,1117
+ip,ACCESS_OUTERSPACE,2261
+mem,OK_MARKER,17128
+mem,FAIL_MARKER,3158
+mem,TIMEOUT,446
+mem,TRAP,3014
+mem,ACCESS_OUTERSPACE,11446
+regs,OK_MARKER,4636
+regs,FAIL_MARKER,139
+regs,TIMEOUT,120
+regs,TRAP,204
+regs,WRITE_TEXTSEGMENT,58
+regs,ACCESS_OUTERSPACE,4923

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,17 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,384
+ip,FAIL_MARKER,83
+ip,TIMEOUT,59
+ip,TRAP,1117
+ip,ACCESS_OUTERSPACE,2261
+mem,OK_MARKER,31216
+mem,FAIL_MARKER,3158
+mem,TIMEOUT,446
+mem,TRAP,3014
+mem,ACCESS_OUTERSPACE,11446
+regs,OK_MARKER,16612
+regs,FAIL_MARKER,139
+regs,TIMEOUT,120
+regs,TRAP,204
+regs,WRITE_TEXTSEGMENT,58
+regs,ACCESS_OUTERSPACE,4923

queries/07-07_18-13-00_tacle-kernel-binarysearch_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,488,3904,3904,488
+mem,4399,35192,1768,221
+regs,1260,10080,5088,636

queries/07-07_18-13-01_tacle-kernel-binarysearch_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+mov,1764
+NULL,1028
+push,828
+add,352
+sub,308
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+movl,60
+shl,48
+or,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+and,16
+movzwl,16
+dec,16
+setb,13
+sete,13
+setne,13
+jbe,12
+jb,12
+loop,8

queries/07-07_18-13-01_tacle-kernel-binarysearch_aot_fail_results.txt

@@ -0,0 +1,26 @@
++-----------+-------------------+--------+
+| benchmark | resulttype        | faults |
++-----------+-------------------+--------+
+| ip        | OK_MARKER         |   2790 |
+| ip        | FAIL_MARKER       |    206 |
+| ip        | DETECTED_MARKER   |      1 |
+| ip        | GROUP1_MARKER     |    432 |
+| ip        | TIMEOUT           |   1912 |
+| ip        | TRAP              |  17510 |
+| ip        | WRITE_TEXTSEGMENT |    919 |
+| ip        | ACCESS_OUTERSPACE |  30886 |
+| mem       | OK_MARKER         | 957888 |
+| mem       | FAIL_MARKER       | 114124 |
+| mem       | GROUP1_MARKER     | 193776 |
+| mem       | TIMEOUT           | 116422 |
+| mem       | TRAP              | 143610 |
+| mem       | WRITE_TEXTSEGMENT |  29371 |
+| mem       | ACCESS_OUTERSPACE | 540177 |
+| regs      | OK_MARKER         | 161542 |
+| regs      | FAIL_MARKER       |   1046 |
+| regs      | GROUP1_MARKER     |  10883 |
+| regs      | TIMEOUT           |   1024 |
+| regs      | TRAP              |   5517 |
+| regs      | WRITE_TEXTSEGMENT |   4033 |
+| regs      | ACCESS_OUTERSPACE |  57275 |
++-----------+-------------------+--------+

queries/07-07_18-13-01_tacle-kernel-binarysearch_aot_fail_resultsdata.csv

@@ -0,0 +1,23 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,2790
+ip,FAIL_MARKER,206
+ip,DETECTED_MARKER,1
+ip,GROUP1_MARKER,432
+ip,TIMEOUT,1912
+ip,TRAP,17510
+ip,WRITE_TEXTSEGMENT,919
+ip,ACCESS_OUTERSPACE,30886
+mem,OK_MARKER,957888
+mem,FAIL_MARKER,114124
+mem,GROUP1_MARKER,193776
+mem,TIMEOUT,116422
+mem,TRAP,143610
+mem,WRITE_TEXTSEGMENT,29371
+mem,ACCESS_OUTERSPACE,540177
+regs,OK_MARKER,161542
+regs,FAIL_MARKER,1046
+regs,GROUP1_MARKER,10883
+regs,TIMEOUT,1024
+regs,TRAP,5517
+regs,WRITE_TEXTSEGMENT,4033
+regs,ACCESS_OUTERSPACE,57275

queries/07-07_18-13-01_tacle-kernel-binarysearch_aot_fail_resultsdata_writegroups.csv

@@ -0,0 +1,23 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,2790
+ip,FAIL_MARKER,206
+ip,DETECTED_MARKER,1
+ip,GROUP1_MARKER,432
+ip,TIMEOUT,1912
+ip,TRAP,17510
+ip,WRITE_TEXTSEGMENT,919
+ip,ACCESS_OUTERSPACE,30886
+mem,OK_MARKER,4378328
+mem,FAIL_MARKER,114124
+mem,GROUP1_MARKER,193776
+mem,TIMEOUT,116422
+mem,TRAP,143610
+mem,WRITE_TEXTSEGMENT,29371
+mem,ACCESS_OUTERSPACE,540177
+regs,OK_MARKER,444254
+regs,FAIL_MARKER,1046
+regs,GROUP1_MARKER,10883
+regs,TIMEOUT,1024
+regs,TRAP,5517
+regs,WRITE_TEXTSEGMENT,4033
+regs,ACCESS_OUTERSPACE,57275

queries/07-07_18-13-01_tacle-kernel-binarysearch_aot_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,6832,54656,54656,6832
+mem,261921,2095368,18840,2355
+regs,30165,241320,71128,8891

queries/07-07_18-13-05_tacle-kernel-binarysearch_interp_fail_mnemonics.csv

@@ -0,0 +1,57 @@
+mnemonic,count
+mov,154148
+cmp,78552
+jg,25104
+add,22472
+je,21636
+push,19104
+lea,17124
+sub,13496
+movzbl,10803
+jge,9096
+test,8873
+or,7544
+shl,6413
+jmp,5864
+and,5860
+rep,4581
+incl,4360
+leave,4112
+jne,3912
+js,3888
+call,3596
+ret,3588
+jb,3264
+cmpl,2840
+movl,2712
+cmpb,2431
+adc,2232
+addl,2120
+shld,1785
+sbb,1336
+pop,864
+jae,828
+inc,752
+nop,724
+xor,720
+neg,592
+jbe,552
+movzwl,518
+shr,480
+setae,390
+setb,338
+sete,286
+subl,260
+ja,240
+dec,192
+decl,180
+setne,91
+cld,84
+sar,84
+setle,65
+setg,52
+setbe,39
+not,32
+movb,27
+andb,17
+loop,8

queries/07-07_18-13-05_tacle-kernel-binarysearch_interp_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+----------+
+| benchmark | resulttype        | faults   |
++-----------+-------------------+----------+
+| ip        | OK_MARKER         |    49216 |
+| ip        | FAIL_MARKER       |     2617 |
+| ip        | GROUP1_MARKER     |    32838 |
+| ip        | TIMEOUT           |    36972 |
+| ip        | TRAP              |   383200 |
+| ip        | WRITE_TEXTSEGMENT |    23530 |
+| ip        | ACCESS_OUTERSPACE |   522187 |
+| mem       | OK_MARKER         | 68722265 |
+| mem       | FAIL_MARKER       |  7372966 |
+| mem       | GROUP1_MARKER     | 21192425 |
+| mem       | TIMEOUT           | 15379774 |
+| mem       | TRAP              |  9292531 |
+| mem       | WRITE_TEXTSEGMENT |  2063032 |
+| mem       | ACCESS_OUTERSPACE | 25949935 |
+| regs      | OK_MARKER         |  2586510 |
+| regs      | FAIL_MARKER       |    33168 |
+| regs      | GROUP1_MARKER     |   384134 |
+| regs      | TIMEOUT           |    58047 |
+| regs      | TRAP              |    67359 |
+| regs      | WRITE_TEXTSEGMENT |   163254 |
+| regs      | ACCESS_OUTERSPACE |  1633248 |
++-----------+-------------------+----------+

queries/07-07_18-13-05_tacle-kernel-binarysearch_interp_fail_resultsdata.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,49216
+ip,FAIL_MARKER,2617
+ip,GROUP1_MARKER,32838
+ip,TIMEOUT,36972
+ip,TRAP,383200
+ip,WRITE_TEXTSEGMENT,23530
+ip,ACCESS_OUTERSPACE,522187
+mem,OK_MARKER,68722265
+mem,FAIL_MARKER,7372966
+mem,GROUP1_MARKER,21192425
+mem,TIMEOUT,15379774
+mem,TRAP,9292531
+mem,WRITE_TEXTSEGMENT,2063032
+mem,ACCESS_OUTERSPACE,25949935
+regs,OK_MARKER,2586510
+regs,FAIL_MARKER,33168
+regs,GROUP1_MARKER,384134
+regs,TIMEOUT,58047
+regs,TRAP,67359
+regs,WRITE_TEXTSEGMENT,163254
+regs,ACCESS_OUTERSPACE,1633248

queries/07-07_18-13-05_tacle-kernel-binarysearch_interp_fail_resultsdata_writegroups.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,49216
+ip,FAIL_MARKER,2617
+ip,GROUP1_MARKER,32838
+ip,TIMEOUT,36972
+ip,TRAP,383200
+ip,WRITE_TEXTSEGMENT,23530
+ip,ACCESS_OUTERSPACE,522187
+mem,OK_MARKER,238128809
+mem,FAIL_MARKER,7372966
+mem,GROUP1_MARKER,21192425
+mem,TIMEOUT,15379774
+mem,TRAP,9292531
+mem,WRITE_TEXTSEGMENT,2063032
+mem,ACCESS_OUTERSPACE,25949935
+regs,OK_MARKER,8152054
+regs,FAIL_MARKER,33168
+regs,GROUP1_MARKER,384134
+regs,TIMEOUT,58047
+regs,TRAP,67359
+regs,WRITE_TEXTSEGMENT,163254
+regs,ACCESS_OUTERSPACE,1633248

queries/07-07_18-13-05_tacle-kernel-binarysearch_interp_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,131320,1050560,1050560,131320
+mem,18746616,149972928,251392,31424
+regs,615715,4925720,1372712,171589

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_faults.csv

@@ -0,0 +1,559 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,15,0x1002C4,faddp
+ip,OK_MARKER,14,0x1002E6,add
+ip,OK_MARKER,14,0x1002D8,mov
+ip,OK_MARKER,14,0x1002E1,fstps
+ip,OK_MARKER,14,0x1002D4,flds
+ip,OK_MARKER,14,0x1002C8,mov
+ip,OK_MARKER,14,0x1002D6,fmulp
+ip,OK_MARKER,14,0x1002C2,fmulp
+ip,OK_MARKER,2,0x100020,push
+ip,OK_MARKER,1,0x1002A4,flds
+ip,OK_MARKER,1,0x10006A,call
+ip,OK_MARKER,1,0x1002F8,ret
+ip,OK_MARKER,1,0x1002EF,nop
+ip,OK_MARKER,1,0x1002F7,pop
+ip,OK_MARKER,1,0x1002A8,fstps
+ip,FAIL_MARKER,349,0x1002ED,jle
+ip,FAIL_MARKER,186,0x1002E9,cmpl
+ip,FAIL_MARKER,122,0x1002E1,fstps
+ip,FAIL_MARKER,104,0x1002D1,lea
+ip,FAIL_MARKER,102,0x1002DA,lea
+ip,FAIL_MARKER,101,0x1002DF,faddp
+ip,FAIL_MARKER,99,0x1002DD,flds
+ip,FAIL_MARKER,94,0x10029B,flds
+ip,FAIL_MARKER,91,0x1002D8,mov
+ip,FAIL_MARKER,90,0x1002C4,faddp
+ip,FAIL_MARKER,89,0x1002D6,fmulp
+ip,FAIL_MARKER,88,0x1002C6,fstps
+ip,FAIL_MARKER,82,0x1002CD,flds
+ip,FAIL_MARKER,80,0x100290,faddp
+ip,FAIL_MARKER,79,0x1002AF,mov
+ip,FAIL_MARKER,76,0x1002A6,fsubp
+ip,FAIL_MARKER,75,0x1002A4,flds
+ip,FAIL_MARKER,74,0x1002AA,mov
+ip,FAIL_MARKER,74,0x1002C8,mov
+ip,FAIL_MARKER,72,0x1002CA,lea
+ip,FAIL_MARKER,71,0x1002E6,add
+ip,FAIL_MARKER,65,0x1002BB,mov
+ip,FAIL_MARKER,64,0x1002C0,flds
+ip,FAIL_MARKER,64,0x100294,flds
+ip,FAIL_MARKER,64,0x100282,lea
+ip,FAIL_MARKER,64,0x10029D,fmulp
+ip,FAIL_MARKER,64,0x1002B9,flds
+ip,FAIL_MARKER,64,0x100298,lea
+ip,FAIL_MARKER,63,0x100280,mov
+ip,FAIL_MARKER,62,0x1002AC,lea
+ip,FAIL_MARKER,61,0x10027B,lea
+ip,FAIL_MARKER,61,0x1002D4,flds
+ip,FAIL_MARKER,60,0x1002C2,fmulp
+ip,FAIL_MARKER,54,0x1002E3,incl
+ip,FAIL_MARKER,48,0x100292,fstps
+ip,FAIL_MARKER,48,0x10028E,fmulp
+ip,FAIL_MARKER,48,0x10027E,flds
+ip,FAIL_MARKER,48,0x1002B4,mov
+ip,FAIL_MARKER,48,0x100296,mov
+ip,FAIL_MARKER,47,0x10029F,mov
+ip,FAIL_MARKER,47,0x1002A8,fstps
+ip,FAIL_MARKER,45,0x100278,mov
+ip,FAIL_MARKER,41,0x1002CF,mov
+ip,FAIL_MARKER,33,0x1002A1,lea
+ip,FAIL_MARKER,32,0x100289,lea
+ip,FAIL_MARKER,32,0x1002B6,lea
+ip,FAIL_MARKER,32,0x10028C,flds
+ip,FAIL_MARKER,32,0x1002B2,flds
+ip,FAIL_MARKER,32,0x1002BD,lea
+ip,FAIL_MARKER,28,0x1002F0,nop
+ip,FAIL_MARKER,28,0x1002EF,nop
+ip,FAIL_MARKER,17,0x100287,mov
+ip,FAIL_MARKER,16,0x100285,flds
+ip,FAIL_MARKER,15,0x100050,mov
+ip,FAIL_MARKER,14,0x1002F7,pop
+ip,FAIL_MARKER,13,0x100052,nop
+ip,FAIL_MARKER,13,0x100054,ret
+ip,FAIL_MARKER,12,0x10001B,mov
+ip,FAIL_MARKER,11,0x1002F4,pop
+ip,FAIL_MARKER,11,0x10001D,nop
+ip,FAIL_MARKER,11,0x1002F6,pop
+ip,FAIL_MARKER,10,0x100020,push
+ip,FAIL_MARKER,10,0x1002F5,pop
+ip,FAIL_MARKER,9,0x100053,pop
+ip,FAIL_MARKER,9,0x10001F,ret
+ip,FAIL_MARKER,9,0x10001E,pop
+ip,FAIL_MARKER,9,0x10004F,push
+ip,FAIL_MARKER,9,0x10001A,push
+ip,FAIL_MARKER,8,0x1002F1,lea
+ip,FAIL_MARKER,8,0x1002F8,ret
+ip,FAIL_MARKER,6,0x100267,call
+ip,FAIL_MARKER,3,0x10026F,movl
+ip,FAIL_MARKER,3,0x10024A,mov
+ip,FAIL_MARKER,3,0x100244,push
+ip,FAIL_MARKER,2,0x100241,push
+ip,FAIL_MARKER,2,0x100263,push
+ip,FAIL_MARKER,2,0x100260,sub
+ip,FAIL_MARKER,2,0x10025B,mov
+ip,FAIL_MARKER,2,0x100246,push
+ip,FAIL_MARKER,2,0x100265,push
+ip,FAIL_MARKER,2,0x100276,jmp
+ip,FAIL_MARKER,1,0x10026C,add
+ip,FAIL_MARKER,1,0x100247,sub
+ip,FAIL_MARKER,1,0x10006A,call
+ip,FAIL_MARKER,1,0x100254,movl
+ip,FAIL_MARKER,1,0x10024F,mov
+ip,TIMEOUT,144,0x1002E3,incl
+ip,TIMEOUT,128,0x1002AC,lea
+ip,TIMEOUT,128,0x10028E,fmulp
+ip,TIMEOUT,128,0x1002B2,flds
+ip,TIMEOUT,127,0x1002A6,fsubp
+ip,TIMEOUT,124,0x1002A1,lea
+ip,TIMEOUT,112,0x1002A8,fstps
+ip,TIMEOUT,112,0x1002BD,lea
+ip,TIMEOUT,112,0x10028C,flds
+ip,TIMEOUT,112,0x1002C0,flds
+ip,TIMEOUT,112,0x1002B9,flds
+ip,TIMEOUT,112,0x100282,lea
+ip,TIMEOUT,112,0x10029F,mov
+ip,TIMEOUT,112,0x100289,lea
+ip,TIMEOUT,112,0x100296,mov
+ip,TIMEOUT,112,0x1002AF,mov
+ip,TIMEOUT,112,0x100285,flds
+ip,TIMEOUT,112,0x1002B6,lea
+ip,TIMEOUT,112,0x10027E,flds
+ip,TIMEOUT,112,0x10029D,fmulp
+ip,TIMEOUT,106,0x1002CF,mov
+ip,TIMEOUT,106,0x1002D1,lea
+ip,TIMEOUT,106,0x1002C2,fmulp
+ip,TIMEOUT,106,0x1002C6,fstps
+ip,TIMEOUT,106,0x1002DF,faddp
+ip,TIMEOUT,106,0x1002D6,fmulp
+ip,TIMEOUT,105,0x1002CD,flds
+ip,TIMEOUT,105,0x1002CA,lea
+ip,TIMEOUT,105,0x1002E6,add
+ip,TIMEOUT,105,0x100278,mov
+ip,TIMEOUT,96,0x1002BB,mov
+ip,TIMEOUT,96,0x100292,fstps
+ip,TIMEOUT,96,0x1002A4,flds
+ip,TIMEOUT,96,0x100280,mov
+ip,TIMEOUT,96,0x100294,flds
+ip,TIMEOUT,96,0x1002AA,mov
+ip,TIMEOUT,96,0x100287,mov
+ip,TIMEOUT,96,0x100298,lea
+ip,TIMEOUT,96,0x1002B4,mov
+ip,TIMEOUT,96,0x100290,faddp
+ip,TIMEOUT,96,0x10029B,flds
+ip,TIMEOUT,90,0x1002E1,fstps
+ip,TIMEOUT,90,0x1002D8,mov
+ip,TIMEOUT,90,0x1002C4,faddp
+ip,TIMEOUT,90,0x1002DA,lea
+ip,TIMEOUT,90,0x10027B,lea
+ip,TIMEOUT,90,0x1002C8,mov
+ip,TIMEOUT,90,0x1002DD,flds
+ip,TIMEOUT,90,0x1002D4,flds
+ip,TIMEOUT,72,0x1002E9,cmpl
+ip,TIMEOUT,8,0x1002F8,ret
+ip,TIMEOUT,8,0x10006A,call
+ip,TIMEOUT,2,0x100247,sub
+ip,TIMEOUT,2,0x100245,push
+ip,TIMEOUT,2,0x1002F7,pop
+ip,TIMEOUT,1,0x10001A,push
+ip,TIMEOUT,1,0x100265,push
+ip,TIMEOUT,1,0x1002F1,lea
+ip,TIMEOUT,1,0x100065,call
+ip,TIMEOUT,1,0x1002F0,nop
+ip,TIMEOUT,1,0x100276,jmp
+ip,TIMEOUT,1,0x10001F,ret
+ip,TIMEOUT,1,0x100052,nop
+ip,TIMEOUT,1,0x10001D,nop
+ip,TIMEOUT,1,0x1002F6,pop
+ip,TIMEOUT,1,0x100254,movl
+ip,TIMEOUT,1,0x10004F,push
+ip,TRAP,303,0x1002CF,mov
+ip,TRAP,288,0x100298,lea
+ip,TRAP,288,0x1002BD,lea
+ip,TRAP,288,0x10029F,mov
+ip,TRAP,287,0x1002D4,flds
+ip,TRAP,287,0x100287,mov
+ip,TRAP,273,0x1002C8,mov
+ip,TRAP,272,0x1002D8,mov
+ip,TRAP,272,0x100296,mov
+ip,TRAP,272,0x100292,fstps
+ip,TRAP,272,0x100280,mov
+ip,TRAP,272,0x10028C,flds
+ip,TRAP,272,0x1002A8,fstps
+ip,TRAP,271,0x1002B4,mov
+ip,TRAP,257,0x1002D6,fmulp
+ip,TRAP,257,0x10029B,flds
+ip,TRAP,256,0x100294,flds
+ip,TRAP,256,0x1002CA,lea
+ip,TRAP,256,0x1002C6,fstps
+ip,TRAP,256,0x1002C4,faddp
+ip,TRAP,256,0x1002C0,flds
+ip,TRAP,256,0x100290,faddp
+ip,TRAP,256,0x1002B9,flds
+ip,TRAP,256,0x1002AF,mov
+ip,TRAP,256,0x1002B6,lea
+ip,TRAP,255,0x1002A1,lea
+ip,TRAP,254,0x1002DA,lea
+ip,TRAP,253,0x1002DD,flds
+ip,TRAP,247,0x1002E3,incl
+ip,TRAP,241,0x1002D1,lea
+ip,TRAP,241,0x1002C2,fmulp
+ip,TRAP,241,0x1002DF,faddp
+ip,TRAP,240,0x10027E,flds
+ip,TRAP,240,0x10029D,fmulp
+ip,TRAP,240,0x1002AC,lea
+ip,TRAP,240,0x100282,lea
+ip,TRAP,240,0x1002A4,flds
+ip,TRAP,240,0x10028E,fmulp
+ip,TRAP,240,0x100289,lea
+ip,TRAP,240,0x100285,flds
+ip,TRAP,240,0x1002B2,flds
+ip,TRAP,239,0x1002BB,mov
+ip,TRAP,238,0x1002AA,mov
+ip,TRAP,238,0x1002A6,fsubp
+ip,TRAP,234,0x100278,mov
+ip,TRAP,226,0x1002E1,fstps
+ip,TRAP,225,0x1002CD,flds
+ip,TRAP,219,0x10027B,lea
+ip,TRAP,211,0x1002E6,add
+ip,TRAP,205,0x1002E9,cmpl
+ip,TRAP,128,0x1002ED,jle
+ip,TRAP,21,0x1002F1,lea
+ip,TRAP,20,0x1002F6,pop
+ip,TRAP,20,0x1002F4,pop
+ip,TRAP,20,0x1002F5,pop
+ip,TRAP,19,0x10006A,call
+ip,TRAP,17,0x100020,push
+ip,TRAP,14,0x1002F7,pop
+ip,TRAP,14,0x100065,call
+ip,TRAP,11,0x100265,push
+ip,TRAP,11,0x10026C,add
+ip,TRAP,11,0x10025B,mov
+ip,TRAP,10,0x100254,movl
+ip,TRAP,10,0x100263,push
+ip,TRAP,10,0x10026F,movl
+ip,TRAP,10,0x10024A,mov
+ip,TRAP,10,0x100242,mov
+ip,TRAP,10,0x100260,sub
+ip,TRAP,9,0x10024F,mov
+ip,TRAP,9,0x100245,push
+ip,TRAP,9,0x100244,push
+ip,TRAP,9,0x100267,call
+ip,TRAP,9,0x100246,push
+ip,TRAP,9,0x100247,sub
+ip,TRAP,8,0x100241,push
+ip,TRAP,8,0x100276,jmp
+ip,TRAP,6,0x1002F8,ret
+ip,TRAP,5,0x10001E,pop
+ip,TRAP,4,0x10001F,ret
+ip,TRAP,3,0x10004F,push
+ip,TRAP,3,0x10001D,nop
+ip,TRAP,3,0x10001B,mov
+ip,TRAP,2,0x1002F0,nop
+ip,TRAP,1,0x100054,ret
+ip,TRAP,1,0x10001A,push
+ip,TRAP,1,0x100053,pop
+ip,TRAP,1,0x1002EF,nop
+ip,WRITE_TEXTSEGMENT,1,0x100065,call
+ip,ACCESS_OUTERSPACE,144,0x100285,flds
+ip,ACCESS_OUTERSPACE,142,0x10027B,lea
+ip,ACCESS_OUTERSPACE,128,0x100289,lea
+ip,ACCESS_OUTERSPACE,128,0x100278,mov
+ip,ACCESS_OUTERSPACE,112,0x10027E,flds
+ip,ACCESS_OUTERSPACE,112,0x1002B6,lea
+ip,ACCESS_OUTERSPACE,112,0x1002B2,flds
+ip,ACCESS_OUTERSPACE,112,0x1002BB,mov
+ip,ACCESS_OUTERSPACE,112,0x100287,mov
+ip,ACCESS_OUTERSPACE,111,0x1002E6,add
+ip,ACCESS_OUTERSPACE,104,0x1002AA,mov
+ip,ACCESS_OUTERSPACE,100,0x1002A4,flds
+ip,ACCESS_OUTERSPACE,100,0x1002A1,lea
+ip,ACCESS_OUTERSPACE,100,0x1002CD,flds
+ip,ACCESS_OUTERSPACE,97,0x1002B4,mov
+ip,ACCESS_OUTERSPACE,96,0x100282,lea
+ip,ACCESS_OUTERSPACE,96,0x10028E,fmulp
+ip,ACCESS_OUTERSPACE,96,0x100294,flds
+ip,ACCESS_OUTERSPACE,96,0x100292,fstps
+ip,ACCESS_OUTERSPACE,96,0x10028C,flds
+ip,ACCESS_OUTERSPACE,96,0x10029D,fmulp
+ip,ACCESS_OUTERSPACE,91,0x1002C2,fmulp
+ip,ACCESS_OUTERSPACE,82,0x1002AC,lea
+ip,ACCESS_OUTERSPACE,81,0x1002E9,cmpl
+ip,ACCESS_OUTERSPACE,81,0x100280,mov
+ip,ACCESS_OUTERSPACE,80,0x1002A8,fstps
+ip,ACCESS_OUTERSPACE,80,0x1002B9,flds
+ip,ACCESS_OUTERSPACE,80,0x100296,mov
+ip,ACCESS_OUTERSPACE,80,0x1002BD,lea
+ip,ACCESS_OUTERSPACE,80,0x1002C0,flds
+ip,ACCESS_OUTERSPACE,80,0x100290,faddp
+ip,ACCESS_OUTERSPACE,79,0x1002CA,lea
+ip,ACCESS_OUTERSPACE,71,0x1002A6,fsubp
+ip,ACCESS_OUTERSPACE,70,0x1002DD,flds
+ip,ACCESS_OUTERSPACE,67,0x1002ED,jle
+ip,ACCESS_OUTERSPACE,67,0x1002E3,incl
+ip,ACCESS_OUTERSPACE,66,0x1002DA,lea
+ip,ACCESS_OUTERSPACE,65,0x10029F,mov
+ip,ACCESS_OUTERSPACE,65,0x1002AF,mov
+ip,ACCESS_OUTERSPACE,65,0x10029B,flds
+ip,ACCESS_OUTERSPACE,64,0x1002DF,faddp
+ip,ACCESS_OUTERSPACE,64,0x100298,lea
+ip,ACCESS_OUTERSPACE,62,0x1002CF,mov
+ip,ACCESS_OUTERSPACE,62,0x1002C6,fstps
+ip,ACCESS_OUTERSPACE,61,0x1002D1,lea
+ip,ACCESS_OUTERSPACE,61,0x1002C8,mov
+ip,ACCESS_OUTERSPACE,61,0x1002C4,faddp
+ip,ACCESS_OUTERSPACE,60,0x1002D4,flds
+ip,ACCESS_OUTERSPACE,60,0x1002E1,fstps
+ip,ACCESS_OUTERSPACE,46,0x1002D6,fmulp
+ip,ACCESS_OUTERSPACE,45,0x1002D8,mov
+ip,ACCESS_OUTERSPACE,22,0x100242,mov
+ip,ACCESS_OUTERSPACE,22,0x10024F,mov
+ip,ACCESS_OUTERSPACE,22,0x100053,pop
+ip,ACCESS_OUTERSPACE,22,0x100241,push
+ip,ACCESS_OUTERSPACE,21,0x100246,push
+ip,ACCESS_OUTERSPACE,21,0x100276,jmp
+ip,ACCESS_OUTERSPACE,21,0x10001A,push
+ip,ACCESS_OUTERSPACE,21,0x100245,push
+ip,ACCESS_OUTERSPACE,20,0x100260,sub
+ip,ACCESS_OUTERSPACE,20,0x100254,movl
+ip,ACCESS_OUTERSPACE,20,0x100244,push
+ip,ACCESS_OUTERSPACE,20,0x100263,push
+ip,ACCESS_OUTERSPACE,20,0x10026C,add
+ip,ACCESS_OUTERSPACE,20,0x100247,sub
+ip,ACCESS_OUTERSPACE,19,0x10025B,mov
+ip,ACCESS_OUTERSPACE,19,0x10004F,push
+ip,ACCESS_OUTERSPACE,19,0x10026F,movl
+ip,ACCESS_OUTERSPACE,19,0x10024A,mov
+ip,ACCESS_OUTERSPACE,18,0x10001F,ret
+ip,ACCESS_OUTERSPACE,18,0x100265,push
+ip,ACCESS_OUTERSPACE,18,0x100052,nop
+ip,ACCESS_OUTERSPACE,18,0x10001E,pop
+ip,ACCESS_OUTERSPACE,18,0x100054,ret
+ip,ACCESS_OUTERSPACE,17,0x100050,mov
+ip,ACCESS_OUTERSPACE,17,0x10001D,nop
+ip,ACCESS_OUTERSPACE,17,0x10001B,mov
+ip,ACCESS_OUTERSPACE,17,0x100267,call
+ip,ACCESS_OUTERSPACE,16,0x100065,call
+ip,ACCESS_OUTERSPACE,9,0x1002F8,ret
+ip,ACCESS_OUTERSPACE,3,0x10006A,call
+ip,ACCESS_OUTERSPACE,3,0x100020,push
+ip,ACCESS_OUTERSPACE,2,0x1002F5,pop
+ip,ACCESS_OUTERSPACE,2,0x1002F1,lea
+ip,ACCESS_OUTERSPACE,2,0x1002EF,nop
+ip,ACCESS_OUTERSPACE,1,0x1002F0,nop
+ip,ACCESS_OUTERSPACE,1,0x1002F7,pop
+ip,ACCESS_OUTERSPACE,1,0x1002F4,pop
+mem,OK_MARKER,848,0x1002F8,ret
+mem,FAIL_MARKER,224512,0x1002B2,flds
+mem,FAIL_MARKER,219392,0x10029B,flds
+mem,FAIL_MARKER,217856,0x100294,flds
+mem,FAIL_MARKER,215808,0x10028C,flds
+mem,FAIL_MARKER,214272,0x100285,flds
+mem,FAIL_MARKER,212736,0x10027E,flds
+mem,FAIL_MARKER,26976,0x1002F6,pop
+mem,FAIL_MARKER,26912,0x1002F5,pop
+mem,FAIL_MARKER,26848,0x1002F4,pop
+mem,FAIL_MARKER,22736,0x1002E3,incl
+mem,FAIL_MARKER,16384,0x1002CD,flds
+mem,FAIL_MARKER,12800,0x1002D4,flds
+mem,FAIL_MARKER,11776,0x1002C0,flds
+mem,FAIL_MARKER,10998,0x1002F7,pop
+mem,FAIL_MARKER,8192,0x1002B9,flds
+mem,FAIL_MARKER,5120,0x1002DD,flds
+mem,FAIL_MARKER,4631,0x100278,mov
+mem,FAIL_MARKER,4096,0x1002A4,flds
+mem,FAIL_MARKER,988,0x1002E9,cmpl
+mem,FAIL_MARKER,848,0x1002F8,ret
+mem,FAIL_MARKER,168,0x10001A,push
+mem,FAIL_MARKER,39,0x10001E,pop
+mem,FAIL_MARKER,10,0x100054,ret
+mem,TIMEOUT,6784,0x1002F8,ret
+mem,TIMEOUT,5,0x10001F,ret
+mem,TRAP,16112,0x1002F8,ret
+mem,TRAP,70,0x10001F,ret
+mem,TRAP,45,0x100054,ret
+mem,TRAP,3,0x100053,pop
+mem,WRITE_TEXTSEGMENT,5,0x10001F,ret
+mem,ACCESS_OUTERSPACE,16074,0x1002F7,pop
+mem,ACCESS_OUTERSPACE,8841,0x100278,mov
+mem,ACCESS_OUTERSPACE,2544,0x1002F8,ret
+mem,ACCESS_OUTERSPACE,2352,0x1002E3,incl
+mem,ACCESS_OUTERSPACE,105,0x100054,ret
+mem,ACCESS_OUTERSPACE,100,0x1002E9,cmpl
+mem,ACCESS_OUTERSPACE,93,0x100053,pop
+mem,ACCESS_OUTERSPACE,80,0x10001F,ret
+mem,ACCESS_OUTERSPACE,57,0x10001E,pop
+regs,OK_MARKER,140,0x100292,fstps
+regs,OK_MARKER,64,0x1002C6,fstps
+regs,OK_MARKER,32,0x1002D8,mov
+regs,OK_MARKER,24,0x10029F,mov
+regs,OK_MARKER,4,0x1002A1,lea
+regs,OK_MARKER,4,0x1002DA,lea
+regs,FAIL_MARKER,3696,0x1002AA,mov
+regs,FAIL_MARKER,3223,0x100287,mov
+regs,FAIL_MARKER,2640,0x1002BB,mov
+regs,FAIL_MARKER,2464,0x1002B4,mov
+regs,FAIL_MARKER,2364,0x1002E6,add
+regs,FAIL_MARKER,1664,0x1002C6,fstps
+regs,FAIL_MARKER,1643,0x100292,fstps
+regs,FAIL_MARKER,1408,0x1002CF,mov
+regs,FAIL_MARKER,1408,0x1002C8,mov
+regs,FAIL_MARKER,1408,0x100294,flds
+regs,FAIL_MARKER,1221,0x100280,mov
+regs,FAIL_MARKER,1056,0x100296,mov
+regs,FAIL_MARKER,1051,0x1002ED,jle
+regs,FAIL_MARKER,832,0x1002D8,mov
+regs,FAIL_MARKER,528,0x10029F,mov
+regs,FAIL_MARKER,364,0x100246,push
+regs,FAIL_MARKER,352,0x1002B2,flds
+regs,FAIL_MARKER,332,0x100245,push
+regs,FAIL_MARKER,328,0x1002A8,fstps
+regs,FAIL_MARKER,324,0x1002E1,fstps
+regs,FAIL_MARKER,300,0x100244,push
+regs,FAIL_MARKER,197,0x1002AF,mov
+regs,FAIL_MARKER,176,0x1002D4,flds
+regs,FAIL_MARKER,176,0x1002B6,lea
+regs,FAIL_MARKER,176,0x10027E,flds
+regs,FAIL_MARKER,176,0x1002CA,lea
+regs,FAIL_MARKER,176,0x10028C,flds
+regs,FAIL_MARKER,176,0x1002B9,flds
+regs,FAIL_MARKER,176,0x100282,lea
+regs,FAIL_MARKER,176,0x1002CD,flds
+regs,FAIL_MARKER,176,0x1002AC,lea
+regs,FAIL_MARKER,176,0x100298,lea
+regs,FAIL_MARKER,176,0x1002BD,lea
+regs,FAIL_MARKER,176,0x100285,flds
+regs,FAIL_MARKER,176,0x1002D1,lea
+regs,FAIL_MARKER,176,0x10029B,flds
+regs,FAIL_MARKER,176,0x10027B,lea
+regs,FAIL_MARKER,176,0x1002C0,flds
+regs,FAIL_MARKER,176,0x100289,lea
+regs,FAIL_MARKER,164,0x1002A4,flds
+regs,FAIL_MARKER,162,0x1002DD,flds
+regs,FAIL_MARKER,104,0x1002DA,lea
+regs,FAIL_MARKER,88,0x1002A1,lea
+regs,FAIL_MARKER,65,0x100260,sub
+regs,FAIL_MARKER,39,0x100020,push
+regs,FAIL_MARKER,39,0x100241,push
+regs,FAIL_MARKER,32,0x10026C,add
+regs,FAIL_MARKER,13,0x100265,push
+regs,FAIL_MARKER,13,0x100247,sub
+regs,FAIL_MARKER,13,0x10001A,push
+regs,FAIL_MARKER,13,0x100267,call
+regs,FAIL_MARKER,13,0x100065,call
+regs,FAIL_MARKER,13,0x100263,push
+regs,FAIL_MARKER,13,0x10006A,call
+regs,TIMEOUT,768,0x1002AF,mov
+regs,TIMEOUT,736,0x1002E3,incl
+regs,TIMEOUT,66,0x1002E9,cmpl
+regs,TIMEOUT,14,0x100254,movl
+regs,TIMEOUT,8,0x1002F1,lea
+regs,TIMEOUT,2,0x1002F8,ret
+regs,TIMEOUT,2,0x100020,push
+regs,TIMEOUT,2,0x1002F7,pop
+regs,TIMEOUT,2,0x1002F4,pop
+regs,TIMEOUT,2,0x100242,mov
+regs,TIMEOUT,2,0x1002F6,pop
+regs,TIMEOUT,2,0x100241,push
+regs,TIMEOUT,2,0x10001E,pop
+regs,TIMEOUT,2,0x1002F5,pop
+regs,TIMEOUT,1,0x10001A,push
+regs,TIMEOUT,1,0x10001F,ret
+regs,TIMEOUT,1,0x10001B,mov
+regs,TRAP,1320,0x1002AF,mov
+regs,TRAP,1081,0x1002E3,incl
+regs,TRAP,100,0x1002E9,cmpl
+regs,TRAP,70,0x100254,movl
+regs,TRAP,40,0x1002F1,lea
+regs,TRAP,34,0x1002ED,jle
+regs,TRAP,32,0x100278,mov
+regs,TRAP,11,0x100241,push
+regs,TRAP,11,0x1002F5,pop
+regs,TRAP,11,0x1002F4,pop
+regs,TRAP,11,0x100242,mov
+regs,TRAP,10,0x1002F8,ret
+regs,TRAP,10,0x100020,push
+regs,TRAP,10,0x1002F7,pop
+regs,TRAP,10,0x1002F6,pop
+regs,TRAP,9,0x10004F,push
+regs,TRAP,6,0x10001E,pop
+regs,TRAP,6,0x100053,pop
+regs,TRAP,3,0x10001B,mov
+regs,TRAP,3,0x100050,mov
+regs,TRAP,3,0x100054,ret
+regs,TRAP,3,0x10026F,movl
+regs,TRAP,2,0x10001A,push
+regs,TRAP,2,0x10001F,ret
+regs,TRAP,1,0x100244,push
+regs,ACCESS_OUTERSPACE,10515,0x1002AF,mov
+regs,ACCESS_OUTERSPACE,9959,0x1002E3,incl
+regs,ACCESS_OUTERSPACE,8169,0x100292,fstps
+regs,ACCESS_OUTERSPACE,7056,0x1002AA,mov
+regs,ACCESS_OUTERSPACE,6464,0x1002C6,fstps
+regs,ACCESS_OUTERSPACE,6153,0x100287,mov
+regs,ACCESS_OUTERSPACE,5040,0x1002BB,mov
+regs,ACCESS_OUTERSPACE,4704,0x1002B4,mov
+regs,ACCESS_OUTERSPACE,3780,0x1002E6,add
+regs,ACCESS_OUTERSPACE,3232,0x1002D8,mov
+regs,ACCESS_OUTERSPACE,2688,0x100294,flds
+regs,ACCESS_OUTERSPACE,2688,0x1002CF,mov
+regs,ACCESS_OUTERSPACE,2688,0x1002C8,mov
+regs,ACCESS_OUTERSPACE,2520,0x10029F,mov
+regs,ACCESS_OUTERSPACE,2331,0x100280,mov
+regs,ACCESS_OUTERSPACE,2016,0x100296,mov
+regs,ACCESS_OUTERSPACE,992,0x100278,mov
+regs,ACCESS_OUTERSPACE,922,0x1002E9,cmpl
+regs,ACCESS_OUTERSPACE,700,0x1002E1,fstps
+regs,ACCESS_OUTERSPACE,696,0x1002A8,fstps
+regs,ACCESS_OUTERSPACE,672,0x1002B2,flds
+regs,ACCESS_OUTERSPACE,420,0x1002A1,lea
+regs,ACCESS_OUTERSPACE,404,0x1002DA,lea
+regs,ACCESS_OUTERSPACE,350,0x1002DD,flds
+regs,ACCESS_OUTERSPACE,348,0x1002A4,flds
+regs,ACCESS_OUTERSPACE,336,0x1002CD,flds
+regs,ACCESS_OUTERSPACE,336,0x1002AC,lea
+regs,ACCESS_OUTERSPACE,336,0x10027E,flds
+regs,ACCESS_OUTERSPACE,336,0x1002BD,lea
+regs,ACCESS_OUTERSPACE,336,0x10028C,flds
+regs,ACCESS_OUTERSPACE,336,0x1002D1,lea
+regs,ACCESS_OUTERSPACE,336,0x100282,lea
+regs,ACCESS_OUTERSPACE,336,0x1002C0,flds
+regs,ACCESS_OUTERSPACE,336,0x100298,lea
+regs,ACCESS_OUTERSPACE,336,0x1002D4,flds
+regs,ACCESS_OUTERSPACE,336,0x1002B6,lea
+regs,ACCESS_OUTERSPACE,336,0x100285,flds
+regs,ACCESS_OUTERSPACE,336,0x1002CA,lea
+regs,ACCESS_OUTERSPACE,336,0x10029B,flds
+regs,ACCESS_OUTERSPACE,336,0x10027B,lea
+regs,ACCESS_OUTERSPACE,336,0x1002B9,flds
+regs,ACCESS_OUTERSPACE,336,0x100289,lea
+regs,ACCESS_OUTERSPACE,215,0x10004F,push
+regs,ACCESS_OUTERSPACE,140,0x100254,movl
+regs,ACCESS_OUTERSPACE,95,0x100260,sub
+regs,ACCESS_OUTERSPACE,93,0x10026F,movl
+regs,ACCESS_OUTERSPACE,80,0x1002F1,lea
+regs,ACCESS_OUTERSPACE,77,0x100020,push
+regs,ACCESS_OUTERSPACE,76,0x100241,push
+regs,ACCESS_OUTERSPACE,58,0x100053,pop
+regs,ACCESS_OUTERSPACE,56,0x10001E,pop
+regs,ACCESS_OUTERSPACE,48,0x10001A,push
+regs,ACCESS_OUTERSPACE,29,0x10001F,ret
+regs,ACCESS_OUTERSPACE,29,0x100050,mov
+regs,ACCESS_OUTERSPACE,29,0x100054,ret
+regs,ACCESS_OUTERSPACE,28,0x10001B,mov
+regs,ACCESS_OUTERSPACE,20,0x100246,push
+regs,ACCESS_OUTERSPACE,20,0x1002F8,ret
+regs,ACCESS_OUTERSPACE,20,0x100245,push
+regs,ACCESS_OUTERSPACE,20,0x1002F7,pop
+regs,ACCESS_OUTERSPACE,20,0x1002F6,pop
+regs,ACCESS_OUTERSPACE,19,0x100265,push
+regs,ACCESS_OUTERSPACE,19,0x100065,call
+regs,ACCESS_OUTERSPACE,19,0x10006A,call
+regs,ACCESS_OUTERSPACE,19,0x100247,sub
+regs,ACCESS_OUTERSPACE,19,0x100267,call
+regs,ACCESS_OUTERSPACE,19,0x1002F4,pop
+regs,ACCESS_OUTERSPACE,19,0x100242,mov
+regs,ACCESS_OUTERSPACE,19,0x100263,push
+regs,ACCESS_OUTERSPACE,19,0x1002F5,pop
+regs,ACCESS_OUTERSPACE,19,0x100244,push
+regs,ACCESS_OUTERSPACE,3,0x1002ED,jle

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_mnemonics.csv

@@ -0,0 +1,20 @@
+mnemonic,count
+mov,2492
+flds,2304
+lea,2124
+fstps,768
+cmpl,340
+incl,320
+add,272
+fmulp,256
+jle,204
+faddp,192
+push,132
+pop,96
+fsubp,64
+call,36
+ret,36
+sub,32
+movl,24
+nop,16
+jmp,4

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_results.txt

@@ -0,0 +1,21 @@
++-----------+-------------------+---------+
+| benchmark | resulttype        | faults  |
++-----------+-------------------+---------+
+| ip        | OK_MARKER         |     121 |
+| ip        | FAIL_MARKER       |    3925 |
+| ip        | TIMEOUT           |    5285 |
+| ip        | TRAP              |   13128 |
+| ip        | WRITE_TEXTSEGMENT |       1 |
+| ip        | ACCESS_OUTERSPACE |    4932 |
+| mem       | OK_MARKER         |     848 |
+| mem       | FAIL_MARKER       | 1484098 |
+| mem       | TIMEOUT           |    6789 |
+| mem       | TRAP              |   16230 |
+| mem       | WRITE_TEXTSEGMENT |       5 |
+| mem       | ACCESS_OUTERSPACE |   30246 |
+| regs      | OK_MARKER         |     268 |
+| regs      | FAIL_MARKER       |   32579 |
+| regs      | TIMEOUT           |    1613 |
+| regs      | TRAP              |    2799 |
+| regs      | ACCESS_OUTERSPACE |   92565 |
++-----------+-------------------+---------+

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_resultsdata.csv

@@ -0,0 +1,18 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,121
+ip,FAIL_MARKER,3925
+ip,TIMEOUT,5285
+ip,TRAP,13128
+ip,WRITE_TEXTSEGMENT,1
+ip,ACCESS_OUTERSPACE,4932
+mem,OK_MARKER,848
+mem,FAIL_MARKER,1484098
+mem,TIMEOUT,6789
+mem,TRAP,16230
+mem,WRITE_TEXTSEGMENT,5
+mem,ACCESS_OUTERSPACE,30246
+regs,OK_MARKER,268
+regs,FAIL_MARKER,32579
+regs,TIMEOUT,1613
+regs,TRAP,2799
+regs,ACCESS_OUTERSPACE,92565

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,18 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,121
+ip,FAIL_MARKER,3925
+ip,TIMEOUT,5285
+ip,TRAP,13128
+ip,WRITE_TEXTSEGMENT,1
+ip,ACCESS_OUTERSPACE,4932
+mem,OK_MARKER,848
+mem,FAIL_MARKER,1956378
+mem,TIMEOUT,6789
+mem,TRAP,16230
+mem,WRITE_TEXTSEGMENT,5
+mem,ACCESS_OUTERSPACE,30246
+regs,OK_MARKER,268
+regs,FAIL_MARKER,172851
+regs,TIMEOUT,1613
+regs,TRAP,2799
+regs,ACCESS_OUTERSPACE,92565

queries/07-07_18-13-09_tacle-kernel-complex_updates_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,3424,27392,27392,3424
+mem,192277,1538216,8008,1001
+regs,16228,129824,24320,3040

queries/07-07_18-13-10_tacle-kernel-complex_updates_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+NULL,11042
+mov,1764
+push,828
+add,352
+sub,308
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+movl,60
+or,48
+shl,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+movzwl,16
+dec,16
+and,16
+setb,13
+sete,13
+setne,13
+jb,12
+jbe,12
+loop,8

queries/07-07_18-13-10_tacle-kernel-complex_updates_aot_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+----------+
+| benchmark | resulttype        | faults   |
++-----------+-------------------+----------+
+| ip        | OK_MARKER         |       75 |
+| ip        | FAIL_MARKER       |    17679 |
+| ip        | GROUP1_MARKER     |     3562 |
+| ip        | TIMEOUT           |    12065 |
+| ip        | TRAP              |   116263 |
+| ip        | WRITE_TEXTSEGMENT |     2935 |
+| ip        | ACCESS_OUTERSPACE |   224797 |
+| mem       | OK_MARKER         |    24400 |
+| mem       | FAIL_MARKER       | 25195277 |
+| mem       | GROUP1_MARKER     |  2255675 |
+| mem       | TIMEOUT           |   846785 |
+| mem       | TRAP              |   829875 |
+| mem       | WRITE_TEXTSEGMENT |   224891 |
+| mem       | ACCESS_OUTERSPACE |  3468161 |
+| regs      | OK_MARKER         |       15 |
+| regs      | FAIL_MARKER       |  1158640 |
+| regs      | GROUP1_MARKER     |    58424 |
+| regs      | TIMEOUT           |     1047 |
+| regs      | TRAP              |     8118 |
+| regs      | WRITE_TEXTSEGMENT |    29544 |
+| regs      | ACCESS_OUTERSPACE |   399540 |
++-----------+-------------------+----------+

queries/07-07_18-13-10_tacle-kernel-complex_updates_aot_fail_resultsdata.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,75
+ip,FAIL_MARKER,17679
+ip,GROUP1_MARKER,3562
+ip,TIMEOUT,12065
+ip,TRAP,116263
+ip,WRITE_TEXTSEGMENT,2935
+ip,ACCESS_OUTERSPACE,224797
+mem,OK_MARKER,24400
+mem,FAIL_MARKER,25195277
+mem,GROUP1_MARKER,2255675
+mem,TIMEOUT,846785
+mem,TRAP,829875
+mem,WRITE_TEXTSEGMENT,224891
+mem,ACCESS_OUTERSPACE,3468161
+regs,OK_MARKER,15
+regs,FAIL_MARKER,1158640
+regs,GROUP1_MARKER,58424
+regs,TIMEOUT,1047
+regs,TRAP,8118
+regs,WRITE_TEXTSEGMENT,29544
+regs,ACCESS_OUTERSPACE,399540

queries/07-07_18-13-10_tacle-kernel-complex_updates_aot_fail_resultsdata_writegroups.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,75
+ip,FAIL_MARKER,17679
+ip,GROUP1_MARKER,3562
+ip,TIMEOUT,12065
+ip,TRAP,116263
+ip,WRITE_TEXTSEGMENT,2935
+ip,ACCESS_OUTERSPACE,224797
+mem,OK_MARKER,24400
+mem,FAIL_MARKER,71224613
+mem,GROUP1_MARKER,2255675
+mem,TIMEOUT,846785
+mem,TRAP,829875
+mem,WRITE_TEXTSEGMENT,224891
+mem,ACCESS_OUTERSPACE,3468161
+regs,OK_MARKER,15
+regs,FAIL_MARKER,3254928
+regs,GROUP1_MARKER,58424
+regs,TIMEOUT,1047
+regs,TRAP,8118
+regs,WRITE_TEXTSEGMENT,29544
+regs,ACCESS_OUTERSPACE,399540

queries/07-07_18-13-10_tacle-kernel-complex_updates_aot_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,47172,377376,377376,47172
+mem,4105633,32845064,135080,16885
+regs,206916,1655328,490360,61295

queries/07-07_18-13-14_tacle-kernel-complex_updates_interp_fail_mnemonics.csv

@@ -0,0 +1,60 @@
+mnemonic,count
+mov,786144
+lea,111964
+cmp,90622
+add,65280
+movzbl,64073
+test,53182
+sub,42464
+jmp,42052
+je,38472
+incl,35960
+push,32924
+and,28560
+adc,26784
+shl,24743
+jg,22848
+js,22656
+sbb,14976
+cmpb,13940
+jb,12444
+jne,11760
+jge,7872
+call,6536
+ret,6528
+or,5488
+pop,4896
+leave,3888
+flds,3072
+cmpl,2100
+rep,2069
+fstps,1536
+nop,1508
+movl,1488
+xor,1456
+inc,1440
+addl,1180
+jae,1164
+shld,1155
+shr,448
+movzwl,418
+neg,368
+sete,273
+setae,273
+faddp,256
+fmulp,256
+setl,221
+jbe,144
+dec,144
+setb,117
+decl,60
+setne,52
+ja,36
+movb,27
+setbe,26
+cld,24
+not,24
+subl,20
+andb,17
+sar,16
+loop,8

queries/07-07_18-13-14_tacle-kernel-complex_updates_interp_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+-----------+
+| benchmark | resulttype        | faults    |
++-----------+-------------------+-----------+
+| ip        | OK_MARKER         |       106 |
+| ip        | FAIL_MARKER       |    129545 |
+| ip        | GROUP1_MARKER     |    115786 |
+| ip        | TIMEOUT           |    142314 |
+| ip        | TRAP              |   1517511 |
+| ip        | WRITE_TEXTSEGMENT |    184542 |
+| ip        | ACCESS_OUTERSPACE |   1692020 |
+| mem       | OK_MARKER         |   1177084 |
+| mem       | FAIL_MARKER       | 452082259 |
+| mem       | GROUP1_MARKER     | 139481969 |
+| mem       | TIMEOUT           |  69745680 |
+| mem       | TRAP              |  34365101 |
+| mem       | WRITE_TEXTSEGMENT |   8167931 |
+| mem       | ACCESS_OUTERSPACE | 103359112 |
+| regs      | OK_MARKER         |      2381 |
+| regs      | FAIL_MARKER       |   6099260 |
+| regs      | GROUP1_MARKER     |   1865624 |
+| regs      | TIMEOUT           |    113192 |
+| regs      | TRAP              |    172941 |
+| regs      | WRITE_TEXTSEGMENT |    645067 |
+| regs      | ACCESS_OUTERSPACE |   6359583 |
++-----------+-------------------+-----------+

queries/07-07_18-13-14_tacle-kernel-complex_updates_interp_fail_resultsdata.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,106
+ip,FAIL_MARKER,129545
+ip,GROUP1_MARKER,115786
+ip,TIMEOUT,142314
+ip,TRAP,1517511
+ip,WRITE_TEXTSEGMENT,184542
+ip,ACCESS_OUTERSPACE,1692020
+mem,OK_MARKER,1177084
+mem,FAIL_MARKER,452082259
+mem,GROUP1_MARKER,139481969
+mem,TIMEOUT,69745680
+mem,TRAP,34365101
+mem,WRITE_TEXTSEGMENT,8167931
+mem,ACCESS_OUTERSPACE,103359112
+regs,OK_MARKER,2381
+regs,FAIL_MARKER,6099260
+regs,GROUP1_MARKER,1865624
+regs,TIMEOUT,113192
+regs,TRAP,172941
+regs,WRITE_TEXTSEGMENT,645067
+regs,ACCESS_OUTERSPACE,6359583

queries/07-07_18-13-14_tacle-kernel-complex_updates_interp_fail_resultsdata_writegroups.csv

@@ -0,0 +1,22 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,106
+ip,FAIL_MARKER,129545
+ip,GROUP1_MARKER,115786
+ip,TIMEOUT,142314
+ip,TRAP,1517511
+ip,WRITE_TEXTSEGMENT,184542
+ip,ACCESS_OUTERSPACE,1692020
+mem,OK_MARKER,1177084
+mem,FAIL_MARKER,1111329043
+mem,GROUP1_MARKER,139481969
+mem,TIMEOUT,69745680
+mem,TRAP,34365101
+mem,WRITE_TEXTSEGMENT,8167931
+mem,ACCESS_OUTERSPACE,103359112
+regs,OK_MARKER,2381
+regs,FAIL_MARKER,28645116
+regs,GROUP1_MARKER,1865624
+regs,TIMEOUT,113192
+regs,TRAP,172941
+regs,WRITE_TEXTSEGMENT,645067
+regs,ACCESS_OUTERSPACE,6359583

queries/07-07_18-13-14_tacle-kernel-complex_updates_interp_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,472728,3781824,3781824,472728
+mem,101047392,808379136,1101056,137632
+regs,1907256,15258048,4602168,575271

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_faults.csv

@@ -0,0 +1,470 @@
+benchmark,resulttype,faults,fault_address,mnemonic
+ip,OK_MARKER,5,0x100054,ret
+ip,OK_MARKER,2,0x100020,push
+ip,OK_MARKER,1,0x10006A,call
+ip,FAIL_MARKER,491,0x100052,nop
+ip,FAIL_MARKER,489,0x100050,mov
+ip,FAIL_MARKER,483,0x100247,jle
+ip,FAIL_MARKER,369,0x100054,ret
+ip,FAIL_MARKER,282,0x10004F,push
+ip,FAIL_MARKER,281,0x100237,imul
+ip,FAIL_MARKER,280,0x10022B,mov
+ip,FAIL_MARKER,279,0x100053,pop
+ip,FAIL_MARKER,251,0x100228,lea
+ip,FAIL_MARKER,196,0x100243,cmpl
+ip,FAIL_MARKER,176,0x100230,mov
+ip,FAIL_MARKER,174,0x100235,mov
+ip,FAIL_MARKER,172,0x10022E,mov
+ip,FAIL_MARKER,151,0x100232,lea
+ip,FAIL_MARKER,140,0x10023E,mov
+ip,FAIL_MARKER,138,0x100240,incl
+ip,FAIL_MARKER,87,0x10024F,cmpl
+ip,FAIL_MARKER,67,0x100259,jle
+ip,FAIL_MARKER,51,0x1001F7,mov
+ip,FAIL_MARKER,50,0x1001FE,shl
+ip,FAIL_MARKER,50,0x100210,push
+ip,FAIL_MARKER,50,0x10021C,movl
+ip,FAIL_MARKER,50,0x100214,call
+ip,FAIL_MARKER,50,0x100212,push
+ip,FAIL_MARKER,48,0x100253,jle
+ip,FAIL_MARKER,37,0x10023A,mov
+ip,FAIL_MARKER,33,0x10023C,add
+ip,FAIL_MARKER,27,0x10001D,nop
+ip,FAIL_MARKER,25,0x10001B,mov
+ip,FAIL_MARKER,25,0x1001E6,call
+ip,FAIL_MARKER,24,0x100256,cmp
+ip,FAIL_MARKER,21,0x100249,add
+ip,FAIL_MARKER,14,0x100260,nop
+ip,FAIL_MARKER,14,0x10025F,nop
+ip,FAIL_MARKER,14,0x1001E4,push
+ip,FAIL_MARKER,12,0x1001F5,jmp
+ip,FAIL_MARKER,11,0x1001E2,push
+ip,FAIL_MARKER,11,0x100264,pop
+ip,FAIL_MARKER,11,0x100267,pop
+ip,FAIL_MARKER,11,0x100265,pop
+ip,FAIL_MARKER,10,0x100020,push
+ip,FAIL_MARKER,10,0x100266,pop
+ip,FAIL_MARKER,10,0x10001F,ret
+ip,FAIL_MARKER,9,0x10001E,pop
+ip,FAIL_MARKER,9,0x100268,ret
+ip,FAIL_MARKER,8,0x100225,mov
+ip,FAIL_MARKER,8,0x10001A,push
+ip,FAIL_MARKER,8,0x10024C,incl
+ip,FAIL_MARKER,8,0x100255,inc
+ip,FAIL_MARKER,8,0x100261,lea
+ip,FAIL_MARKER,6,0x1001EB,add
+ip,FAIL_MARKER,5,0x100207,movl
+ip,FAIL_MARKER,5,0x1001EE,movl
+ip,FAIL_MARKER,5,0x1001D8,movl
+ip,FAIL_MARKER,3,0x1001BD,mov
+ip,FAIL_MARKER,3,0x1001C2,sub
+ip,FAIL_MARKER,3,0x1001D6,jmp
+ip,FAIL_MARKER,2,0x1001C7,push
+ip,FAIL_MARKER,2,0x1001C5,push
+ip,FAIL_MARKER,2,0x1001DF,sub
+ip,FAIL_MARKER,1,0x1001D1,mov
+ip,FAIL_MARKER,1,0x1001CE,add
+ip,FAIL_MARKER,1,0x100223,jmp
+ip,FAIL_MARKER,1,0x1001BA,sub
+ip,FAIL_MARKER,1,0x1001B4,push
+ip,FAIL_MARKER,1,0x1001B5,mov
+ip,FAIL_MARKER,1,0x1001B7,push
+ip,DETECTED_MARKER,125,0x10022E,mov
+ip,DETECTED_MARKER,1,0x1001B7,push
+ip,TIMEOUT,745,0x100235,mov
+ip,TIMEOUT,150,0x100243,cmpl
+ip,TIMEOUT,45,0x100207,movl
+ip,TIMEOUT,31,0x10004F,push
+ip,TIMEOUT,30,0x1001FE,shl
+ip,TIMEOUT,25,0x100223,jmp
+ip,TIMEOUT,25,0x100201,lea
+ip,TIMEOUT,14,0x100054,ret
+ip,TIMEOUT,11,0x1001D8,movl
+ip,TIMEOUT,11,0x1001E4,push
+ip,TIMEOUT,9,0x1001B5,mov
+ip,TIMEOUT,9,0x100065,call
+ip,TIMEOUT,9,0x1001BA,sub
+ip,TIMEOUT,8,0x1001C9,call
+ip,TIMEOUT,8,0x10001F,ret
+ip,TIMEOUT,8,0x1001B4,push
+ip,TIMEOUT,7,0x1001DF,sub
+ip,TIMEOUT,7,0x1001D6,jmp
+ip,TIMEOUT,7,0x1001C7,push
+ip,TIMEOUT,7,0x1001B7,push
+ip,TIMEOUT,7,0x1001BD,mov
+ip,TIMEOUT,7,0x1001B9,push
+ip,TIMEOUT,6,0x1001E6,call
+ip,TIMEOUT,6,0x1001B8,push
+ip,TIMEOUT,6,0x10024F,cmpl
+ip,TIMEOUT,6,0x1001D1,mov
+ip,TIMEOUT,6,0x1001EB,add
+ip,TIMEOUT,6,0x1001C2,sub
+ip,TIMEOUT,6,0x100253,jle
+ip,TIMEOUT,6,0x100256,cmp
+ip,TIMEOUT,6,0x1001EE,movl
+ip,TIMEOUT,6,0x1001C5,push
+ip,TIMEOUT,6,0x1001E2,push
+ip,TIMEOUT,6,0x1001F5,jmp
+ip,TIMEOUT,6,0x1001CE,add
+ip,TIMEOUT,2,0x10006A,call
+ip,TIMEOUT,2,0x100268,ret
+ip,TIMEOUT,1,0x100266,pop
+ip,TIMEOUT,1,0x1001F7,mov
+ip,TIMEOUT,1,0x100267,pop
+ip,TIMEOUT,1,0x100261,lea
+ip,TIMEOUT,1,0x100260,nop
+ip,TIMEOUT,1,0x10001A,push
+ip,TRAP,1593,0x100235,mov
+ip,TRAP,1588,0x100243,cmpl
+ip,TRAP,1510,0x100247,jle
+ip,TRAP,1367,0x100237,imul
+ip,TRAP,1281,0x100230,mov
+ip,TRAP,1219,0x100240,incl
+ip,TRAP,1192,0x10023A,mov
+ip,TRAP,1172,0x100228,lea
+ip,TRAP,1161,0x10023C,add
+ip,TRAP,1141,0x10022B,mov
+ip,TRAP,1141,0x100232,lea
+ip,TRAP,1061,0x10022E,mov
+ip,TRAP,1056,0x10023E,mov
+ip,TRAP,992,0x100225,mov
+ip,TRAP,350,0x1001F9,shl
+ip,TRAP,349,0x100253,jle
+ip,TRAP,288,0x10024F,cmpl
+ip,TRAP,275,0x1001F7,mov
+ip,TRAP,275,0x1001FC,add
+ip,TRAP,275,0x100207,movl
+ip,TRAP,262,0x10024C,incl
+ip,TRAP,255,0x10021C,movl
+ip,TRAP,250,0x100214,call
+ip,TRAP,250,0x100212,push
+ip,TRAP,232,0x100249,add
+ip,TRAP,230,0x100223,jmp
+ip,TRAP,226,0x10020D,sub
+ip,TRAP,225,0x1001FE,shl
+ip,TRAP,225,0x100219,add
+ip,TRAP,225,0x100210,push
+ip,TRAP,200,0x100201,lea
+ip,TRAP,69,0x10004F,push
+ip,TRAP,62,0x100053,pop
+ip,TRAP,61,0x1001DF,sub
+ip,TRAP,61,0x100054,ret
+ip,TRAP,60,0x100256,cmp
+ip,TRAP,55,0x1001EB,add
+ip,TRAP,52,0x1001D8,movl
+ip,TRAP,52,0x1001EE,movl
+ip,TRAP,51,0x1001F5,jmp
+ip,TRAP,49,0x1001E2,push
+ip,TRAP,48,0x100259,jle
+ip,TRAP,48,0x1001E4,push
+ip,TRAP,47,0x100255,inc
+ip,TRAP,46,0x1001E6,call
+ip,TRAP,35,0x100050,mov
+ip,TRAP,18,0x10001A,push
+ip,TRAP,18,0x10001E,pop
+ip,TRAP,16,0x100065,call
+ip,TRAP,15,0x1001B8,push
+ip,TRAP,12,0x1001B4,push
+ip,TRAP,12,0x10006A,call
+ip,TRAP,12,0x1001C7,push
+ip,TRAP,12,0x1001BD,mov
+ip,TRAP,11,0x1001B5,mov
+ip,TRAP,11,0x1001C9,call
+ip,TRAP,11,0x1001C5,push
+ip,TRAP,11,0x1001CE,add
+ip,TRAP,11,0x1001C2,sub
+ip,TRAP,11,0x1001B9,push
+ip,TRAP,10,0x1001B7,push
+ip,TRAP,10,0x1001D1,mov
+ip,TRAP,10,0x1001BA,sub
+ip,TRAP,9,0x1001D6,jmp
+ip,TRAP,6,0x100266,pop
+ip,TRAP,5,0x100267,pop
+ip,TRAP,5,0x10001F,ret
+ip,TRAP,5,0x10001B,mov
+ip,TRAP,4,0x100265,pop
+ip,TRAP,4,0x10001D,nop
+ip,TRAP,3,0x100264,pop
+ip,TRAP,3,0x10025F,nop
+ip,TRAP,2,0x100260,nop
+ip,TRAP,2,0x100052,nop
+ip,TRAP,1,0x100268,ret
+ip,TRAP,1,0x100261,lea
+ip,ACCESS_OUTERSPACE,3000,0x100225,mov
+ip,ACCESS_OUTERSPACE,2866,0x100243,cmpl
+ip,ACCESS_OUTERSPACE,2807,0x100247,jle
+ip,ACCESS_OUTERSPACE,2806,0x10023C,add
+ip,ACCESS_OUTERSPACE,2804,0x10023E,mov
+ip,ACCESS_OUTERSPACE,2771,0x10023A,mov
+ip,ACCESS_OUTERSPACE,2708,0x100232,lea
+ip,ACCESS_OUTERSPACE,2643,0x100240,incl
+ip,ACCESS_OUTERSPACE,2642,0x10022E,mov
+ip,ACCESS_OUTERSPACE,2579,0x10022B,mov
+ip,ACCESS_OUTERSPACE,2577,0x100228,lea
+ip,ACCESS_OUTERSPACE,2543,0x100230,mov
+ip,ACCESS_OUTERSPACE,2352,0x100237,imul
+ip,ACCESS_OUTERSPACE,1488,0x100235,mov
+ip,ACCESS_OUTERSPACE,651,0x100053,pop
+ip,ACCESS_OUTERSPACE,610,0x10004F,push
+ip,ACCESS_OUTERSPACE,579,0x10024F,cmpl
+ip,ACCESS_OUTERSPACE,575,0x100201,lea
+ip,ACCESS_OUTERSPACE,575,0x100219,add
+ip,ACCESS_OUTERSPACE,574,0x10020D,sub
+ip,ACCESS_OUTERSPACE,557,0x100253,jle
+ip,ACCESS_OUTERSPACE,547,0x100249,add
+ip,ACCESS_OUTERSPACE,544,0x100223,jmp
+ip,ACCESS_OUTERSPACE,543,0x100054,ret
+ip,ACCESS_OUTERSPACE,530,0x10024C,incl
+ip,ACCESS_OUTERSPACE,525,0x100210,push
+ip,ACCESS_OUTERSPACE,525,0x1001FC,add
+ip,ACCESS_OUTERSPACE,500,0x100214,call
+ip,ACCESS_OUTERSPACE,500,0x100212,push
+ip,ACCESS_OUTERSPACE,499,0x100052,nop
+ip,ACCESS_OUTERSPACE,495,0x10021C,movl
+ip,ACCESS_OUTERSPACE,495,0x1001FE,shl
+ip,ACCESS_OUTERSPACE,475,0x100207,movl
+ip,ACCESS_OUTERSPACE,473,0x1001F7,mov
+ip,ACCESS_OUTERSPACE,468,0x100050,mov
+ip,ACCESS_OUTERSPACE,450,0x1001F9,shl
+ip,ACCESS_OUTERSPACE,105,0x100255,inc
+ip,ACCESS_OUTERSPACE,102,0x100256,cmp
+ip,ACCESS_OUTERSPACE,97,0x1001EE,movl
+ip,ACCESS_OUTERSPACE,94,0x1001E2,push
+ip,ACCESS_OUTERSPACE,93,0x1001EB,add
+ip,ACCESS_OUTERSPACE,92,0x1001D8,movl
+ip,ACCESS_OUTERSPACE,91,0x1001F5,jmp
+ip,ACCESS_OUTERSPACE,90,0x1001DF,sub
+ip,ACCESS_OUTERSPACE,87,0x1001E4,push
+ip,ACCESS_OUTERSPACE,83,0x1001E6,call
+ip,ACCESS_OUTERSPACE,77,0x100259,jle
+ip,ACCESS_OUTERSPACE,22,0x100261,lea
+ip,ACCESS_OUTERSPACE,20,0x100020,push
+ip,ACCESS_OUTERSPACE,20,0x100268,ret
+ip,ACCESS_OUTERSPACE,18,0x100264,pop
+ip,ACCESS_OUTERSPACE,17,0x100265,pop
+ip,ACCESS_OUTERSPACE,17,0x10006A,call
+ip,ACCESS_OUTERSPACE,15,0x100266,pop
+ip,ACCESS_OUTERSPACE,15,0x1001D1,mov
+ip,ACCESS_OUTERSPACE,15,0x100267,pop
+ip,ACCESS_OUTERSPACE,15,0x10025F,nop
+ip,ACCESS_OUTERSPACE,15,0x100260,nop
+ip,ACCESS_OUTERSPACE,14,0x1001B9,push
+ip,ACCESS_OUTERSPACE,14,0x1001CE,add
+ip,ACCESS_OUTERSPACE,13,0x1001B7,push
+ip,ACCESS_OUTERSPACE,13,0x1001C9,call
+ip,ACCESS_OUTERSPACE,13,0x1001D6,jmp
+ip,ACCESS_OUTERSPACE,13,0x1001C5,push
+ip,ACCESS_OUTERSPACE,12,0x1001C2,sub
+ip,ACCESS_OUTERSPACE,12,0x1001BA,sub
+ip,ACCESS_OUTERSPACE,11,0x1001B8,push
+ip,ACCESS_OUTERSPACE,11,0x1001B4,push
+ip,ACCESS_OUTERSPACE,11,0x1001B5,mov
+ip,ACCESS_OUTERSPACE,11,0x1001C7,push
+ip,ACCESS_OUTERSPACE,10,0x1001BD,mov
+ip,ACCESS_OUTERSPACE,9,0x10001F,ret
+ip,ACCESS_OUTERSPACE,7,0x100065,call
+ip,ACCESS_OUTERSPACE,5,0x10001A,push
+ip,ACCESS_OUTERSPACE,5,0x10001E,pop
+ip,ACCESS_OUTERSPACE,2,0x10001B,mov
+ip,ACCESS_OUTERSPACE,1,0x10001D,nop
+mem,OK_MARKER,2469,0x100268,ret
+mem,FAIL_MARKER,1787200,0x10022E,mov
+mem,FAIL_MARKER,1159200,0x100235,mov
+mem,FAIL_MARKER,78848,0x100266,pop
+mem,FAIL_MARKER,78784,0x100265,pop
+mem,FAIL_MARKER,78720,0x100264,pop
+mem,FAIL_MARKER,69750,0x10024C,incl
+mem,FAIL_MARKER,56800,0x10023A,mov
+mem,FAIL_MARKER,50375,0x100240,incl
+mem,FAIL_MARKER,32071,0x100267,pop
+mem,FAIL_MARKER,23045,0x100225,mov
+mem,FAIL_MARKER,5425,0x100243,cmpl
+mem,FAIL_MARKER,1050,0x10024F,cmpl
+mem,FAIL_MARKER,160,0x100054,ret
+mem,FAIL_MARKER,144,0x10001A,push
+mem,FAIL_MARKER,39,0x10001E,pop
+mem,TIMEOUT,4938,0x100268,ret
+mem,TIMEOUT,60,0x100054,ret
+mem,TIMEOUT,45,0x10001F,ret
+mem,TIMEOUT,33,0x100053,pop
+mem,TRAP,29628,0x100268,ret
+mem,TRAP,1465,0x100054,ret
+mem,TRAP,80,0x10001F,ret
+mem,TRAP,15,0x100053,pop
+mem,ACCESS_OUTERSPACE,46873,0x100267,pop
+mem,ACCESS_OUTERSPACE,43995,0x100225,mov
+mem,ACCESS_OUTERSPACE,41973,0x100268,ret
+mem,ACCESS_OUTERSPACE,4650,0x10024C,incl
+mem,ACCESS_OUTERSPACE,3275,0x100054,ret
+mem,ACCESS_OUTERSPACE,2928,0x100053,pop
+mem,ACCESS_OUTERSPACE,1625,0x100240,incl
+mem,ACCESS_OUTERSPACE,175,0x100243,cmpl
+mem,ACCESS_OUTERSPACE,70,0x10024F,cmpl
+mem,ACCESS_OUTERSPACE,57,0x10001E,pop
+mem,ACCESS_OUTERSPACE,35,0x10001F,ret
+regs,FAIL_MARKER,21060,0x10020D,sub
+regs,FAIL_MARKER,20000,0x100237,imul
+regs,FAIL_MARKER,18065,0x100230,mov
+regs,FAIL_MARKER,13800,0x100255,inc
+regs,FAIL_MARKER,12000,0x10023C,add
+regs,FAIL_MARKER,10224,0x10023A,mov
+regs,FAIL_MARKER,9300,0x100247,jle
+regs,FAIL_MARKER,6930,0x1001F7,mov
+regs,FAIL_MARKER,5440,0x10023E,mov
+regs,FAIL_MARKER,4056,0x1001DF,sub
+regs,FAIL_MARKER,2750,0x10022E,mov
+regs,FAIL_MARKER,1845,0x100253,jle
+regs,FAIL_MARKER,1832,0x100207,movl
+regs,FAIL_MARKER,1480,0x10022B,mov
+regs,FAIL_MARKER,1375,0x100228,lea
+regs,FAIL_MARKER,1255,0x100232,lea
+regs,FAIL_MARKER,1255,0x100235,mov
+regs,FAIL_MARKER,688,0x100249,add
+regs,FAIL_MARKER,404,0x1001FC,add
+regs,FAIL_MARKER,369,0x100259,jle
+regs,FAIL_MARKER,364,0x1001B9,push
+regs,FAIL_MARKER,332,0x1001B8,push
+regs,FAIL_MARKER,320,0x100219,add
+regs,FAIL_MARKER,300,0x100212,push
+regs,FAIL_MARKER,300,0x1001B7,push
+regs,FAIL_MARKER,300,0x100210,push
+regs,FAIL_MARKER,300,0x100214,call
+regs,FAIL_MARKER,210,0x100256,cmp
+regs,FAIL_MARKER,200,0x1001F9,shl
+regs,FAIL_MARKER,200,0x1001FE,shl
+regs,FAIL_MARKER,200,0x100201,lea
+regs,FAIL_MARKER,66,0x100053,pop
+regs,FAIL_MARKER,60,0x1001E6,call
+regs,FAIL_MARKER,60,0x1001E4,push
+regs,FAIL_MARKER,60,0x1001EB,add
+regs,FAIL_MARKER,60,0x1001E2,push
+regs,FAIL_MARKER,39,0x1001B4,push
+regs,FAIL_MARKER,39,0x100020,push
+regs,FAIL_MARKER,33,0x100050,mov
+regs,FAIL_MARKER,32,0x10004F,push
+regs,FAIL_MARKER,32,0x100054,ret
+regs,FAIL_MARKER,24,0x1001C2,sub
+regs,FAIL_MARKER,13,0x10006A,call
+regs,FAIL_MARKER,13,0x10001A,push
+regs,FAIL_MARKER,13,0x100065,call
+regs,FAIL_MARKER,13,0x1001BA,sub
+regs,FAIL_MARKER,12,0x1001C7,push
+regs,FAIL_MARKER,12,0x1001C5,push
+regs,FAIL_MARKER,12,0x1001CE,add
+regs,FAIL_MARKER,12,0x1001C9,call
+regs,TIMEOUT,225,0x100240,incl
+regs,TIMEOUT,95,0x10004F,push
+regs,TIMEOUT,50,0x100225,mov
+regs,TIMEOUT,50,0x10022B,mov
+regs,TIMEOUT,35,0x100243,cmpl
+regs,TIMEOUT,27,0x1001D8,movl
+regs,TIMEOUT,15,0x10021C,movl
+regs,TIMEOUT,15,0x10024C,incl
+regs,TIMEOUT,15,0x1001EE,movl
+regs,TIMEOUT,10,0x10024F,cmpl
+regs,TIMEOUT,7,0x100261,lea
+regs,TIMEOUT,4,0x10001E,pop
+regs,TIMEOUT,2,0x10001A,push
+regs,TIMEOUT,2,0x10001B,mov
+regs,TIMEOUT,2,0x10001F,ret
+regs,TIMEOUT,1,0x100268,ret
+regs,TIMEOUT,1,0x100020,push
+regs,TIMEOUT,1,0x100267,pop
+regs,TIMEOUT,1,0x1001B5,mov
+regs,TIMEOUT,1,0x100266,pop
+regs,TIMEOUT,1,0x1001B4,push
+regs,TIMEOUT,1,0x100265,pop
+regs,TIMEOUT,1,0x100264,pop
+regs,TRAP,1845,0x100240,incl
+regs,TRAP,550,0x10022B,mov
+regs,TRAP,300,0x100247,jle
+regs,TRAP,275,0x100243,cmpl
+regs,TRAP,210,0x100053,pop
+regs,TRAP,183,0x10004F,push
+regs,TRAP,136,0x100054,ret
+regs,TRAP,135,0x10024C,incl
+regs,TRAP,105,0x100050,mov
+regs,TRAP,81,0x1001D8,movl
+regs,TRAP,62,0x10024F,cmpl
+regs,TRAP,60,0x100253,jle
+regs,TRAP,22,0x10001E,pop
+regs,TRAP,21,0x100261,lea
+regs,TRAP,12,0x100259,jle
+regs,TRAP,11,0x10001B,mov
+regs,TRAP,11,0x10001F,ret
+regs,TRAP,11,0x10001A,push
+regs,TRAP,3,0x100265,pop
+regs,TRAP,3,0x1001EE,movl
+regs,TRAP,3,0x100267,pop
+regs,TRAP,3,0x1001B5,mov
+regs,TRAP,3,0x10021C,movl
+regs,TRAP,2,0x1001B4,push
+regs,TRAP,2,0x100264,pop
+regs,TRAP,2,0x100268,ret
+regs,TRAP,2,0x100020,push
+regs,TRAP,2,0x100266,pop
+regs,ACCESS_OUTERSPACE,54670,0x1001F7,mov
+regs,ACCESS_OUTERSPACE,46576,0x10023A,mov
+regs,ACCESS_OUTERSPACE,39535,0x100230,mov
+regs,ACCESS_OUTERSPACE,35100,0x10020D,sub
+regs,ACCESS_OUTERSPACE,33930,0x100240,incl
+regs,ACCESS_OUTERSPACE,11402,0x10004F,push
+regs,ACCESS_OUTERSPACE,9920,0x10022B,mov
+regs,ACCESS_OUTERSPACE,8504,0x100207,movl
+regs,ACCESS_OUTERSPACE,7950,0x100225,mov
+regs,ACCESS_OUTERSPACE,6760,0x1001DF,sub
+regs,ACCESS_OUTERSPACE,6560,0x10023E,mov
+regs,ACCESS_OUTERSPACE,5290,0x100243,cmpl
+regs,ACCESS_OUTERSPACE,5250,0x10022E,mov
+regs,ACCESS_OUTERSPACE,2745,0x100235,mov
+regs,ACCESS_OUTERSPACE,2745,0x100232,lea
+regs,ACCESS_OUTERSPACE,2625,0x100228,lea
+regs,ACCESS_OUTERSPACE,2512,0x100249,add
+regs,ACCESS_OUTERSPACE,2382,0x10021C,movl
+regs,ACCESS_OUTERSPACE,2250,0x10024C,incl
+regs,ACCESS_OUTERSPACE,1996,0x1001FC,add
+regs,ACCESS_OUTERSPACE,1708,0x100053,pop
+regs,ACCESS_OUTERSPACE,1048,0x10024F,cmpl
+regs,ACCESS_OUTERSPACE,920,0x100255,inc
+regs,ACCESS_OUTERSPACE,854,0x100050,mov
+regs,ACCESS_OUTERSPACE,824,0x100054,ret
+regs,ACCESS_OUTERSPACE,756,0x1001D8,movl
+regs,ACCESS_OUTERSPACE,600,0x100201,lea
+regs,ACCESS_OUTERSPACE,600,0x1001F9,shl
+regs,ACCESS_OUTERSPACE,600,0x1001FE,shl
+regs,ACCESS_OUTERSPACE,500,0x100214,call
+regs,ACCESS_OUTERSPACE,500,0x100212,push
+regs,ACCESS_OUTERSPACE,500,0x100210,push
+regs,ACCESS_OUTERSPACE,480,0x100219,add
+regs,ACCESS_OUTERSPACE,462,0x1001EE,movl
+regs,ACCESS_OUTERSPACE,196,0x100261,lea
+regs,ACCESS_OUTERSPACE,100,0x1001E2,push
+regs,ACCESS_OUTERSPACE,100,0x1001E6,call
+regs,ACCESS_OUTERSPACE,100,0x1001E4,push
+regs,ACCESS_OUTERSPACE,100,0x1001EB,add
+regs,ACCESS_OUTERSPACE,86,0x100020,push
+regs,ACCESS_OUTERSPACE,86,0x1001B4,push
+regs,ACCESS_OUTERSPACE,40,0x1001C2,sub
+regs,ACCESS_OUTERSPACE,38,0x10001A,push
+regs,ACCESS_OUTERSPACE,38,0x10001E,pop
+regs,ACCESS_OUTERSPACE,29,0x100266,pop
+regs,ACCESS_OUTERSPACE,29,0x100264,pop
+regs,ACCESS_OUTERSPACE,29,0x100268,ret
+regs,ACCESS_OUTERSPACE,28,0x100267,pop
+regs,ACCESS_OUTERSPACE,28,0x1001B5,mov
+regs,ACCESS_OUTERSPACE,28,0x100265,pop
+regs,ACCESS_OUTERSPACE,20,0x1001CE,add
+regs,ACCESS_OUTERSPACE,20,0x1001C9,call
+regs,ACCESS_OUTERSPACE,20,0x1001B8,push
+regs,ACCESS_OUTERSPACE,20,0x1001C7,push
+regs,ACCESS_OUTERSPACE,20,0x1001B9,push
+regs,ACCESS_OUTERSPACE,20,0x1001B7,push
+regs,ACCESS_OUTERSPACE,20,0x1001C5,push
+regs,ACCESS_OUTERSPACE,19,0x10001F,ret
+regs,ACCESS_OUTERSPACE,19,0x100065,call
+regs,ACCESS_OUTERSPACE,19,0x10001B,mov
+regs,ACCESS_OUTERSPACE,19,0x1001BA,sub
+regs,ACCESS_OUTERSPACE,19,0x10006A,call
+regs,ACCESS_OUTERSPACE,15,0x100253,jle
+regs,ACCESS_OUTERSPACE,14,0x100256,cmp
+regs,ACCESS_OUTERSPACE,3,0x100259,jle

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_mnemonics.csv

@@ -0,0 +1,19 @@
+mnemonic,count
+mov,13712
+add,3896
+cmpl,3600
+lea,3312
+incl,3000
+imul,2500
+jle,2232
+push,1332
+shl,800
+movl,720
+pop,576
+sub,512
+ret,396
+call,396
+nop,136
+jmp,124
+cmp,96
+inc,80

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_results.txt

@@ -0,0 +1,19 @@
++-----------+-------------------+---------+
+| benchmark | resulttype        | faults  |
++-----------+-------------------+---------+
+| ip        | OK_MARKER         |       8 |
+| ip        | FAIL_MARKER       |    5276 |
+| ip        | DETECTED_MARKER   |     126 |
+| ip        | TIMEOUT           |    1268 |
+| ip        | TRAP              |   22923 |
+| ip        | ACCESS_OUTERSPACE |   49663 |
+| mem       | OK_MARKER         |    2469 |
+| mem       | FAIL_MARKER       | 3421611 |
+| mem       | TIMEOUT           |    5076 |
+| mem       | TRAP              |   31188 |
+| mem       | ACCESS_OUTERSPACE |  145656 |
+| regs      | FAIL_MARKER       |  137759 |
+| regs      | TIMEOUT           |     562 |
+| regs      | TRAP              |    4055 |
+| regs      | ACCESS_OUTERSPACE |  300376 |
++-----------+-------------------+---------+

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_resultsdata.csv

@@ -0,0 +1,16 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,8
+ip,FAIL_MARKER,5276
+ip,DETECTED_MARKER,126
+ip,TIMEOUT,1268
+ip,TRAP,22923
+ip,ACCESS_OUTERSPACE,49663
+mem,OK_MARKER,2469
+mem,FAIL_MARKER,3421611
+mem,TIMEOUT,5076
+mem,TRAP,31188
+mem,ACCESS_OUTERSPACE,145656
+regs,FAIL_MARKER,137759
+regs,TIMEOUT,562
+regs,TRAP,4055
+regs,ACCESS_OUTERSPACE,300376

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_resultsdata_writegroups.csv

@@ -0,0 +1,16 @@
+benchmark,resulttype,faults
+ip,OK_MARKER,8
+ip,FAIL_MARKER,5276
+ip,DETECTED_MARKER,126
+ip,TIMEOUT,1268
+ip,TRAP,22923
+ip,ACCESS_OUTERSPACE,49663
+mem,OK_MARKER,2469
+mem,FAIL_MARKER,4733571
+mem,TIMEOUT,5076
+mem,TRAP,31188
+mem,ACCESS_OUTERSPACE,145656
+regs,FAIL_MARKER,484479
+regs,TIMEOUT,562
+regs,TRAP,4055
+regs,ACCESS_OUTERSPACE,300376

queries/07-07_18-13-17_tacle-kernel-matrix1_c_fail_traceweight.csv

@@ -0,0 +1,4 @@
+benchmark,weight,area,injections,pilots
+ip,9908,79264,79264,9908
+mem,450750,3606000,28776,3597
+regs,55344,442752,101056,12632

queries/07-07_18-13-18_tacle-kernel-matrix1_aot_fail_mnemonics.csv

@@ -0,0 +1,35 @@
+mnemonic,count
+NULL,39770
+mov,1764
+push,828
+add,352
+sub,308
+ret,168
+call,164
+test,146
+lea,144
+leave,144
+je,132
+cmpl,120
+cmp,88
+jne,84
+pop,80
+movl,60
+or,48
+shl,48
+xor,32
+jmp,28
+movb,27
+movzbl,25
+nop,24
+incl,20
+andb,17
+dec,16
+and,16
+movzwl,16
+setb,13
+sete,13
+setne,13
+jb,12
+jbe,12
+loop,8

queries/07-07_18-13-18_tacle-kernel-matrix1_aot_fail_results.txt

@@ -0,0 +1,25 @@
++-----------+-------------------+----------+
+| benchmark | resulttype        | faults   |
++-----------+-------------------+----------+
+| ip        | OK_MARKER         |        6 |
+| ip        | FAIL_MARKER       |    45015 |
+| ip        | GROUP1_MARKER     |     5577 |
+| ip        | TIMEOUT           |    27443 |
+| ip        | TRAP              |   311002 |
+| ip        | WRITE_TEXTSEGMENT |     6781 |
+| ip        | ACCESS_OUTERSPACE |   689840 |
+| mem       | OK_MARKER         |    33565 |
+| mem       | FAIL_MARKER       | 66652204 |
+| mem       | GROUP1_MARKER     |  7867241 |
+| mem       | TIMEOUT           |  2508872 |
+| mem       | TRAP              |  3515082 |
+| mem       | WRITE_TEXTSEGMENT |   715598 |
+| mem       | ACCESS_OUTERSPACE | 12688926 |
+| regs      | OK_MARKER         |        2 |
+| regs      | FAIL_MARKER       |  3423004 |
+| regs      | GROUP1_MARKER     |   167537 |
+| regs      | TIMEOUT           |     1917 |
+| regs      | TRAP              |    37902 |
+| regs      | WRITE_TEXTSEGMENT |    58377 |
+| regs      | ACCESS_OUTERSPACE |  1159997 |
++-----------+-------------------+----------+