From 83b25653aa98517c0534a9a184214852e890002f Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Thu, 31 Oct 2024 21:49:24 +0200 Subject: [PATCH] Fixes to examples --- adb_examples/debt-24-demo/goblint.json | 25 +++++ adb_examples/debt-24-demo/gobpie.json | 6 ++ .../debt-24-demo/smtprc-example/gobpie.json | 2 +- .../compile_commands.json | 100 +++--------------- .../smtprc-2.0.3-extraction/options.o | Bin 2824 -> 2856 bytes .../smtprc-2.0.3-extraction/parse_args.o | Bin 14080 -> 14112 bytes .../parse_config_files.o | Bin 6296 -> 6328 bytes .../smtprc-2.0.3-extraction/scan_engine.c | 13 --- .../smtprc-2.0.3-extraction/scan_engine.o | Bin 16096 -> 16128 bytes .../smtprc-2.0.3-extraction/smtprc | Bin 34616 -> 0 bytes .../smtprc-2.0.3-extraction/smtprc.o | Bin 6320 -> 6352 bytes .../smtprc-2.0.3-extraction/utils.o | Bin 9464 -> 9496 bytes 12 files changed, 47 insertions(+), 99 deletions(-) create mode 100644 adb_examples/debt-24-demo/goblint.json create mode 100644 adb_examples/debt-24-demo/gobpie.json delete mode 100755 adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc diff --git a/adb_examples/debt-24-demo/goblint.json b/adb_examples/debt-24-demo/goblint.json new file mode 100644 index 0000000..d9bcb0f --- /dev/null +++ b/adb_examples/debt-24-demo/goblint.json @@ -0,0 +1,25 @@ +{ + "files": [ + "context-sensitivity.c" + ], + "ana": { + "int": { + "def_exc" : false, + "interval": true + }, + "activated": ["expRelation", "base", "threadid", "threadflag", "threadreturn", + "escape", "mutexEvents", "mutex", "access", "race", "mallocWrapper", "mhp", + "assert", "pthreadMutexType", "apron"] + }, + "sem": { + "lock": { + "fail": true + } + }, + "warn": { + "imprecise": false, + "deadcode": false, + "info": false + }, + "allglobs": true +} diff --git a/adb_examples/debt-24-demo/gobpie.json b/adb_examples/debt-24-demo/gobpie.json new file mode 100644 index 0000000..577abd1 --- /dev/null +++ b/adb_examples/debt-24-demo/gobpie.json @@ -0,0 +1,6 @@ +{ + "goblintConf" : "goblint.json", + "abstractDebugging": true, + "incrementalAnalysis": false, + "showCfg": true +} diff --git a/adb_examples/debt-24-demo/smtprc-example/gobpie.json b/adb_examples/debt-24-demo/smtprc-example/gobpie.json index 5901fcb..5c58477 100644 --- a/adb_examples/debt-24-demo/smtprc-example/gobpie.json +++ b/adb_examples/debt-24-demo/smtprc-example/gobpie.json @@ -1,5 +1,5 @@ { - "goblintConf" : "smtprc.json", + "goblintConf" : "smtprc-extraction.json", "abstractDebugging": true, "incrementalAnalysis": false, "showCfg": true diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json index ad816ce..175d609 100644 --- a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json +++ b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json @@ -1,18 +1,4 @@ [ - { - "arguments": [ - "/usr/bin/gcc", - "-Wall", - "-g", - "-c", - "-o", - "smtprc.o", - "smtprc.c" - ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.o" - }, { "arguments": [ "/usr/bin/gcc", @@ -23,65 +9,9 @@ "scan_engine.o", "scan_engine.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.o" - }, - { - "arguments": [ - "/usr/bin/gcc", - "-Wall", - "-g", - "-c", - "-o", - "options.o", - "options.c" - ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.o" - }, - { - "arguments": [ - "/usr/bin/gcc", - "-Wall", - "-g", - "-c", - "-o", - "utils.o", - "utils.c" - ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.o" - }, - { - "arguments": [ - "/usr/bin/gcc", - "-Wall", - "-g", - "-c", - "-o", - "parse_config_files.o", - "parse_config_files.c" - ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.o" - }, - { - "arguments": [ - "/usr/bin/gcc", - "-Wall", - "-g", - "-c", - "-o", - "parse_args.o", - "parse_args.c" - ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c", - "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.o" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c", + "output": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o" }, { "arguments": [ @@ -92,8 +22,8 @@ "-pthread", "smtprc.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.c" }, { "arguments": [ @@ -104,8 +34,8 @@ "-pthread", "scan_engine.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c" }, { "arguments": [ @@ -116,8 +46,8 @@ "-pthread", "options.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.c" }, { "arguments": [ @@ -128,8 +58,8 @@ "-pthread", "utils.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.c" }, { "arguments": [ @@ -140,8 +70,8 @@ "-pthread", "parse_config_files.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.c" }, { "arguments": [ @@ -152,7 +82,7 @@ "-pthread", "parse_args.c" ], - "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3", - "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c" + "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction", + "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.c" } ] diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o index 0fdc0eb8b7d5a0d23d9e07688cff3710c81040bc..21a1e3a59e0b06869c5c3245f86e29452da8c338 100644 GIT binary patch delta 208 zcmeAWTOl?HrUsLOdwxY4kMPhD2PHM4!N@`Mxu91muN@{NY)*&`QgVAH7rUsLAdVW$)W?qRtkS@qf)lEsw%?A=mCAvl?lM9(-G#T_W@^e%5 zOOs0TN=iYh@TuPXmT55)qyOZItm2GQHm_tAXJUH5Joym&K1PqpjU4ri36mK)+ZpFg y4rCUdJcm<-@y6tXoc4??lNq_}89639a@kLI;NqCv!DYdCVe&zs*o4W9-0A@PfjATZ diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o index 8ec0fdb435ffca29765c53d8e066ad31227c14f3..3ce0e737c3727816b7571b37e63bb7454fbd8012 100644 GIT binary patch delta 447 zcmZq3TaY(FgHd6l=0CxD_xz-Q%vAlvl%)97ip1Q4oYZ3dl+>gWT_Y3Sl+@gO{o>q` zf}&(ys3eSQq-UUK3=}LWN=z=v%+F)c&&bbB)h|sd%_}L@C*Dw5u$8z>-Mm;xSB5cZ z@!DOlE(WPH%z{1T+jGma->N+W69))CgzNdlO;{idrKrFv8`Jtga03vO3^Z)<= delta 359 zcmZ3G*N`_sWAc0>){VNq1f|pSlX5ciO7wwrL1wCMN@{LCkVq=gH8PnzM@UAKK|dou zH&wqhsWh*o6r>8D>dl9RbY&QWCV$iuXPiD+P+gdngMoqJz+^>zammL(76@2CC3s7R34sm2ra7Fcn;r8-eWecvPhJRh zi_d03gXN4&FGMHrGW^FVFnOm@J!8XUOXK~F6DI#Ou4g^U_IAeP^l%xEMJ E0B3Ypq5uE@ diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o index 0d4c65596180d8f7f40b3a8410c2a6c90fac3467..ffe89524375e95e13ce0f22c98f63374da1620fb 100644 GIT binary patch delta 297 zcmbPXxWjOQ2BXDBO)X9Z_xz-Q%vAlvl%)97ip1Q4oYZ3dl+>gWT_Y3Sl+@h($$6YI zmb$4GB}IwJC7Jno4Eh=QxvBc4Nu_xurTWC^=0?)J`8?-IcF8OT2vCF4TtJ!~i1$z4 zC@3!Z2r6odCi{KzLqTyyp2>{7!n`2WVvG<4o|6j&#Wx!WH83(NOx`H`pD|ls%}{wUhcs5-e)%$zZ7@6z3=j4fk;+q468Wlr&H3yQTfvQC~UX3l6f`J$LT vW71?naeKy$$${eblLN##CeIMJU^JL~5h!+GvY>=L0) { - pthread_mutex_unlock(&main_thread_count_mutex); - flag++; - if(f.debug||f.verbose>1) { - if(flag>1) { - fprintf(stderr, "O.cur_childs(%d) id greater than zero...... sleepingz\n",o.cur_threads); - flag = 0; - } - } - nanosleep(&tv, NULL); - } - pthread_mutex_unlock(&main_thread_count_mutex); - //pthread_attr_destroy(&attr); return; diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o index cd720084aa603d01485e74e986941e389d5760ed..5728e048663440305e1a1fc4f4550fcc19c4b631 100644 GIT binary patch delta 734 zcmaD*+fX+_gVAB5CNGbegm?!F1A}lHgQTbr8v}zh0}wDuZ}#EwWMpigJdIaTuwA?e zD8@7~gFyi-nKAhUuUvf*TQ*oUhd~i6Dht#M0k4=KG~*oJk}?K)p=&@s^TY-9d>~;3 zo}J7f?gR)|QBVVDJM+X15U!GdKTr+x#IAbYqSRsrWhl41p0|QQ1#BVn#2&CxCI;2b z>3lbs7-cp)2=+5F3U0n2^o32qJwGWRGgUt^B`H3&A~ClhC$(5VB{iu;*T_USB{esH z@_k7eOWo9plA^@qlFa-(2K|iu+*JM2q|&^SQhj1{b0g{A>>zbOnlX7YqnWtm4v422 zw4gK>kmdm5hm#F~vMh`cVIwqI-N}hSSu3clBbuzoj zZ0Y2WK-n6oY&@E5-(*E|amgi6*-SLq&65LxvWK9u#b~l;CN~0QuRvvM(PZyU-UyU^ z4wY?3lYO`Oq4{-2#v7Y=TG}%*W=#HRwV(09_Oaf+;t!&yDzfC@9W6n5#@=qIk zrqj}s9c9EO2iR&bUYJ~IYtQ&$@=hSBF!?8t%$RIx2NJ2Yv**mPfLL>RGNY9|0CV7# AAOHXW delta 701 zcmZpudr&(;gHd6lCNGbexOfK(1A}lHgM_FL8v}zh0}wDuZT8{uWMu4^JdIaTutU5E zD8@7~gFyi-nLhahuUvg0TQ*oUhd~i6Dg)FE0k4=KG~*oJk}?K4p=&@s^TY-9d>~3lbs7^OEm2=+5F3U9t3^o312JwGWYGp|G+NEc+L>ZYXT<^zeO5?v#c$(B+wnhg3G z`MIh3rAeiEC8Z!$_*8FBkUAjE7(7|gOk8pX#7_)bP?`%!a{%$d$$>!GCs0u%G+Exs zjX+r`Mu@N@nykj;jX+s5sH``dto`JNKv{RFY$%#+=wv~2amg5{Y&@E5-egChYztI2 z6HRvVNO4lONicGuBU*w6$kiEj>9=Mr?9{tp?+U$un*3881w} g2_zXNOWN53^+p283zKKs*>ieWK&-huS=pro4aC?6H!XFy)IsW&dttEy zCc#WlWb)v7k`M+apeU_6MSis_Qvhe(KV6J5rLXAz+krvLXwU8Ve~Uxv{RL#VW_7!l!VO zlLTtKFm-FXNlkvHyk@0G6r|g<{U*(oBi}TxRC0|Q^3x&hmxHDEmxSXg-*ImN@dWs`BEzM-zjgCmfJp0=_yQm6j_+m zly@`a$S;5CrQIoR(dCWR4u$cl-7DtyL^~EQoZAzc(-V!Q_s-e7bn%?U3!9Shrul3F z*;S7Z#ng>AZ53#@L856l3fn=28-0{FQRfr?^n+j9^QQ;9FWvLyd4K+n==-bIzkbb0 zJY+Y?5D#6XPlrkduK`3n><{@~AQNpwn}kmtK8;iEpZsk2nciiW2PS{@;n(z?jEqsP z&7h6O@YONs(@=2zD0=?a82sNFgZ`^A=)1mUy>1wT|EV$P6lbHg`*mZ`kAPl|2&>-&0GH`MV2+s1l>DzJ zfD-@C0{-`EdTRk)1OlCVgMmmi7VL@M9Tt75?nF2k3iPH^;k|*Lc;~JHQaZ-O-e3<> zkxur6!+jZ+cgLeKXv96-8AzsriBzCB2uh?co$3^^U@WfKgQ<8_bcIv#zLdZxnCKG8 zR4ATK2{0x_B+`>kc4w4!!k|=G?2hy$qOnv2tch4>-#$uv!ZDHzClVQMWq33eO^L{! zL==JnGNp4@ptE~dAQFuB2r`d)l*Qu4_3hWM3CwR=n1SXuEy}u4|heA zsc>S;hBZC$Sa?gYqlff%^~Phmo&m)=DkJqIcJv%}{B!WP!R(wvbfOSf?muc-lKMST ziW|BnMx&)P;=Bo%Xz58&H}zI71O(w&u~| z0W;U$9J-!Tao)ikdP#;`h$A_41V-jMmP0SgP=z>=L-*#;Pvy`}tWowOIrQ=z{?j@1 z-2Uvb96F7=<{HeQR~jPHALP)ha_HxC=+!y&ad6xN;~p6I!2fg)yy~6$C;y?BT>b(1 zZ;rwQWkrku;ezZ@AEImS2*#FvMk&EPb! zT^@csgVTU~dH8QLI1O-@hd-IYX<)lNd_05GfOdKKy&0SavdhDFWpEn6E)NGYI1OBv zhi}f{G|*ojUY)^d0J}UqFN4#-b$PfUgVTU@dAK}-(?E53*vjBu#((#wsV@yosDB2h z0SWcb;4~1S{sxElj;)EuvQ=$Y z<_(^0dr+Kh`-&u7mrRsYU{TfOK`}?2uAFXteYR!M7 z?PCY`e@vti@Cv*AosTRfixH8-ceQ<50U%pNmN9E^rzJ+|0cbQP~eZTxQ zfdiEnIFZj%vg`@(`+kllrl^2yFVSE}nCwn~uw4_r_GftM>unE0(UG0*HG09RPM=O5hvptbv2crXbe_!5P`u?+f-mQI~SYM;r}>a1Q zv%`bl*}dnzv(p#6v-iJ}(~BJTLuTF}TK*9nVmbOD zD#kx>RMm}QYN$))A7d3~ze~ga(66o_WDqlKY;M?m0U0^II`q;ec=WNH>QN_ouI*_k zK_qeV;?#k*r~N0+tv!66EHlW35g>=!p0*C{f7*WFdCffhub`rS39?4rcU=G>bZF3y z)*smNq4S5Hu>2?bw;VpNsV4?<;kAb^EPLX>-*cXAR0*3uD?zZ5_&b)cMwLK$nKB5@ zN-%Q%=q3aw>Zpy%aA#P*sVgcDT;QO@;6!)hL>^giH*S6{*R7i|j5YS}e;&iw`QZ@8 zD(`pNUOqGwJanbj`~G`?_YeAyPCN`xQ9JL#ihIC;il8S90QOtwSB+daD;@BgH9QOK zXXWL^fZ^7GMaV~+|MPz$3fR5phJHppUB9dW3pk>h<8O(h{|Wy<>8(T=kXJZ^BPLCG z15;j58B4Upy+pO1J1fNSY0Od2$^*L4D$Q_bMx{eZ{)jVJ<#eU;dn)7NLS^Q)S(Q6j z!F!-b0iDxhQMLgOoQgWrmX2 zt|dNAR8_SfVemaGKZ$(u=W@+(D5ub)=!)Ra=alYR%@NELTBI@_;|#9+ELG@dRmQIu zsLIdH7P^xQC8Ma&vznnSr_dTzXi};8wB~r}_ok-*nTEkyu_yED+ zuGQSZ9NTtLkJ~T5LRkayHT;-I_vCdM+b$7hKz@)#*>84b+k2G6lUkxQYuhR=lpKm% z;x$U3;33U-=`zaGZT2!caFl($(sYmJ_#SbvU!tn)>6EYh@_x!2nBr3s?ONhEQI%hw zKtFU=9@m97YKFdy$||MuWzOL0EL19grZWB$gB>|wRYv8DiL-K<*7uywt*2aFiFc?< z{7A`vU30woJ5z~I6J<%9cQ9`PRDgNS<3!l1YVvjw#l<+XoiwNL%=_%-fwXo~heR&tH;!XF5^e*&Xc()vsKM{A=rbgL`uc9qYR-W zdcspH*w_R?JQ@kXWaF&R?D}Y^zKa6J_1)5o_D7-+E(9y%52U zmd=(?xFyok)zTepd3VdMmY$a0mRP){ujQ^pOR^=EZrQ!3WpB&A7V){^k&&k^R_T92wb*&u{S|ddEv6Bm42`$LCFaYJaQfvvm5PPK}N#$VBk5>g>zu zSqXaF;QK!x899m6abaZS`$#7ueIDuBU*hK%q;vj#WaRfq??Fn>OolIwj4VXDPm`S$25I1=#QbitB7H3 z5%z`z-rNuZdyk?XcC~^}l=*Hbt6AqQ-s3tbuA9{Ijs-KPgUWihBVGE7kr5UoA}%T~ zg-^5jQkVQOg_MRe1`D(1@bD8X7bjtYND|I64>($c(}es{|?1N_Faqoe?dN_86EZ+ z7I9GideASx|F`Dl-^BU#$nOEY8vg$xewfI}w;i(EACg%^kTrgddtlrH;~p6Iz_Ex{lznP`Y#?hIGDJmxZ*U<{ciIU(;2olFYXj6OH

qamxc_zTN`ZbruV_Lh*RAHjpsGrwlLh!P0l=2k+*C3+!|5fw<;}~s5w}4IT zDKY$oDwV!pW%56(WAYXqa-;K4pJ4P|(Xq(Oyh3K+O8+1tU)j4+-=nn$p>iOp`b$gy)7Znnyh+syD%YaJeno5yggMg8Y|hW*yFfEO^l$wKRig$!@A zN>JD$hId*kp=U9}-PSa~OBn96sGn(Jc(1h!{L2|WXng_j3WkqZzW~olhL2emWLGhK z!nzYY*D-v`dJS+Z!;e^70Iz2FwDm1?#A_LT%%XjiHiieSn*jTLE1>xY)>7zfXZR`W zN1(4`_=m!N7}+IpVO3Xu7*OfYkmsm#mNf#AljSxfcS6)b%_zJ_kn3!8rinsX4uXVz z7ruNA0If+ZQ5b91N% zgIm@1Y&D+H7E;BpRPkHoa{Gy>!dR*>mKKMxRAF4L!dR*>c6wE+$R_KLq~Ll+wppJfWNj5aGq}^Tk+vHq z-UFoD`XI^p+3G&aO*!q1q^wP3&bs1#sKQ>WhH^Gcco&d^*0-t9o4h-KywAFxRBv=0 zL~_X5O)@uoj{!MiZ6V~g(!*doW;IedcT|&;PFOa|*}%!URWPSj zuzP?xo~HaI3>U3Mof}u)Hh zo^yOwDIwF{Arw5(x{nmhV5G`gNjWnoE&;7ZIH;d@*VR$Lmpkfz1){SYhD>*z1;zO% z=%1miaJ(B8bI-It36>J#o0P`aQuorL8YpC;78ipgw7i7wFy-z>1yE!BhT%(F9XT`IEr!~093@IlxLdj zdenhODbI8-`AzUJ<(W}Q5w6B5&rC+tK;@amh#ILpS23c7D$mu7sIkh^$cP%OJhOe| zHZ@v#-oZ%C1RAccEv53+Xys{gQ7@r}E6-d;)Oh7-W<(8Go_UO@5z8~55jA9a7BHg5 zEYCtl)S%^A#E2TTJc}7o!BWeWm_2S zk0H>iJvY1V!<^iji)Qw0W+q`hPRJHUENd;=+q0DsoArH2d)~!}-I_pbw=&|G&=>C$ z+ZdMCP7=9|5vMheL~duK$oeRW+`)*;`Y^F=XT)tiML9bd@mOty+{s9>HJR7~jFec_ zl(UnOQl6Q3f{c{$)Wp-lh}Zf$v2`-y<4K4o#7H^MLOfwcCRiUJwg@8?Rv8)E#mGdf z8P4%^Gg4{MYjK_^BUPdzE~=}Kz^00bsHt2JPuBGSvnG|(ZR55d+=M2;<@*iLlAo5) zKz0r;wvp#;1PMD0zOKh0T70KP`SdQJ?K>#ab_hZfh3n(sExo{bZ&KbvU=pq~pqBZV zTI&Lpzor5bcIrCq)IYkYV=Y<36OCoWL|?*Awz;06tVx`;C6nd*0#Sd+cJ3qUjj+ph zfS^P4wT_CmFQmFrw*3gcCi_AA2;~wWe9ys;-bF=(e3__pzltdoQ{KhSL88#TiF*AB zH7F@%3w}yuwvZrUe;HX*SL4e%BFQHY==FhKb_na_1Wa_M(UjFXQcc~S?RdAS|0N2s zx>(}zDiCq~lS&}58WN>@#a&KPi0PDQph=rG*=eRr{F@f?tdpgw-D2tl@}T|rse8+A zf+5pNsLAZdkKJ3g1wef{^`!RWr|&H*MWGEG5BB39xVJPBPKxOo9k>?-&fo&=$M3(l z>}9adbo2cF_=$TlRX}Mpg>ylpZ4HnqpMXg;h5Itfw$wDut|niY=+PPi2@R8$nyp!C zwq~iBoTVmhmD`(Fe(oSy;oFd&!nu!ekQAyw}B zua;61@|IFO2bCvk&yiA^gUXNA5o~`EUwU;_L9mDClg@ej$)Pk;axN$u1YJ!hor~Qs z09MmU=MqNLbkez$5jCB3E@MPZC!H;fsOhA0IU{O1>0H5xnoc@bGNPuF&Q?a$bkez+ z5jCB3UeAb{PCD0CeHbRH>7?_9iPS5r>7>)oR;%fxvz-w&opi1%eg;)g(@E!s310-F zrjyQ_ynhEoO(&fjU8kT;O(&f(T0lg#4; zml7*V62dnY4m z^m7LpQKO%`gAq0QxjPwAqn|s(h#LLeVMf&G=Z-LcQc|!KX;UoDp3^? zR!wCcJXrb-YJ*;@WDs7XNui|9R8}EN5-NBNqO>m+ufc^SU)23`gA@DjGsjdUMES_Jyv7QU5RZh1_~yh{_$`7aDb6 z=pdTOgMFdO>iYo|H{#1`;N6|VII&Jr-&gWu3bclr2pH|hAGx>GkMOZ(I4RF|ywwqo zg~UvSY;r`!EZPgQAOHJ%)vl12=Ms1%hoTbE`8-0rgroCUIywt?J}-gOnX?z9BegUy z3{6Lwzq4t!J99TU%Uq7bu&C%BeCfC?B7)x1bn2+3yUP1>)KtzaBUT4FM}_gU4cQ}4X5r)<9*Tt|J{kj=egI|>4D!Ruj zeYB8q+XwX`&l3?)DxMNmD3Ki zRqHJ54Xl&Jw8LCUX4#IfFQy&l*<>ENo(Y{;9I2c6cmUF+!d}+WU|U|ithl{`{zkKH zrYJ66RctRqDPB?B;A+S6%pnCOQZl!-ykQct)8DvtmRqyRDvIsX>ZX-j6N-Eo*Ne0U z7iw}9%ekvau2>aQ+=(H&>=$ zxvZh&>RMx^dkMS7V_EGL?1Kj2bE)piXQk|d21_X>SC@f;w#uP+vF%z$&Us7iRHe(S zEx5UXjB9XHArsiq4IZVGs#=j(jB@ov6ecR)+OSoK2Z&T>+qWj`7tG$+KJ7-OX;O7T zOV{P|P_-skTI3ZnZ%W2j2uEsTB2LXGnwGnpGpBJx>M}`N{pj59VeW?f%-j&jwx}&z zaf)Vpwzi`LN>*&_U{S%O1I4kN+L=6GWLn;3THbA%Gxr8*aB*~~XrcQ8A>g70Eo-kZ zcZRtQBzesQSXs6n=Fap|bJ30L%SI__FINpaAzRf76@(LW+qbgtF2&zU$lkWfmg;;D z8(V7f$;RkbMI3NPNL|mE4GLU(UDsQWf#PV2?x57rxpgowA^ST;lH@Q<5Kxn zYjCQLPQKNh&aA(RvW_DEy0ZRVR!p^Y7y8bVTQB9i;(RA%Yeou63hPGwL#9uqx|LBp zq4zVv0YS+F_LV)#*kG49og+ zSt%tLECoIQrrBsEcoRN0z+Ob7x$Yu>hHmQv1f8I-FVmNtF5I?$Gy`4sT1(no&8~`H zzaZV)rFEOl2DJ+?m!MJ)f@9QDC6)REe5mB#;WG*5um!#|zyyC?O(xRs;Wm2M-@b&t z=nr<->D>fdguci=8(T^{s*e5i^?v%I*AN^Z!IzNLFxTvq+Uu+{(l`80>3pXw*)2;C zNt?a+eXdoq)OAYQ?voWr8dB1=P8OZnEo~|3z#gA{u5?k7k|mU!k&`J&%3>teI$26d zL}4ju+b(^suSnaMr2RJOx+EQQWjnr8vSkInU5BLS4OyF#RViuTq4U>2Bz-Aa<~k#{ zt&sSu*bdvf>C3f}OSfH;w9yD#IO`MGWB_Kr>!Mtu$P27C+kP#r>9W>!hjiLKXQXSd zMD0s&ljRV*D68Ko>r&EvMiyNrEhwV`^iRm57i4itde5*CHv2y1FqBwEMn%|tFwt%= zJ|@R#5$(JCBo5;#+yXM2+JY4 zs$I^E$k{1bu6U^=kn2=Zs}hdPh@90fXGCP9j=y6j8nnV1#ap40sqM1in7XCTsIs&j z$G9@Kc2gOby(B_$Qw5*S)7{N&WBJsP+udZk8aHh<2>#*_$aW^LAj3w@ZGV%#R6jBo zPB+UCdyR#*UM=l+$O_wniBhKJgxlq`w48HMR<4s1-$xXu?V1X@pC(?EvsOsCQdZn9 z zR%f-;q-6C)*~nU|{~}wj z#uez*el9*Pm?ZR;oJz>$E>g`bwj%o-* z`vQqztScgROT&xr(+`(mBliFhoYPR>ck_C#Z$IVn0%A&E?W$8k}qb1kf6$O)jDwINV+f3fwy=?D4IlA z?F-=0luT8O7Xo2;9T6tDfn#xz+8v0YcyqQ2z45Efp!ar_!t7ZpbT@{gC^8U3F3`~G-B=|%} z1&3H*7kUdaFc?}S0=v1}KwL(WVQ^-en#{^|SZ@6318U-X&`+?jd!nImAQVgm1x1|b zrAnCAipP5Pq2D8yFh?ldk?sN#Lv+xczB@q8q|L=0DgyDIP{tm3>xTCAZ3V6-Lse*I zyh-gru}3!)9NC$O8=cf?fS=lwDnzQ0CQ%_BsJp|7jyU2=+n{e}k%SsPo~IKpk)x*S zj2h|@&{Pyp(1qiEx)5{d2kFQjzTM`7taACC@OV$UmrnCRsf!m<`Dv!fj^u+g2 z|A-HGGA9Ay1fE#BGsCIR5Q_Gxfl8k&lzZ4v;n6|8slG&KQ>U2Q9q$d#Rgc@x?TUBc z?6DN3ebMloP`Edaua4B5`3vVJSz=CjZxG`|*r0ekziEM(n@%R?Mq`~l=}>qshP=Sy zh58UPSUI;Nno63nq$x8brS|oOlR&APMrYK8@q#jWJjfY~i6uKo6!61*DjBC5&F$*! zd~3<`<{7L00u$%5MR|pq5xSdI7;S3W2=aUs)II)*E(~()~S!2 zLidxPVo)3WF#`bq)kV`|hxpw{ArH-_E#%yf{dT(Q`5POpNJrzR=izO_C(cjMj5?{; zbQa9XTA=CXy(g2^4#2`&OWpc+3$l-{t@v1?N|^VUn24|U;6vpe)SDHCeguGpw~@?y zQHK6G0HfJYzeJ2i|IQe6+SnM4|NI#AOJmT-@+Uq2Vc|ivE##gT zJFr5S^AL@y$;@Aqc`wV*=Yu{0{xrKO=DD+#OgCKF^!736G0^L?Y#HbSppSOmTbzFJ z6xjXL?QR4f0)IhBan@Iu?t9C_ci#ft2R*(5Jx^%hv+#fT)!LsSF z)>HW8$ID~zdr&W`uldnUKQJOnKp(AM)0ysj%Yz$pHQj7WT%}E-cR)zLd6=_N(>INw zzeDRWt6cNaQ7`D^w?hBlt@XERf4a1OdNO-7`;UUZUi0K8bjCqBc1O(nU?z{A=r1Qt z&5D9w1^Idm^wIRwBQvAXUmAlx0=f_WdE{oTSSLy5_hrtbHU6aCQS#@YuJ3ux??8P? zPhnj7*blz9yoyyhhJWUcLBDZ!SHK3FKcWVEecoUmD6RCMkaZI3s9Z{Znfsjn4 zBN2?B*%J%{sop>*CfZouVOARtboInLuqp~+wVezE(|bi{oMtwuaHy$ybPg<2Vo^-Q z5?IfKW2wYG5lPU@HI(k{-3O5zEI`LF=CP{z6D-P|@L&$D*4Q~C{o4=bfxr#7tlrQT zXuD}`0H-gmz3rye8`{^v0BlJF+Wb1#zxEapxN-f)>sPN2Y`o!y&23u(TUKAczAb>^ zpU$V`_3>LytZX$0L*fWXJ!j02=!D4s>R3q3M=%}FW2aLs^9XtC#z2@?7x{B__A-@? zBQEnq%_2li=FORw8J2~3pf|HP%uvbZyiJ_U3Sq2e86Vl1C!d{vQe0rgq*oPcnw`g5 zcrs=nl*CR`Fc!kD5-lF!B24gUF=1wb`n*xKlF!qnRx)`cwQ$HI>4khpGO4YidS#TW zU4x7O8dV)WnxT+?%&H=fNQ;L&f;v+)j}!>tSWpv&bYAGFhk%+@60JZp;;_Wfvn%mT zE=OA4@vQk-e8_3OJS{ErnA8ESc_err2d3tcL{oBKFP76tQwf!J8;EyK`b1Ls`*l!j3mSa*+V? z65*a8323OVCncJ=u1x@&uv8Wd(Biv^cL|!PO9FSCZ=|Mhx9)_xL(pb0r9<^bf+Y-$ zqJq6qC{yAHBGH6yuot}>Xtd}DC+&TLuFz;K5;t(Lql5NKbPiUIVFSa11|%{fGm+Q# z|96l&2w^IPIla1SFn-WwQuFr<6jkvWn9>>e&=_vymuh*FHWO3Ml^I_&Z86eZc^YTw zGU-f(X1>jQ#Sm!yk}Gf4PbRH5j5;lpzZG;G?LpIFzRcfcFzG@~$CFfi71|#J6;EYk z>OZ9IH|Z&@m~13J8+rVw%~urPBx1@pe+R;(=I=fz?zj4%e!-%@sbJ*I-%&6r{U%12 zvET5S6wg8n`Wp=fH-D$Wq^%^3tI&Q$72+rW@~M&U))h3VizCL^anZe*|`=3N+u6(_gGij?X-{{cUnPNUyAiuL* zahlZdk0pP)K)z4Qo3#0D%Kv78{3$)jGwJQ6reu{C+VkB4d9yAvX@NMmRj$S-wY+J6 zv#v1d_5%A&`xzboP#|yC%_i+Jj5;lBzn>P!|6rbCH0iOoDWCQU@XR9LgCuG8FB(@8 zmW?-sWpPuF-yy?`kG}0Q`z6hPq5K<=rPwv{W7x6OE>o^)$1j3LEJoh^ z-IvDeh#POut0ePn%VS(j^hUqNO8DrS!%|IXD)+YBtxbFV`AMPtavZdX!o zWI85=7s{_0Lw;9K@lP@huZ<{_->Bsa{dc%q3ydLe^w541!Ecf0zrusK%iP#XpOMQ= z3s{)(*j6HS~SD(;6SuCn=|;BrPL3GU5Z z!gh>|D<+>5**`g7f^~AQXf>n3WKOYmM#ISy#mpIBPd+JT&m_({IgnFqvVyn?*`K8EyrUwF(SBcg!3QX1% zYiAUkyiv@Y@$}@EV)jhmIVKl!icNM9*I@d=F*!@zj!|OrN^yHehRH91WWZ!i346vJ TlQSjkIVFT37G0iPC@c>EUqeip diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o index 0bc2569f2ffe7a4b883f3e6a1c7741d4c602639f..c16b4598df5e212fc5a352ca0c51c1df2e255436 100644 GIT binary patch delta 451 zcmez2Im2s$24loV%|pBj?)gapnW_4TDM|6E6^Xe8IjP0^DXB>%x<)3tDXF>nlfC(5 zEOk>WN{SMbOEUBG81yspb5r$8lS=bSO7)4+&5fjcb2^_RpJXfp1gJr2E+EYT#G57` zlo6M_4HeZxll?dOBT!bI5h84ZCTlWTQC3{i1}f`@ChIae5Gd;ll?_0X4V&Bulud-n zMxn`OPTmNVEr-gcpvl%veh8FpgUaTi$xhfTD7T-HF<|pWd3#32g2{r4`x!eXUsSAT z+%Y*&shx4=>G?@HnRzApK)N6^RW~IyHy=nOmFOCoOitjF(PYri$j?pH zFHI`VD=7u3!l!z3JD($;q%Q*ms6lBiAk6{9lO{iu5trNz71cwNy*F7WqZcz w$%R0&Ve&?0`^g)WIVS&5wqP`vY^Y+-^n-tLk%}GTjmaBT>=_d#e^gNi0JQy4ApigX