From 2072cb50b6e1008355ecdd1f5fbb8128998e11cb Mon Sep 17 00:00:00 2001 From: JamieRWright <jwright8@sheffield.ac.uk> Date: Tue, 11 Jul 2023 11:47:01 +0100 Subject: [PATCH] this --- BCB/Cheang et al/Figure 3d/Figure_3d.cod | 64 +++++++++++++++++++++++ BCB/Cheang et al/Figure 3d/Figure_3d.dll | Bin 0 -> 32256 bytes BCB/Cheang et al/ex_main.c | 3 +- BCB/Cheang et al/ex_main.h | 2 +- 4 files changed, 67 insertions(+), 2 deletions(-) create mode 100644 BCB/Cheang et al/Figure 3d/Figure_3d.cod create mode 100644 BCB/Cheang et al/Figure 3d/Figure_3d.dll diff --git a/BCB/Cheang et al/Figure 3d/Figure_3d.cod b/BCB/Cheang et al/Figure 3d/Figure_3d.cod new file mode 100644 index 0000000..b312462 --- /dev/null +++ b/BCB/Cheang et al/Figure 3d/Figure_3d.cod @@ -0,0 +1,64 @@ +; Listing generated by Microsoft (R) Optimizing Compiler Version 19.32.31332.0 + +include listing.inc + +INCLUDELIB MSVCRT +INCLUDELIB OLDNAMES + +PUBLIC foo +EXTRN array1:BYTE +EXTRN array2:BYTE +EXTRN N:BYTE +EXTRN S:BYTE +EXTRN __ImageBase:BYTE +; Function compile flags: /Ogtpy +; File C:\Users\piano\Documents\PhD\hyperproperties\IsabelleScripts\Relative_Security_Spectre\Kevin Cheang\3d\Figure_3d.c +; COMDAT foo +_TEXT SEGMENT +i$ = 8 +foo PROC ; COMDAT + +; 5 : if (i < N) { + + 00000 0f b6 05 00 00 + 00 00 movzx eax, BYTE PTR N + 00007 3b c8 cmp ecx, eax + 00009 73 2a jae SHORT $LN2@foo + +; 6 : uint8_t v = array1[i]; + + 0000b 0f ae e8 lfence + 0000e 8b c1 mov eax, ecx + 00010 48 8d 15 00 00 + 00 00 lea rdx, OFFSET FLAT:__ImageBase + 00017 0f b6 84 10 00 + 00 00 00 movzx eax, BYTE PTR array1[rax+rdx] + +; 7 : _mm_lfence(); + + 0001f 0f ae e8 lfence + +; 8 : return array2[v*S]; + + 00022 0f b6 0d 00 00 + 00 00 movzx ecx, BYTE PTR S + 00029 0f af c8 imul ecx, eax + 0002c 0f b6 84 11 00 + 00 00 00 movzx eax, BYTE PTR array2[rcx+rdx] + +; 11 : } + + 00034 c3 ret 0 +$LN2@foo: + +; 9 : } +; 10 : return 0; + + 00035 32 c0 xor al, al + +; 11 : } + + 00037 c3 ret 0 +foo ENDP +_TEXT ENDS +END diff --git a/BCB/Cheang et al/Figure 3d/Figure_3d.dll b/BCB/Cheang et al/Figure 3d/Figure_3d.dll new file mode 100644 index 0000000000000000000000000000000000000000..d5660eef78561f771e4ebafa3d8e748bf350273a GIT binary patch literal 32256 zcmeHQ4|G)3nZJ`{@{bG?Y=%bu=m--Ui?AWXQPMy=feGHh2?hc}Yjg<7OENW?q%&{$ zSGp1>v4-bt)3aDx+ueiIx}~KSyDkLn?wJrPL7@iLwNblks#ISL$0GO#knZg7yYEdh z32F88tgdz6JLi7icfar6?|%1p|GfJqGcOfi>0+sju{5N3oUv|jx?F<(d2$}+$yYx< znLU<u{F-i)_xLqy8vP-AYp|suSkr8;tqBBLWcx<R9t;QU{(#+mbCtchrB0e}v1B`R z*PdDTq*|7}R+&g?rQu2|^35f$uOfbB;p?j=3;XMp*9rZrtI`F3WmUG|zZd2FC9mlG zwN*LL`%6v<zS>{gNWRDSq_Ui`y1O&jqT-*`C2VKdEc>LC$#%8^nqp0B&IPB$*bWm> zl2aH<CmC0Qvwma<L|iFs1Bz;u672H4ripE3Y!yno_ApkdRo7@2W9LPKx-!Ptbr6fb z%Ge@ZH4)q22w%zdb|a5?|I{^KmbS<+p7MZD$kcbeACSalXKcg#U|o$|!`PJRP;Ee( zfwU4S>2jf|`C2jNp*D9Q5l76)my5C3{8p{t8k&6Qt7x++xfGm{KfhM)hAh~2BV{AC zA|+ieDpyogTi?J~nEJjSiQ3(UlyteMTu^Fisby>~m5U)!x$Q_vmy5BbN!d@ec#N*0 z+cOv&s+j^(37m%-t^j!+NDoy|cE@Ky){!ni(l>~lDg?QDGRVbDkQ&nM{|v}a$*_X5 z^KwAEBuygEdw}%NA2G#-^725e<nKG={zn!N*Hn<7QjP1$sfDVkR4s#~bRzFik+-Sv zt<>a2a_|=EF4;h4ljo^a<0x6zlk|1c9i}2ZL>?m&w}KoXX$f_jQOx&K_C@ksMs>SL z_a1fsO^R<TSu4rVOGUm&?LJ8ETgiHmV%|tK9wlog>8wQVq9PsC+Ih<MlD{vK?po6I zk?v(P$Z8nGC>Z1ufPnRY`St)~rG25#TOU!C9v-#5a5^5h9%#?)YGVvK>j6tCN?3p1 z2j!G4Q1%wbddG*(Bc}^HPRb>bH%xLNk*Sf3CONyCwjCaMvanaZ@W*(3*sOjR%z7Xu zbRMOj_|R+=s_2MW@9PoSR#Y1ApYpu3+L6gSWk)XW-0rZK-GWB#TsiAi-f|vQcfxUd z%-Y@uXR05Wodfr{9WK{FQ)J1%HbZIc_!a08^Usi>u+*$eR71X5eGGy+n@Ae!0fO|K z5p~q^hYFM`#9Z%)g|AgFX~pfZKjjtnpWg&~3hYPB>*18PR#$O+=QHZ_DC%mDhrguW z2Z<{KJhF(%4zBd68Jd@TukzI6RKcVCnk%VZ#d6p887qsQh?|c#;aEZe4yQO{T&Z>x zaYc44;>vah2R`<)+j|dTDKm8&Ty;$Z)L)<z*scShMXsF}6mvOZ=!o5E(E@Ox*&<(W zysy)I9SrIuG%V1yN0w}aA|-r->VQt&_dZA~NTgr|^bAlugPilEYv;3SDx`M@roR+< z)ucutE4{;ew2nNAT-S%|30I!vo$Kx1PFH?sCFTLoyk(u32riFuM!ATo&~Y+sEwQ!V z!PuP{&e+hK2qU^Q9yxE?T+S8q_SG0U3}^Ncx1&gaoENucJiwST&<PDDVf!yo1EZt- z21BDdFd;@w_a~dAiwRRCZVF!yr^Tq|JW16&u<?#}F{9Nz|4lQ%oT@b}PfnDH+q%97 zkmIsB5>E}gMq2y@fK0R~UyGVYS7{+<Mc13K0*Z$75@qAI3b@b;52rg{BCFC%Q)UZB z%vE-~@Ak_U>R&K7lB*z|5<Q-DF-d!Qyx_=pM;7eRIgBMLjILFhRCbSYUU`u#Z(&mi zo7Jyfh{wIk5#`@GP5zMyj=Aj{nhv;<8-(my%azk&tw*GMtjmi0xXpVHKvBx`d1rZU z+;%;3N{lZcd6p(eE9_c6oATvYwH3L%XVA`_ke%hZ+}Xnq#l;0rvuWqC-}dLxqCVM2 zVo}WfIDhdciub%c?|XA0mG*{ZJ{sXqzL^~1F60ss?$G3s2pcK?AtF5F9BqnQ-95b1 zT+u*{RAXa!uOHdvl>Ok2jKdeu7Sh1v^2m}~vGcKTdfayIZhaSmzrs;muq&1{qLFyP zizuKug029%p+SqL;ZgHE<V7XO3r1wLqwahc%OR5KP`flCWt@L1GwnSrfj%+}9ngJJ zOWxYD#bwrm?##T3Xig@N#PYqVeL|7Wqd7Y&qG?AfO8exi$`nryFFg^QRHl?=ruOjC z{$RQ%(o;D6JCD-S>%9Et1>ZweT0^|!s63~;;wy~RmzcscIGW_CJ#CBV`6+BUGznXF zeF@LE?uuQ07nHb?R!{`|&~w66or*4Y#N=y63|!%v!)A^k^PI6W-1?~HI*eHO&0_6- zxZgDVo(Aa%6@GsGj_{MAM&NMxO7$Z0xRpGRLz}dmRva77Q2!p8{id;C>R!kPZjiU4 z7H*LDX>BFh)WyOQCP!DO?OG;7ZGbR*dIFy!rd_bAZjiAB^mX4v_h{LXuP^=!v^it_ z52>lBft_+{<b6|kir5Oda-1ti;<meX(NtdJSg&{;mHMvGM7KTJLH8eQ4G&F9%(xMF zMg$Sl!*2_maxo!KNn#}w4n<K(T_g<HdA^O@Wf<xB+>JtF&K-x4aO|pr)s9n=0*4(( zpP*ZY)!loK`RmB5=TK68{v6>d(92W*4H{&!fcI~pAAVzJF9m<==n6`B#=a(e?^sd< zS4?>!+z`27+Wb{@5cM#ug&i-29q7q4YUl|ZngJX2Y!>BzD)RDtjF_|D+G75fo2XxX z@pINY%|m#=$6jz2jIzX$eIM*8^RGZnV#E;AAv4-l7bf*~G`5K(Ac12`kG?w0kG>L* zhqv%r%P9yr6g@~R_35?}u~vND+FB{g53ljgJ#0O=Dvw7F=kwGP)`MkYy?UcLPxH<^ zho|&}oUg3N@s{=kvz4V-vEI^H5bOJJ;qc4OlN>j6nwfc#Z4UMglCrT*(!o>2vdNza z+KIx~@!t7@`nPB4OahE2wZ9b3;NP@8j3?yFhbb{W--4Cxd_hiYKN-$ZccU`SH5cB} zr~cTn)#_j)-H1xK@4pbvP;>F@Gi>F!-9;^4sMT|sj8Xg8#BmEee0j^Xe=J!<9<1#H zD9n`;s9Old&_QJN-ibNifH?Sj1Jh&g4aCKkslkDL*Ms6B6DhDk)c0dLL$Br0eGV6H z)V%F<43j{4;Se4;S=_d~P1{kFXO3TcD3xZ%dAP?IL@Umeb@!)1VWDu4joW^=g97^p z6~%b;z5y7y@=Uoi7Pmc17QnlhN9r7lV2ut6t0?5f&fe*D6nSw{iAGg2AX`X2Nw7PQ z#%<pbt~>h37^Ur?vxAzUK!mca8z&BoSPYK?9rr*~H)SBNXf<$<+koR;B_5Mq;A?2j z#%(KhFoshgkHW%H#KoiKXRNz=N#@jO2?|hauDERuL@c))OpnYcPgT#J0anTn9Q^=` zw>?RieZW~^!U^~xlo%1}8ub)dxT8xO)$ijoH<63m{_#%6-gP^wP2E`ktlnCVo+2Kq zF>VzM&HRJd#OQ9P?Qd~gD{9lQlpNCTZ<*o0;k6w1w?2K%+DF%{Epn(GUMFwLi5xl) zf#JTPFSw-Bz}OC9iki?W&IWJ(ZDNv&_G!+EI{{a&<jRG%(%Mk-V0cF4>-lNnsY;bS zde`8^rq?3pQ#RS!E;85mOtMAX0Pyrd8-K5QFX7&q&lO*$dbcL4$H2$7pPU<cp0V@j z%s;Fo1ect_*=G0(JZ%vOIO62~9n_KDOkVnOa7er3h~|?0kUYj$Z>8|{Bo4vJzMhPJ zIA4bmG*?VGq$5Rb%^vb*er*NV+^6~6!#EpkHXR!sOqB6xWe$%ilX0jFgL3@Z(UQlG z3E#Nad!uF>)e%qg3aWYL#yoTTdFkQJHk{u*6e<wNg1iKBTs(v)JEA_r59~9O%1)W6 zEP~(5Dfm7_dbJ3#AH!DqwDmifdD=yRpl4BA{6;E?{Vuk{QySYe4XP%p95w%*;++tH z@jjjy>jT4UE7W{EIL60B0Kr!Rqmh{I80&8Vz#AYH?YQQZa0%pq9}bZMyqtSs)4^kq zCj>7MGddJCXNv~<XfF4l+kMvi6TooA(yUPTZQF*i%L>%)(~XIBGkT25b;g`Wt$W-` zPr36Yw{o(q?My(Hn#$VF`U8^3tvsWgaULy;E;E%+>bLGGYkTWPDG=^VbCgdyf%TWB zT)^g<*}2A%6TX#4ETy+1_JT8Cid*>+^K4|;4#t+m(oIY*T(TiOg~`_}X(cwzy#K-_ zJU-huJNO|JJ~*M>lv{t;6UuWd=ALSNXc6f%xjW4VAP#3h_cI9H87SqB^7l*6Y@b76 zBM`Sj52$I0FszTinia|}pVWi8+fe0*c^6LI<lWtA`8GuB<FDsgBj45(+o5;@8zJkQ z8P;smLt9Z|MkoaLrheY@ik(mD=jfoFD{hB<R__;j!|N3DjVK-I%RFMf9s=FcI?W3q zmA%_*mls9)>_^Nqk;PsD!*od9DAn(tJ>V`K2xG&6C&%F8!LTJ_x%6e+PdaCw1*6TP z5Cev@X%V)lTwh|U>m&csGVQth*fD3U#C$KJ!PY#|e!O7XRvOtEf?g%4UC>#AIs}~~ zXrZ8=7xX$o=L=dSXtAIR1-)L-9}D^uLH7yzh@krgUAm3h%@cI0p!tGM6Lf~4D+RR+ zI!jQ8pmPK*1l@1yJvKgJEyN3|(8xy%tKr>1z(Bx2z(Bx2z(Bx2z(Bx2z(Bx2z(Bx2 zz(Bx2;I9~g`g-ft^l?5up&6X08%g$pi<^uOS|-BC&>09A2p9+$2p9+$2p9+$2p9+$ z2p9+$2p9-_S`ol6FYxVWuDr3c!bM-jyKU&wk;HeSlWcbN_fU6<620_u4Xu(^W6wwp z4JBd5PnzDqSKt(Uy$Rp_q%ZAwqn7TY^s|uiR%LA?S1LBB|ExPL8vk8OxDeHyN81+R zn>#V<t{$ale4$V4m>B&s5HJuh5HJuh5HJuh5HJuh5HJuh5HJuh5HJuR1jH8|3}PT) zAYdS1AYdS1AYdTy2}MAA1Jx)UAEt|b5d9Hc_8t2BUB~<0uj%bNA8!^v(7sIh@hfum z_=<Gy(s`xMH|YF-BeG`~Xz$ETfit`Vfz4<^x=r((u;J}X46pfQ`(WFr+q4n}H4rcm zFcA3UBe1&4UFHAvJMB|D(%g@%Su^LGH=VW6p114^)oVjiFjU>@uL-nNyIX3*%~C)P zRaZ8;s~fkrN<q8=9aQ#9p=wX4W~0>9BvsW0{jDgoT5771{hK6Tl~fxJ`sJ;@s#d91 z4ocNGNt^JJ^kt1wO`xILxv_e=zaboye9k(&D|=%CE!tBl(RGE!3~C@?AYdS1An*|& zFvXV1Y;qQ})nzc-!gOXUo-+7_&uQ<rej9JPuEl0NA8*B?>nX@5lJc4s?{LC<qtc60 zDyL+pvFwGJEPHi&EBQ!6ft&GCz5vn+-G>|U-AJ{1{#%eANU~G@`$_ikZ6w+<rI}dT zQpU2TrL$=Zt!!Fw>R?{$XEso~^a%A1e7uAg+uwzDh|?wNu1={mS<{&n{k5XM*5XO6 z!e&WhmW5f&Qk;$#zM*VZ3d=&D675{ZwLTYRQ5>@vOSHReCf?G9^eePWT=+^cu@rb6 z@uAn%`%-in&&y<abx3P6SRP``E6&wo)cZW*=fmbRQdoxRGo$U>%oyv(na$MAwB8~% zF?Q)JyEt8I>x1%ts%?QSa9wC-)+;n@1qK=vpOnW*JsN}kH6TErmQb8$@k%gS+lizi ze;Vlwl0O#)yibg=(PL#@QxmIi!2`N+{l7(kUi3#-f-g*ZsGxb3c$@q2+w3RnpVQ_U zm8UsI&q9o43JRiS6FHqzIpg}|BCsB3m>(kzgc<uK_(_~!?2z+uKKKDr6XX~;{iB^h z$c=b0@{f@6@T>U8z^~57|D%Gu7+ggvgq(LJV>ckVAa4i1ABjWW4gMI?CCH7_7<&-u zUda2wPa!=A`EBql{Ew+)kaNKoA)SWo2LCeB+mJVa$B-U_JOG|KgR$R2&I2z*It951 zd@IrqAm0oAS)4WYL0%009MT5Jm%!~;F}4fxb>M4}9)i39`~jr(kdJ}Cic|@iUCr1{ zcC@n@eF1+FDGl=5;N{mamIGM^e-^0_vI_3N*=G^th2X779P%LewAp9}av}I~r1g-~ z9E`0)YJ|KGeEl5Mfy_#<xRCCFYzLo%)CHN&o#jY%7#BJ}(wVUjGV#qw{gCN=*Nv2e z`032`pGfW07vnMz00R9FX)wH@bM_-GKUL>NI``^)qs}+!yi4Z~>AYL#&*}WE&eI;& z{MvP{<vu>TRB!hyI^U-AE}cK3^Z)v%k0++*_4ZEb{9T>r>g^Zn{ApePRXu-~&bxH} zu+I1Ee5KAmo?c)d+B4eHLW*@aV_SYWs_TYMg)TEOzhL?$V%+lJXqjZmn2#D7#(Yek z6(3$+owh101-Dj8!TOe9b4{RDTGkTAd%=V3nv@$Qd099Z#7Fg&!IoMn6!O%uf+X#l z#-LPF2PHd4+N!M~S!!P6Z<fkJ%l%CfNvy!+_Tv+M<V0bwe`ByFxOG`gQ&Whwq<R8= z*<aJ--zHUg{UMpd9s7^8)pFCanpPPf<}YhODENPyza^cwrR9!r>+*1*R`$09$^&w6 zE6y5Zxy2up!!=E71DpK;MAMP#3Av?>;f4k&SQ(T;=m3kE*9IDE0(DJNUHO(;sg+zH zNa`rN(_AIVf71M-=$l-FCR#m#`j&O<UijA$X$dZuYADh~J8e|DqNOg}ByrK)I-G&Z zSFbGhI*aGi10>G>KHoB52!F)z*ZXUIT2P3h0Q!(z=acaV5uYCo`Rb&Q9BkR@YXUTk zO@|$S0iogWNr^7t--=G4_0{UQeUUXw%^?Z3Z&|i_?aDQtit+^ui?ledXK2MQ1A%6C z!>H_&*q4|uBsKc#1w1|qI-iltdhHJ^ftp~jWwWm)*no49Q>&>BqE9zTfldBkOMw2! zgOl8t5-kB~i(mH1G$nAlWWJ!(fbK~_pKhtw$Cu4w=qCQ=BTEUBR_Q9l5|n*4m>7PU z%}nHcUkm$d??4qO*;HsXsew@k{Q(qbHLd=6&7paiB=g{59{$U&j43*=X~Db&^E6Nv z6JE8gm{-PSATSXEdAVc1_cA_TInI8=2js`Maqx3v{g1aB`Tt`CHsDzwA!P2g?=9Th mx3_=qz}~^V>Rz@V&$$%Z?%dt>-9@`yyEp8ntZ{w15cnS_M_Ww* literal 0 HcmV?d00001 diff --git a/BCB/Cheang et al/ex_main.c b/BCB/Cheang et al/ex_main.c index 538746e..43e61af 100644 --- a/BCB/Cheang et al/ex_main.c +++ b/BCB/Cheang et al/ex_main.c @@ -5,4 +5,5 @@ size_t array2_size = 5; size_t array_size_mask = 0x1234; uint8_t array1[5]; uint8_t array2[5]; -uint8_t temp; \ No newline at end of file +uint8_t N; +uint8_t S; \ No newline at end of file diff --git a/BCB/Cheang et al/ex_main.h b/BCB/Cheang et al/ex_main.h index 4457a30..b073471 100644 --- a/BCB/Cheang et al/ex_main.h +++ b/BCB/Cheang et al/ex_main.h @@ -2,4 +2,4 @@ #include <stdint.h> extern size_t array1_size, array2_size, array_size_mask; -extern uint8_t array1[], array2[], N , S; \ No newline at end of file +extern uint8_t array1[], array2[], N, S; \ No newline at end of file -- GitLab