From d0fbabbe99b74089cc6165d3fb49c6690990ed80 Mon Sep 17 00:00:00 2001
From: JamieRWright <jwright8@sheffield.ac.uk>
Date: Tue, 11 Jul 2023 08:54:23 +0100
Subject: [PATCH] compiled code

---
 BCB/Cheang et al/Figure 3b/Figure_3b.cod |  52 +++++++++++++++++++++++
 BCB/Cheang et al/Figure 3b/Figure_3b.dll | Bin 0 -> 32256 bytes
 2 files changed, 52 insertions(+)
 create mode 100644 BCB/Cheang et al/Figure 3b/Figure_3b.cod
 create mode 100644 BCB/Cheang et al/Figure 3b/Figure_3b.dll

diff --git a/BCB/Cheang et al/Figure 3b/Figure_3b.cod b/BCB/Cheang et al/Figure 3b/Figure_3b.cod
new file mode 100644
index 0000000..56e3d6f
--- /dev/null
+++ b/BCB/Cheang et al/Figure 3b/Figure_3b.cod	
@@ -0,0 +1,52 @@
+; Listing generated by Microsoft (R) Optimizing Compiler Version 19.32.31332.0 
+
+include listing.inc
+
+INCLUDELIB MSVCRT
+INCLUDELIB OLDNAMES
+
+PUBLIC	foo
+EXTRN	array1_size:QWORD
+EXTRN	array1:BYTE
+EXTRN	array2:BYTE
+; Function compile flags: /Ogtpy
+; File C:\Users\piano\Documents\PhD\hyperproperties\IsabelleScripts\Relative_Security_Spectre\Kevin Cheang\3b\Figure_3b.c
+;	COMDAT foo
+_TEXT	SEGMENT
+i$ = 8
+foo	PROC						; COMDAT
+
+; 5    :     if (i < array1_size) {
+
+  00000	8b c1		 mov	 eax, ecx
+  00002	48 3b 05 00 00
+	00 00		 cmp	 rax, QWORD PTR array1_size
+  00009	73 18		 jae	 SHORT $LN2@foo
+
+; 6    :         uint8_t v = array1[0];
+; 7    :         return array2[v*512]+i;
+
+  0000b	0f b6 15 00 00
+	00 00		 movzx	 edx, BYTE PTR array1
+  00012	48 8d 05 00 00
+	00 00		 lea	 rax, OFFSET FLAT:array2
+  00019	c1 e2 09	 shl	 edx, 9
+  0001c	02 0c 02	 add	 cl, BYTE PTR [rdx+rax]
+  0001f	0f b6 c1	 movzx	 eax, cl
+
+; 10   : }
+
+  00022	c3		 ret	 0
+$LN2@foo:
+
+; 8    :     }
+; 9    :     return 0;
+
+  00023	32 c0		 xor	 al, al
+
+; 10   : }
+
+  00025	c3		 ret	 0
+foo	ENDP
+_TEXT	ENDS
+END
diff --git a/BCB/Cheang et al/Figure 3b/Figure_3b.dll b/BCB/Cheang et al/Figure 3b/Figure_3b.dll
new file mode 100644
index 0000000000000000000000000000000000000000..104015525759aa2eb1f482b20b5eb565c8c913e3
GIT binary patch
literal 32256
zcmeHQ4RljgwmxZ_{+ASOm<p%?Q>KdWYJ&<CG=)@8HPx0M^=T!9Hic-L^d&d)^PGVi
zI#RB2@f00&c<=G5qq1~d)$wVIE+?frEn4PP#_@qaW5pkCt;?zU9zTlaef!*-Hk3O0
z)~LgB-MiM=d!Mt<*?XVw{M>WX<hJ7aEi9QamVy+EG1d-FmtD}mPL4u7?(ALT*i#vM
zr?eZKd#5Z}<qcXI1OAl(cY~$I?eqC1%L<Pr5b{~PK8xe(#g+ztt!HLVPNr2eT|RYF
za?ZjJD&r}oBvffazG2RxD&l7p9;zBA^oJ_X7v=9(r3!wqDpT<HMLqAFgBt&!DjVhA
zIqwO+$Xm0DY>)0qWf^0&zer<0&-_hoTsOp~TC$SHS=bdQDOO93x!{x-+h8C{auQ>y
zB;$&6)`tv%h%1RLM^&{^oSmFkOB&ZQR)yO3R>msT<|^I7*iqq7D~vLBKE$G%7@MsX
zjm6ql!B%3s9mpfzue)YSo;4Db@0Ej4$kcbOACSalVQl%#K&@MHGuAl~Maz*UBVC1*
zaM|H%rdo}alg|xE#1V7iWoIlpvr(<MgeD*QDty)_)`Bsz=T+-noB`bqq)ennq=d^(
z^@@sW>Q*uqqQ18wk>7Pl374Jf1w8fs8pftmy(kjZyA>(nvNN_IA^W2id+8duERC^&
z^6?<Ef%CxCr-3{Vqz5jfY~xQrE~T<%BsCCuuMi|{9LT|RkSZ$Mb~?zTq?k)tb2i94
zl0L)48fXR51Mib`oa!ARZ$BsVksOf12_Sb<i?hh+mz3?JDo02<OyqqcZ&Kxj<nkZ|
z^bVE1X9me4%U=<Bg0yyOTSM6=smc>X9wc(e1o99`1=MMUtlUo7-DLS(YP*Kwdz-rd
z8pY=&?QBv!N>!#&ixx6}9cllaV!nb}+(+6Ws&|CQO;n|Uy!BJPN6FqaDjQE_ZB*86
z1eptk7zLf20tm>Ryu^428&NRd^t5@LpD`XW#(dcL4rU}}Cz+n^>?)3SjReZW9~Cz5
zljej!G)RR+CWJpXNSW=lz3}i0g<Z<{uVS%5qtf<eEM|H-D$2^`KH>xCpi)J1)O1g$
z$Tp(Uh~*K9w^Uoxd5dJt<t?{bEv47MsfEj*I^|Dndz4lf-WWA)?13?*37O6NH#w|!
z`!j~{{696I(A4}QXt(i2WGF0U%5iETU9I#&P)dkQMmrucpLI3$Hzy4nyHbQX-5d>_
ztK<m>k_GxdJB7acO6W78?>08VC~cwk;@IYwm5*V|zA+ZMRQU}gF7M~z*-Wx>xkou0
z1#p`0lz+dA8kEa_;BvB4&bj|rjFrY-i5cGk>H@dHBwLir)z%^|OV-(3zSYWskEL{3
zR|l3XQ|^MPEhF&!O_IR&S^!#P-+W9q-iR2Qqw90j0PJvE<m!s`v=|*wDCfYjK-UtU
zzYYaSp^KGyC{tee0%Q|NxL^g!8K8I<Iom$_=KoSAK{~vD(i`D-4a%<}%Uy%5YDe}U
zx8>XQgv&4Rmg_9e7JGh6CFTK7zvfyo5$xsiko-BOLi4_mX^wgO&5W&2vqc9!Mi`L=
zvG7sD>M|}Hw=TlSVK_6p9o8b61%r7p^V#<^Chu=S2`1sjCsB&gk^dV*qgXNMBdT8}
zs($u)TosNPLKnekF`C)-Q8PDmy!kL@w9<-s566>K$I`fXotXKN`v7uGGKOQxA^Wh$
zCjn&KqjWA>zEh=!oDsRsfE7?Qm=~`bGkah{tvr}&dxNxc7fqQp7%_Y4GS{+%CHgnb
zk9cFmQ>Dd|Dkf<cj}^SVZFs>Be1@?^<&m{Ylgd&qAC+I{@+a67LPn+KSS;q0yX8M}
zn*75P9CO<>FbQzQooU>@l*=E9wI255V_jC{$IP{x0E%3e&s)lJW9F-nlcW3slIN;&
zq{5=+r&7KQtF|JSclKMj4YI8)m)kmdM@(F>bPnx2mK*;%TGS`Ya4fP>!8waRTip8g
zjQgfTD(MPId?do%w<kvU7;^Clx2f`Qgc~UTEh6l&jkw|_M<;JFdRCH?YHSQg`jA~l
z*>CR1D0~5JAq`9}56=%`=VPJNm^lkUjqKjTEwC$At%8$S!Kc574?4=`qijIIjh`yw
zPEm%u026Zguna#+>tQU1aJp4_L=}<{Z{Y~;6pK=P1WTZY6a&v|Hp#BDrgUDZ=^00Q
zUPUB3ork0O&g33Zkjf+38!93xdn!tLq_axp@@!u6N+7FLE=^CyjjS(_S|08!9DJu-
z?(DK9-nPiBxCU-e9r5Np(zN!9>lv$?V+c*=aLJQ9n`YB<QYfb*3tM*G9G-958a?s;
zM@BqcPAMn?e&~+q$4qpwIVw#VR&bf84;ndw%(F#@xao-;2SzOPaj|+oY%>fVQNtOg
z!p;Z(E9|5xzk<QRGnCW7a4TuercGK(DUJ?8g-n~_L@+fgWCJ(IAgtg9d5`KVL8mMc
znh+T}P1&wy(v<ZO20t3Zrike=Xq9S^6Dw%zzMk&Uk~Lpj{Ksf>#`+&nCZPp($_e2w
z459I2E9CNCE_cVw_iv@Cyu^B)?6g*DyFxwP_9QFaf3P(?mKC3I!|)6XBBtm6N8pr;
z33=QjRzl&xJ!qs<3I%qa`;a>cBMqN_LnSfi-iHu3Y+nqm#q_lC0T^uF^DNymOpdNi
z#=DVMvIvBaKO<ZPdU?ugXp2k+@cs+R2S420MZw=NGQ;DRdwW&e8|HJEV)B8|%J4D6
z>YJ3KXoq1fY<?qTMNf*!Q5O!!fQ@=Km-4?Ad1)p_%vNXe8~0vG{pyK*W?FAFpaS-S
zOfbq4NA`5E-y7e;L%u<b7((hW!mr{?=<P^sV@W^)$CgfQbr|;?jKxB0cumf62sjjV
z5KDfkX^vPcu6A{;l;($)IH&J6JyVs(!@Ki&@++oiO2vA0MzUYxEqT`Rl2@dB`HF03
zNoOEaUVs(rEQtoNzIPW6zHQsbaYLt>nHOGXWj`Y+6YC@uJV`8@{IQ@ND|`*_%?Ffw
zKczDXFwWZeMktNnZhjt5!Y2<?e0&~;mTf*DrEJ_6%2wLZ80VVtU~wQ5ys2%lk*-4{
z-1iTJ(v*BW;|!WOZg-KKS`;f^q%%hTv5Dgrxcg+!w13R6BnzgE{iw|4SJ2juf`Q*5
ztN9aie*Gsv{mA}F(Ifj~V#`$Fz`pB7b&&}d%z&uv$8?5X$|H|i?YL3%rjMeS1oD9n
zJf5<cd0CUXqsTAsJ+~v7W=F1o3OCQ8()K=l9-^2j9AsnWV;d;2e^pS8NAB4VC6`|=
zvqfX(L!<$`^LV({Ivd(ZztD<GPVDS0PHT}9CzVJ<AqBF9WRnDoZBNYnxG>$^L&^wk
z2QAIy29qHo3QOB@;=qVS@i@@D38M1zG~{Kq1rBn{alEU<<FFlk39Z?fdBq0Ca0=uR
zXgI3ad8BN}w6%+5PEM;(fxOvc=1U-Axn*N|q(^wNl1U)T+pT>7i#NSMn0>=pAz@1V
zzeJ1(b&YxoEF6&qtCR=u*_z13%ulap?6AXHZD_~(XLY7B^c3+>i&3j!;KIL%O^oh#
z>i!lpZ$fJtmN^~j{VhH854?us{??<dS<A?pHHSMk!s@tNvcnxmAu!xGv;~)Nw?46J
zn4)LEE6xU~@TBU5f0}dRPQc|exO}Xsq$b$VADSHg=lqn=1bML~a$EoB^&f<fCf#Cg
z`kdMCGe|k&27spz+W5Pat%Q3^K9^nT%AKmLyb6Az|HRzz^NfW@&ioyo<9K9#6la^k
z)9|!KAmE5ocqfX(UFp2!?ZAL~#}V!l?T~zet-C9Qt*tl&C)#>5^6hNxM$lX~;E;|K
zF*lc!HRD%TfK7jiPv4ER!D>VA$Y7$5Tdni@33bvsN--#V&mF1R+beA2Uhj+;XHXkF
z!$-^ypjr9!X!-O$Ub1_&8RvI5g$e{RATNa+6A$5uhN#c51O0^wb<Z8EE`smm6nqbS
zT`WTE!?2aSWV#nKPrWD*^ekfjiKvPFF1n$-Bznt46m6uUi1AB`cT50A+xX+<RCCw{
zhSzLYZFHPqV=RDRD~{1{OyLvlT>$WgsEBr4V;xKaIpBvwqyW!)2Xq>E`H;s1FCH^G
z6fsT}4ti)VccR-preDT^;c`y14093lU4ytG3DoY<l<{>la*WEgMQwXbtq!@f%=U&u
z-dEZ*<dZ!0rA?oDeV%fM{IWb`+fy1@Xei6-GqsjBeR8?S7ivkdmSw$y^_L<a!{(aa
zvc#Glx`Bst7T<u_3x+O@nRvIc1R1u0vH8(d1Ct8pFHcQk(v<m)#3mZsjvdG2vt_lF
zcNp-&3GJrb^gw4Y&mkKRRO3U7aF4;!V*CTd!8DY;2%$X<wHy)tMaj^u(<p2N;*jY9
zH6<Q~Y1g|M!OXI(PPDxXO}dSb;nYpm9W6OKA)0m_$}@%kMJ?Ehf@iT2vX(O=s%}zn
zEow{-24UXN$2$*Ncvc@r2Q6H7SS?e#=5~dym5nac4)>&Y8?S;ux3m_c6H@8nE{ilf
z++*oBUWhFA5-4nt+EJ^|an626$^H;F99XjU&+8B6gmdzswYQv^2}YYmAqEU*(;{q9
zxvuzB*GB&PW$JTxZ?7#n$N1nsimmx1|FMGe@E4U>!TEyD6tqatVnJsKdXb>B1)VGC
zJV7rJ)Gp`(K^=l#CTP2$y99ks(B}n>3c6?=`Lzl<P0&I?&lB`~L6-?yBxtdqvjn|J
z(Al7EhOXYx32P!&Py;95FTA>S9RVEy9RVEy9RVEy9RVEy9RVEy9RVEy9RVEy9f2Pa
z0(Et!v*}}gd}7l-R<{!L1)txdfABIEMtYf!fR2EUfR2EUfR2EUfR2EUfR2EUfR2EU
zz>gIH{2~M2istf%n=9<}6}=k=j(5kuGo7HbDDR_qi>T4nJFHM!v<|mWQ4(tW)agTf
zHBQFYp75Pe`ZA9*lCxtE{amE1QC_-=%N5I&-)csSMt=trCPZ`Fo~GIOMo-kVwNvgK
zUFpX<CVIbg1at&+1at&+1at&+1at&+1at&+1at&+1at%l0r5o#o#+VY2<Qmt2<Qmt
z2<Ql$q6nyOrW&E6!?e>6rN4*EvO#;l>uB3;YPm(@qt)Vv+b0$N@CCVAd_@|!YrIn9
z%QgO8L>7N%F5U^n=(Sms{YW>emg73Sm5Jpc)k9aW>C_rJ)e+DU&=ENG5m>a?vDkKJ
z_tkA3ZI?g!)xB37opWRb?Rg95Rxb^D0>SD=uiNLZcKB;T4IZBqtgc+;s9xxAX!O>5
zEGxXe>dU+<LjjM=wgPXvUZM7v_C!i_;YGswr6Zstpd+9o@Es#C9`EZjOBu{uo5swu
zQkl7UeE)erRo_+pCf;0qB{t!ic*_-Ck3;TA$g8DzCllTSm0FxsIX*LmWzI@xnTt{z
z$wmq)T#T3OU4wLmX5)OwKBO8gzZ&vw33|$h6ZE5f#C;i33@l{<V;K`u*~D2UHZd@v
zKd<rh<>Z$hecpnNF1(QbHuxb<muR~vsnTFdWhV63g#Ma}vl@jiCxzwA%3wLgsd#}K
z>SiRd4D>1P=OnK7xhR9;n95k(@ANYn`%k17;g`6um1JN^usUo*YpeC8=p>$(&hl!J
zmZY&f#F$r{tH!AHdDzak&8H=?G{fm5{>?^=^)6;Mv@^B0h)s-LD$6WRRegO^{_A`T
zY=P@6BQu?*Vk<CEp*U3@1GQ*$b}A!4pKefmt$3vut?78$hWvJ<9Z23>ybBDRv5`Y$
zZGAnf^W%Y9zjOq?BLwILfON(Atb~UWny2x%yzjlyvajw{b>32anzQsQ#8|qZAZj+A
z(>T@BuTvKRJI+E|D1{h%5PTQTLHi}di*v?CBrD1v0Y8AV#x}^6cwuq`sTcBg@U(o!
zh9FzP`;ht}9|u4C4E+Bp$hF|>kr;kOzX^Oh(o>KtC*sAENDj!`z<ZJIfcz%-CrBG1
z9|gBeLR^r~2QNi>3^E6Q1gRc!6nqG2E9B$gxs%}oaz3~lX$fQrJcd*Y*^0Bvb4dA+
z-vduS3;*;2avu16q-w|<{5GUq$WMX4jFb*p0k>HYE96b!yOExQ{3iH}DU7`Uxf=W#
zq<+YK;Mq7s4MCm^ejO59%~%h3(m99$axVBxq+G}!fnRDxpCNArw@+iN5Hg#C`bc)j
z7Vv3E95S6>%aA4mXF7+{*>eMA;;WH1L8fzJJJJh~>Fo9v(mceYUpfMWK;MHZ4j*cq
z{aVdW(0Gx?of==E@mn;$MdJ@@yj|n3YW!1;r#z(EwP;+;{cv=F=J$GyuhaMzjX$pO
zKR^7##Ppix?>&tl)_AVwzgXihY2`O*`P($UMdJ@?yiMa*Y5a%j1@0TIBc5hatUDN6
z^T0@1JIWN4rN`$NRL>#CHUBYECsESpql$(;9}{QAx0e^CRE0c&wUwSgoj=gv_SJY6
z`a^hMcz{hwy4)iz3<U!CsJ=4buki$f<+ZFJp>)ZrfX7{nLiQPzE?ygyJPk{{4W82A
zW%x*+BvxQ>c!Ta0$cf5M?}~ssuy&!lzCOtO$>lz;<aO73*LfB@y+Mh?9Q#wsBB_3%
zyHUcQ0v7ra3jW{bn^flX`)>|4UKaAzNM66M%qIobGWITMuJHz>kh^}VZ?)HlXquDD
zgAUJ%(8`sbKxM!aL<d;ZxYW1G?W?W#)RwKO@idYN1W6rb>y3*&($}hA7k!i5aM4)q
ztMgyW?tpy_5r5z^kDDTm`)Q)u75>^#y@v~T*W$CYvPD;wIc>!=>46mIf0t{aE7<6%
z@z!~3Txw8=q5$PVsn#W}ZS=UjaOA4>1f_s~t*ai;Fg6ML8g)2ao_H7VZ$-x_b=7FN
zUBVhX4M7iDU$b!0(yNw~SCm~at4NLGA_gyB2?#W>i$`Rahh55CLC-2zoq)$hLFY3v
zS*QMa#^(+M{HtB=z)GBpY-&q&5M7$e<GaNh@cZbGJdDjcp@!e*S>u&l5={x5te7j{
zS&8m>0xnHcr;RV0%Fs<uO-S;@RcfQN5KBOExiK-k5<4@VbNy4uTXQp-ppZ>KsVc2x
z)IqNg)tS4|JEI{u1CwM1EX=@v*_ALwXVhOX<ANC~DDw!f8u}lz`lTZ<76N&>Cw}i`
zbiQ(w{^D=QkM{BKPfxTzTCeB-&Il~Wb0|Vc-)Y%dxU*+x-_HFz`*$ikS)2BE>K(Z|
VEIW#J*mo@7@pq0?cmF*g@PE1ROKSiC

literal 0
HcmV?d00001

-- 
GitLab