From 58e01ea218627719e3e2bd60df4abd5bd7ce6fee Mon Sep 17 00:00:00 2001
From: Simone <simone.monica@trailofbits.com>
Date: Sun, 14 May 2023 10:52:07 +0200
Subject: [PATCH 1/2] Don't report variable in loop header

---
 .../uninitialized_local_variables.py          |  10 +++++++++-
 .../0.4.25/uninitialized_local_variable.sol   |   6 ++++++
 ...ninitialized_local_variable.sol-0.4.25.zip | Bin 1807 -> 2247 bytes
 .../0.5.16/uninitialized_local_variable.sol   |   6 ++++++
 ...ninitialized_local_variable.sol-0.5.16.zip | Bin 1802 -> 2237 bytes
 .../0.6.11/uninitialized_local_variable.sol   |   6 ++++++
 ...ninitialized_local_variable.sol-0.6.11.zip | Bin 1824 -> 2269 bytes
 .../0.7.6/uninitialized_local_variable.sol    |   6 ++++++
 ...uninitialized_local_variable.sol-0.7.6.zip | Bin 1762 -> 2202 bytes
 9 files changed, 33 insertions(+), 1 deletion(-)

diff --git a/slither/detectors/variables/uninitialized_local_variables.py b/slither/detectors/variables/uninitialized_local_variables.py
index 759691d504..3f7eee4d6d 100644
--- a/slither/detectors/variables/uninitialized_local_variables.py
+++ b/slither/detectors/variables/uninitialized_local_variables.py
@@ -6,7 +6,7 @@
 """
 from typing import List
 
-from slither.core.cfg.node import Node
+from slither.core.cfg.node import Node, NodeType
 from slither.core.declarations.function_contract import FunctionContract
 from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
 from slither.utils.output import Output
@@ -64,6 +64,14 @@ def _detect_uninitialized(
 
         self.visited_all_paths[node] = list(set(self.visited_all_paths[node] + fathers_context))
 
+        # Remove a local variable declared in a for loop header
+        if (
+            node.type == NodeType.VARIABLE
+            and len(node.sons) == 1  # Should always be true for a node that has a STARTLOOP son
+            and node.sons[0].type == NodeType.STARTLOOP
+        ):
+            fathers_context.remove(node.variable_declaration)
+
         if self.key in node.context:
             fathers_context += node.context[self.key]
 
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
index d28eef9578..82a3ab1246 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
@@ -6,4 +6,10 @@ contract Uninitialized{
         return uint_not_init + uint_init;
     }    
 
+    function noreportfor() public {
+        for(uint i; i < 6; i++) { 
+            uint a = i;
+        }
+    }
+
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol-0.4.25.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol-0.4.25.zip
index 60ae4138c0cbb53a9d2b212e0929f5778c39e3ab..2c4ccdf1739484c8c89730b7f54efaf23f024e87 100644
GIT binary patch
delta 2091
zcmV+`2-NqF4#yD~P)h>@KL7#%4gk|tu2$N-BO3h&0015@kr-ru^+P_6+Z$mK<K?*W
z3s#<w^++1?urE^Xn3qVW5ZTmpah+}mzRko?6zng<4VYGPvQ9bpkXGZ4(S}xs5*K(0
zBP#*kyj<JK{tBHsv8b;u;3P{>XJqbNsgxt@Nx@hYNZZ9CO6{xm@Wi=6`e3PRBEvi|
z9o>IQ7{G1p?69|gYFQ&?OJE>!y&8hIBwGNvxdhWn$cwlh^R%Es0_8Q*u~HKbzldxm
zRH$oMkt>Wxtwg?z-mB)1+G__*1+Cx_T;0Bomc?G|P)g3astk%p>=GF*j}^120N$9P
zd|+hstb=K!fEPoAlM3PJ=~qPm>b3P%4k%VlDFBA6BYoq4jPCyI$Lj!5!1IHgW9uBz
zG2aF{Cpj`)Rl7kuK{{Guu{6+|6yAd)#GRHP^ltL?Kf`$p2$wiH2?#(z+uPp(psYlh
zO^v^9NX}XnrU*23w3ao?A!;3Hg1~*3lJqr*s%<v1w@H{+oEF1?7WpY;CeKz}mP$&`
zE;e_Jvo=_Ni7@CRs{|@qnW##c)Ts8Buk!--XT~J23~buiXLE%oyY`tOxwwSU8BOtQ
zJ{H3jbNdNxq<VE2%qLpV`e6_fGrDFkvYmuwMyZIu-LdcKpMM_<C-+9z`(@Y4)Sq(J
zUx(y@d^kIWR;F1-5lFEAN1ocAXYr^GJ^phiY9=OsD)hX;Qh<IF@m-YFP-^2+n(}4-
z;a8<It5lfttU?G8w0$-~^ddxP+T7&MG-{`@Il5o|iPj{9%LVusjJlC1S+37-9azzd
zVr_evu@}P`T36*GMnWG*i5K3)>}EBCFe;L*<BbROsOJeTcwCz?iI7N=AA^Zr2JmaU
z)J#u*Fc?FNuM=L;4wqgl(yaS&;W!^bNc@7^VTt7R^mZ7-;@IrFD<_M!<w{;*KqDs(
zrcWrzxLqw`7IyiDN>w4&6(|C20|zjPDGWYAzeFY_3k!_;sLYs+*fUnjeF{co|3DIQ
zQdk603m!4uekNWMH+^-TWQh#&aBd;3R%vX1b4D-aT0XdE@lM~Q-EHph-YsEKk*>`i
z(ml6wkWh*RlvR<cHF8V==2vWNxxD38E_=uCCPNH%_y+T%If;WA??jh2#ywgtngL|Y
z41|=m>vc8K3aIL|Iw-?F<F?vyq|IM=%R94W`K5c2sCV)Az!GnzT4%nqa%|J2nY{6T
z#NHmJC-Jf0Yav9CwCaa5*Ix?18@vl0X4m;voMI?C77hX+;uWE{$_+758Xp6r*7*Sv
zBDEc)AU?eeje<SN$oLkED=O^-ULSR+Wr^7`4d8SQyYz&=&h3=7f$bfkM7g+J2C*-&
z!?Y0T=F&CZl2>;spY0}<bbq_L$ZWlTh1B74-Em;I3e@Si8ViapTRcoPpw3I~Wlkl`
z^0C0~MX)nidAW;zX)sH?dDjdOw^(Q;4)!N?ozN}?P<GOv3_9XxH`HL49u)vX#znX~
z2z3p23b!7+%^?#;Uytq!=c+7c$tx}J!y*l_&6;s?`>KgScyFyJ7)f0TFn9icC6C@$
zdO!*1a+{-RY@3mfYJ^#I&-tk6HC$1CWj12o);HNYVI+K;_=bC3>z3)SmZMZ<Ef0;x
z*DCp~`bN2iZ6*o6Aq?SH`0P=Cwl6&fA-+7+5{{1bA1kcpq_)pg`z(8uec4CEWK;t4
zf%kW0TCxhS_v*)8KiySDA9OT-PKsKUWPQyaoo`^%ij}fq>OEKGH^U3%C?Q*=aLPX3
z@@%mq8l-}S^`c}ogd<@Cm$G3u(<<U!r@dAvX0XE(nrbvnxtL93MCZ_x!7uWapKjnG
zg2_4Nwrh%1Vs<Ktm|z|atQh{B*9TJa9-n4_xV>csbR@smlOb(+h0WxDpBEX`U6o4r
zB|Qaqzav&8GMeTBO~O)6NS!%Io<DY>N@HGiNG>`GSv<$l927a}u4elF!B%C<z@jay
z=-vJ-J2p`;aSGAqWmw4;3DH^Lm!f6wBU3$49!D-S@wYQ5*QFfq5~R&lw(Oxlngis@
zz0eV3I_6HCRgNh?1mKx}b{ePN1d<U(JGgzDS1ZsvVOrKmwP06k*4*|qjj~^)5vi2{
z#BM}rQ(qNWSqevLb@c58Jc8Zj#)fS3^o$5@YFMC#leAQOe4gUrMr1%VM^JQez#3C<
zA_xbIc3bOxPEAl`7;29Y)-#4LbrL53x=yk^;Q%tRNOQ@Twp^Tl*N%m&6<p(f0L9Iw
zHPO-5dk%3aX7jD#1pz6lQ@zd)vH*A(y`|7LKR0=%X8fdgw+T_P2np9LtJ%f_F0_e3
zB>Xz}O0elsAY_EGkm&D3(hE~<{h)jSYn5-&TJy_tk>F~zAutPH1z;}~-E><EV!7J^
z4h3a_D)U=t;ch*DNl8Z~CnoRTVyd;qExZ=cOnbt&?c6hEF@Ww+!xSO|F;Dg%<icil
zI$-I1(L3qV7MJ_M7?PK3u(j~jE@7I!fF_-6{_CFg?zJXOQ+Xr>Cp@Rh!Ctz4P|^2o
z-8*xTB}tvDVwYC6N+eVG$ebR0>dTuA`&1){_};0NQCKH`lwIQvtbIu%yAp0jA59G@
zfVxC$T3KzxGp-CSFJ>oP=$$GHBmhi%4`atUSkYl^{;L^SnFvuiv6lF$q50fkB;^J{
zWtpMsLerZK6wX(<04CF;<W{O+#t7xGKmU|)&yP?`0Rle*KL7#%4gk|tu2$N-BO3h&
V0015@001<Tv<6iMPY3`2006`=-n{?-

delta 1645
zcmV-z29o*55swZSP)h>@KL7#%4gfoicUIl)&F@7900593kr-ru@kbAZrIlV+*LwgE
zaqkuAn-IgL<v@cJC%i?{z5Xvor{R`f1$v({v8|X}WZ~SH0C&fWZ14)I5~ONtVtf5B
zk2w==4jw>Cfz;MFA6DYug~&rLrg57yopJzK;@1A)0G@4#J4wn%A3r77DzYtVaG%uQ
z0zV$zoNy_IUr8Z<eqyv}zd?~q`JbiV@llxRflSORjKv?(M@(>t7R~o+S0j(=YTu>u
z1x?poY>LyKe);N^K2z4Q<ag@FAY1%;x(py7od2I_;YnWF?*&rj-4?cHo$9`4*Hdtc
z8}{?=Or|zp*6o1p`kSK0$u`F8s7kylyKW=+!DiewADCx<4qeuGKIPbwTgrPh`A!+$
zcKB@oKxNUW8%l1(fb$PZ=081#6?xXxIdV;h_C9wk4al9reCkf8@djV;ygx{kWl<Dd
zxc3r9oN*(dGk=Xa9x9dG$4HJYMe68g>0iw=MDxH7UldVVT1fa|L-Q0D`fPwysTO|^
zeKr<VB4I0kp>$E9H#7JkGs#ux@pc?hi&x5FugChb$@8K`%?_Bsw`wok1Rk#s_34z#
zIjKjz(4d^*u?W>6{FAntg!>1_D+zNL`Pdz{^X*3rZRU1kwog4JwDXSJ<Dhz|`wZGG
zgcf^_pkLAoYLr-V8rsjMVPa<QWqfoz>I=$6-m%et7TPWICoBBdJ$I<on)b@iJ?Xg_
z&ogxjURy;&IT$o>&dTUSy9{{=S#I2^Pz)goX1kS-rQ*sVYxst@uuY2gfd$dS>BMgF
zbAR~^5?DkAsmL_E;DBzWF=V(VY#ii-)bVNvyyZWYvVFkic58+Un_5rH7+6VyST%R5
z?30{-Xc#Nn!roO==9V7L{QtEqALI|$ZF$qqbSQWmMgRzP9cY|s#=jOwg3|hDrmJJ(
zr!-EUORfeUx3AL?xgCLgaIh<0T4OG?d<D%mNeoCkjZ&ez$g6IMS*N|OE)@Mq{33c4
z33MGAqI%&GTN5GNvP`VFFQv*zV0MM#5<{<lj}!jeGe{O#BaQ+N$A~xV)jGY5e&#Uh
z$It>Bqr0jNe`%EMWOGA{6Cs2GKEOxVbtK|GOMaK9PFP!WY5mJr-_y=m&#@!KJAuHm
zV6YA#%Z-l8l3~zR>i9~j57gGrp9~wi#`qCI<rZZOu#bqMeI$p1cP~r?!psL6_8+`|
z%S2cfjo4J|Kij8dFx#1J_~qJ<Hsp}R3ueVgoIsU7NFCj@g%ogpD^U9&jZd-0(hTB+
z?s$EW7EYjF8DvOQw_2Y&f&!(RY%n%3#8IQin?sVd7|pE{K{j+U#+eP-QL4L4;sM+(
zJoU{^e=m427ma-|&dy$xo0`_5U5M6yn2H&k+Pdcngs&5TMmwA53;l~tAo1}7Qu|Xg
z^yzyUAQuyLHyn=xYsb*5x=|N3Zmq2?|DEegv?seI9(v5G4@DPs5G4A-gL9j+gkC54
zKNfb%vwP4_=d;g1c4RzNI{EIQX^zh|&qbo^)3ywGUAS{gjFA+ZRh8)+q|{D-G!pQh
zcUyg7fyL2A`iu3f;+zZB6;aCw;z1-77<LD|IAZb1L};#FHhvj1aDJ(2gSpTRJds>u
z)^yu;qO`Z&rEWm1QzQUm$rwTwhSfWjYMMm@Qq8|@p^!0L@yl5s23)gF40!${1dt+5
zls{|U95;9T<vP?$R@LMt+U_cU`vI<aQE!it^L@e#Mt?h*7Z0Onnf<~ME^{3m@2m6%
z1ElTb@NMN~T)1gv%US$X6h9!(4^mH!(5iG^P?5OTivUX!Ur@tk2;416;^P$r4(A;G
zjVm%uioqBenv-UXt-snsIP{s_+Hv6!iSp{d*nHF<vfe@RgcYczWdu%th97k3EXZ3j
z#O%n#099I3g&Qrpf_K*zsA^yB$$QyRCc2*Ok)UoMk3hUm6~^8&y<AJPZK0vhu|<8s
zxGEaTico6^yU5tnGZEj$9k_XE8kP@dQ&EHk2<rM9BV>!5#?|Jg<z2o^Gy^bHKR6jO
z{8mYBK&oEkqTEOz|I#!;1zkFT@U~-@MGV2qymf<GpB{DfE%7^RNP<upAm>I(1~iWP
r>4cV0O928u13v%)01f~<jdxbv?al8+1^@t%9g}GYSO%8{00000DOMW7

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
index d28eef9578..82a3ab1246 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
@@ -6,4 +6,10 @@ contract Uninitialized{
         return uint_not_init + uint_init;
     }    
 
+    function noreportfor() public {
+        for(uint i; i < 6; i++) { 
+            uint a = i;
+        }
+    }
+
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol-0.5.16.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol-0.5.16.zip
index c365c989db883a33c2e6f96eeefdcccbd53591fc..b29fe8a42a23c492afb51f955542493c8d641693 100644
GIT binary patch
delta 2098
zcmV-22+jA34!sc@P)h>@KL7#%4gl0uu2zIVHe2%t001&B001<Ty#_atQYwG-Lq3k%
z8(|US<+$<-R-TXbNE-97FH-K9mq@1&+0=A#oo)!e&BRa?>@UL&m{xMKPC59HR^yJ*
zhE|6X7kCLHD*@iTT-(YGN{_{AjEB%bBuh|dWbRz4lq2g&!B`YX+r=VE?W^|i#JNHG
zV5w^&!#pq@-G53Lz-{d8u(y9|StDgjU?6h68iKbZTL8Ja1k*~$i?|;1w4g!)<u%f=
zQWFlph-@ZQsB2h}D~w02M81sPtLAP6(@vmc+9272w@vl;ehZ-g&cFQQt;Q!hRReqo
zQ%XCloiC>=(04n-77!{a9$%)me&DJ|hRYjH%f$Vw;$_o=+G$g0Wlw*l?qDfpI&Y<+
zC}~=27x;S{ppIQ{6l0Wn>m}AM-KNJ!yAVoNJd_OwTuTH$>7J<=9&Y9O5Yi%K(BCqy
zGSDPpj^?GcIe=lV*7>eJJr^>l1Dt$ja?<?8Zx`1w*ep3Ok;d$XgjeNhkhx{>C*fKW
zM>ohgmLvwZGCX3=HB^5gd;9DsZF>8*G(GT`y$XN0REJ*N%Tn~hG|;-tt^OR!+#Ct%
z$i4NKu=4Z@4Ou3m=O9b-#C?Lc87d4C^>i_e-Y?A)TS;%I9J;ai3&9lT8q)J#46-Pc
z_TD+{hUzhw9DT**o~|lysTaM=sxgh!CEDktEraEl70>w(eVu>b7Xw@fwZtc}T1bVh
z`@Y_#C)4>xo%3D8H$NqQ@IXRoN<V1I?TLi+T~W_|pW|B#oR;l=zI+%)U5lsTH4N~4
z#DcVgBKwA4I|%_GjN^zHeQsta^)~_>23L(^Y`k|}sYFU=z`iZbLMYg1LCxv<2v;d;
zJY+_6nIzG*d#isT%L>Iaskc>@2S>UvqY^-90e$#|KC<1MzC5tU!^XZJr|5aC{o9Vs
zG1~;i2SL>>R)G+<B_}a_bb*TEom{H^7ayd&m=W$Xt$uiOVL@rrOx6odTMRGm6A}w_
zQmk=A_r(lYR<1Y?$;nMNRYf`{&Yd*16M&AF&E4hBgc^S^;ok+2ggUfXeHaDv?HI_c
zaB35WtN6+j+^Z!-NAxnX*$}V&vNmi#+m;Pm<oWqan^%l>+FP%_GPQ0+A@ndc*AN<_
z!oEpNh<?q28tWJgnk|Ex%Qa?XKiAk&@(tW*A5q|9ik2Yg0QxxRj<jeX{CNN%Kv6q;
zSYi{#&ToH1+=dL>dDO$({ie(*W*Skf5s~8}`KkAYbv^5_Q#g2?)%NfRSJDv2J{^Oa
zF)Wg@*spIDzVEoL^|cCxxU-J|T+JXk@xYt?Oz_6I0u~AMM57P4q|l9BUP;laSSFkg
zI)GC;nk&ah`r)d?Fa`6IbtGNtG3go-u^lc2T3&xjCktAtI<?sNTyn&2^K$fFW*qy=
zjGK#1lde2!H;ahfI!%ThRjDCU!#j=t`kqZ;$|C%AsZ4|<QG3WA{xcO&L=fK3S8t!)
zxVx%AiPCSCTyDI;6eh-9>Nc<B%cWnm$m~636}!eA=v{UC(=*?`TtT&c2-{sSecBb6
z=VgD_CL%s<-SZkYuyJ#6U9K1LF-3)KXPrLnax!C}xFvt>@)R(aak13{LoziFVpOM6
zu-ZD}k+L7tqbP?)#Q(&Hfy<gTejGk^PBe))2^1&)p~`X6b)8&^Vr7H)dRUO|8)oAN
zZLQbDS=A3eZ`KVj0-O*)Os0lHQsNGeOz(e%hJOXwVl;3Kn8GN}+oRaZ<Yp=re%^CH
z5hdjq^_4p4erP0W4`s2_X&C2TU+6VlPHY45ILj)0nmhN??jRahJ&V|*FJQ__m<o?t
ztLxtW!pjuy2~k`olDK0J$rL3#V$<!Akzr_7)+qF<V6MIhwqX)kn;uoPVaUdP02Y6d
zP-hfuR2bkI`|eW($T}G|w{ma{zK=VN#u-pS(zPhsMp4v#oMh=Z(Vz7C%|hnbn$Q<H
z8CsZoEI#>wLut}^vfR{S=38H#jBP$w{d9T+35)vYSmYcTMp&fLR>bH`R<JMn1uuTj
z<emtmp3)rc|2;kdqAZ78>MeO5N9cdZEb67qYLEPSo#BrzhrAZ}gESlaEbgLk^)w!;
z5MM>><f;6wHc0=#5oK+F(Fj09CTKo7s*&5XwMF(M)66^Z;yxwPs-s#-)B4CymQBlS
zE#;s-KyUU$>Lg%7Q;}_F5)e45%)D<|+GFe>6alp3uTo-k07OZzt0Bji?i_!zQJUQ3
zx1jF$rXkQ(AXezgRFqvtdfgd9!vuv@yJ7(r7F%V{++tbY2O)g9N#WqL1A6D!cRkNy
z0>@vIPPcY1?*p~b%_(Tb<0B@P_p)VBoNXc(TG+t2#vAaGCY&#gao;(ErjJ0zHi!r_
z0_(gc=EvOyBQjmiH^c=imN|dH2)^eIYILde^N_1^Nd}%krK+c9=v!EMrC7@hK`<aG
zzB{fAnhLTN&x$)LR?}u6+vaJ5F}1q58nR0CWBZE+3Yr}^{Giz}N{p-#HU%W?{3Cqt
zah9E2+fE%+_2g)lfUo!A|B)+gwJQdY+3^GGrw<*|4q!3uo0LWpOoo4q=O?TLC@J3R
z2lq%-f}bux9RN;qL=K4BWpJ%HA~`v5v{-Hp9Rj7z8c1_&i-g3g@`RpUaZz9sYYQ!;
zC{JnLk&3I`wB;9U_ydD(H8T?(HZT8%GOTb=O928u13v%)01g1uRjyWqKsH<R2LJ#v
cE&u>D0000000000005J@21^D-2mk;807kOt$N&HU

delta 1647
zcmV-#29Wu^5sD5QP)h>@KL7#%4gfoicUIs~n?XPZ000>s001<Ta0oY%QYwG(M-PRi
zm0nlZdjJq|?-l5q5W}VAK!X$~yhYNz{x3$S;g((ndY>|}t(aS6;oO)2cgKrt@CvFD
zq-twoh9To$3D5TK9zaTg)Ydm2R^s1<$U`osaho%pasXN4*8boCo^6ObNy<kbKPA{I
zvMp+GpVZ$1KOWtja4CjgNg;oJVzg+#L6J=PpQYdNQJCq0Ow22c#UIf}OmK)6&G%|o
zBaiB8-=*>eP1jvhm$^}F=__{;0hp-BOL@WJy!?8)3?Lw!|DR~#NnYCT1ybeR7Pe-c
z>b_^!Q*eqK_VeycrZ!*J?SSq2o1(_aHpc6yO1vt&ZX@`?X52L&m}h?uUDkL$<=B#2
z%6l~VP8r$1?cnQZGW=0q%2Mn*9!53Uyh8tjbrS1NW(gOng!Rfcvv+FgZ*5S~@J@$>
zK-W^m1WQD+5hRE41r)HopU-VmjTS|1@y0@!f0BF3QbZ@D9dSWx>)^>Ub2wenLG+Z5
zqXyR(Jw5=JDGunxxXOP<y~l4Lj+avIlXTL6{QEJMsLdp@q^Uc1-!Ht&#}H$&N}M2k
zcj?HXI|W^&xuq13sqb_W165u*fZfs_Sc=-mRA#Zz?Mh(Lk$q?txi!RVhE3)UR|#(v
zSc_ApI<@8TQtX66gCr6$CC=IxAcb;96kbUN!Z75ZA3tgS(MW%WNL3StcBsUigJalv
zh^p<@378ke%Mg}sdMrek-E%n?{6%M&{4q%*QuFpli+JV!G~}wPOin{9Oa|gA#VA}w
z{VJ(kBkrtsq2iD50@#LE!7ACbixK<?K~%(Xhn+I3x%*r>zZRzAJsY>eQ+E-)g8o7v
zm~QTXv{D%ua*2P|z;2sp`+$%S>82Q9BwJ9xVcOE8O~U0oEM{Vw&`T49Q1SWEcd(i6
zK~)4gik6_c7CO9)!*)KyG~rRGq*4{L0B(<P$XvQ$r0*_cNL98})CmZdd^@O6mGWd9
zoaWf+Gn_<7(?+eYQ5IYSztYX(>}1Sj)=-vu$)*pO_!oanXvG7jH))IGd1b$bL$C;S
z9u&GbOUbdIYk*i(xZa_ja4JSjPw+MB;rIEo@QT?7N153c%dN#%S%bJION-@;i%Gp+
z|DWE4aj5U*DAa1a<+ns#yFq$rw37~Sb34psT1wkxiMeO9et%iVPfP@w7TTAU@X*?z
zbmXJk&2@h;>dy|fY&uUaEZ}OZ;sJjJ3(nte4Chx7zU_6JkVrHRUw-($f0VUZ!e3eD
zzz!ft<;6emNU~K+F{T@MjggV9QUa>Qujdf~^pbOcK_nI0JZ)&)Whn_$D_3}>PL^#D
zo_yN>4CEA5W#JCVAc$+?FU$Y>S@Yw}pE(>sCJujhncj;Z)k?BwXkIM|<oi^2X>Vo2
zwjCVOoXs)LcM3RaSs(*RYNi^04Zq48nlv{(t{YesnMNDvE_TZN1qjd{g#+6=sEPWy
z_$!I|qtE|nBfFi%s8@{m*4#apI_|sqTXox{#^<wTY9v;`qD2}ZScPjw<jAk3-R>>`
zk-dM{sKlB+YF~oe@VFK(ZqGWT(%*WOu_tP*FJe$%cclZ#Js8HB@2^2c;z|O-%5DP9
zDr%xU@(V>5IR@kE9hfeBV^8fWFG$vs+*l_5MMtVu&RUGHSDr3t{VG1VkILDPCyM^v
zk>{nAm?8)sLuI1dh8Ssh-z(uo&zEcsPuG94EllWaNqf`5)EfArt8L5kzK`VgevFvD
z-MokSJIiGWKT!i)kYQwyu9(E<80agSiomqCH(}Fxb>lC86(4(G!mv0c^qc_V6mp3w
z>?ZDaX9Xwjm9I6!_N`!w)LkptBVbEDVtN}xF(}AWiKiP7z5TB3@ym?^MqHsDT*ZHC
z;8@pnM@$BjB&}dmM|x7UYIIF~7I$GSAp(p!2NEI0UR(M#)X-F>%ZK+IatP2Bm648V
z&;dR#mcK|KbDUie$|;PaO+L^DoBVP-*y)<;<k@L)k8093>0WM3l`@SZz{;B9abh^k
zFNLiwe&-Kh?WW{8``@Q!GUK_09&0=jCivHLjhK{?*APyJ8EzsVUEM17bHFzrQ@R#r
t{{Xz-08mQ-0zU&k00ICG06UF$R^U*ZK|lro02v*VUkF$Rk_G?(003J`BAEaH

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
index d28eef9578..82a3ab1246 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
@@ -6,4 +6,10 @@ contract Uninitialized{
         return uint_not_init + uint_init;
     }    
 
+    function noreportfor() public {
+        for(uint i; i < 6; i++) { 
+            uint a = i;
+        }
+    }
+
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol-0.6.11.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol-0.6.11.zip
index ca7ea0eb308fe7b52d4395dd5171d8bdbf5d44f2..793b30f4a11dff2246e75b96719158fa033a2831 100644
GIT binary patch
delta 2111
zcmV-F2*CHC4&4zLP)h>@KL7#%4gl0uu2#Z)dpQ#b000m#kr-ru^+P_6+Z$mK<K?*W
z3s#<w^++1?urE^Xn3qVW5ZTmpah+}mzRko?6zng<4VYGPvQ9bpkXGZ4(S}xs5*K(0
zBP#*kyj<JL9Ey*Fk(l|nbYv$yq4~u-eo~Kcg-t<r-Vk$6>{=)<4#k(GbXB?s{~H=a
zs3iZSL1y6a%c)g=c8>~Gzo559b-?F@wye`NK)+y_mW4~=J%l}F&*_)3Aiw|>(5`1O
z>!tfUafTv3v9)MXA`_1eomcR~x^ex9+GuQ`S4J!hJWpLKtoZY11OZt@<W0JQE;*5I
zP;+CtsID|*agTICzEE7+Az<FW=iLvNjt6<+DJ`z!xLfRhp}7ql(<d7G&nAg~tCGpn
zb?nj0lc-T>C8JkKt=}rt1T|(#7>cexL%|Uy^f67DBq$gXC|`jX6SjEm1Kc>WxSt-p
z!`n$>=wz|gH+_BJHCBPqpTP4eTN7~FsRG&>M!B|m5CVFu!#IK=J&=mhmfVhPHa>L^
z7s|$sUY;#~wQ9-Y`Tw3f848LG$8Htk!58_pFQ#=4aDiBG$G&X10UsrdpyyX-(%9&z
zEZX8dTw`E#am@<liI2bf)K`#0`FD!uS6NdEmE$<5lLAXCkzSs~u!T0N(smF&J9+{r
zPM{9NN~Nv1m58vCBZ(hHOqs0X)}Z#02Y4wWD$YHBOwB-+7oQE|+2q+aM|6{jG(wd^
z*ATE020sj<U&64dz^XnWcn-H!+;MGF+7<f0jj9JbLN3KDk`rv8y{1!83cPZgLNbb*
zUnDUF6moZ3S-9CckFH#8y8$+Svl}0O-^)j8OEnAyRsBdsT~2B+(hY4)cw3KF0!?XM
z00X~&uUrxF7PO2`r^H*$khpNR!+9K0cd3(I>S0~bIX1#v;Sg|yN6FR<bjP(f7*ltM
z0en(tsjIG(zveD%yhMn6ck<`&jDY;VtXI?PsuXC+vMy&vS7`~a=+wvRD@h0`W%-I=
zfr!Yqh!q{EI3o$u)e9zENZkwgt*0XUKBC!wm}1K5N9zh{d5bNk&>V63p;Hpb&rhZF
zTD7Dk7T7Ex$v!MUVqKSn_S+W;!yC<s{4_KJFjl#)+Cc|wHznY>22^i2?M+sRR<YDP
zq7Piz@qebnqfY@;{!K7~f^L#$MW&53zwk_cLu+j)mO*%|S8j5=!bM1mE@quNI{sLH
zMD5z&DAlGfU?iq2?`m~2hxtK!6wTiC1q>HiNnWFG1>j}-Opa(o^v0e=?Y2`@Cvdz)
zgB?~SKU;s6qwf==z{3es_*;-CHP}o<HT(8qL)2-sM`pO$I$I=MuYWZGYE5u&fjB|M
zLz4Ky3uxZlp#`X^8DBA@q~<&ADgB9m%JW1}y(siw7cFFF!kIJcR*R<#(s_xl#v$ns
zr%IZCD8^Mdapr)wIEEDPI%a8j{O1Z1QkU)>XKBtGyQ2=fy884l-vK{Q`3~fLvbL$4
zO{^5`VwD-Ad;uM@gF78DMZ_V=X8weQLFSXfu@J5B^7ufhr>L%up2y04WRs<T!DQnI
z<8JN{X)pRseh{+lL+iLnmuDGz%*yfyDE%O2UB1yItB+>J8sDkqtiHY`TS1QYPs{Og
zz`Kr|?iBQMGwt6G)*SOfQB$IP!eu&oEF@S=;uq(^qNTVla^VXozgX)5FKeJQhUBO}
zmpz_xeM$#Fr^R}vkz6yqjNgNQ*>@}($(;cU>rpg~m1tCV<30lJzi>nB%&3zZ_aLmY
zmKkg;1=U|}$}n<3TvVr=iZDji_lqi&@W}ZUsRZ6Zk7D%w&nL}%Wjp#>ZKKSK7QrJA
z{0J_92G7^Y*u{&x%)ml;45s0j+hlMOIkTq4mcuIQ3((rh|0WUhhrQ>2`{({q0Pc9G
zdeTJlv>#MhQ(HmDKxuE=ubwDECx`NYGZYc$5>^nuMCd<=?_dL?k&z^U%$+M+NDdP%
zRpF>y!;_7M!ZoM)tkiFMhy6waLGRn~o2c*mo)#bO?8VA3b`I<SrLR34E&n#i%4u_f
zEL%%oGP+S|PA`&&$7FARP_se3GeC^iPVA_Sdo=eD(~%2x5_`u~H~imA+TK9cViqI{
z3&P0WEzyqER2-vHnSYw#)Uzm@NN%6H8ELJaPb7c#H@=+I=`g|7WdVQpgVOTW!L~Xa
zg8P7_N|FaYXl$Z8Xh55*PtjCX5Qc(0KH*wjSqd?9ke>szvliojfDn<?o#_Ct7}Cpg
zGj+>IIy3!5gG3pP6ngTmNq*dt?vYRAOFS&CzRbox;$<9f2n;VWze4R|-F^ATAL!!?
zcOJ8_TIs<nK1j5_9W-|nd&b&0_iN=1Y{3)I-oia*ljlg2HC=dZ)}p~S4wl@U!rf(Z
zrU>B5Gum@4=fN+3&4{DF^r>N#M6}V|0Sm#pAuHI3CI!%V(ktJ+DJ|Ii#&#^vC{txH
zyaRX}=zuzTBN)K&SA*_kGhVm|Qg2xy<;wpU(9Pt(vKG{i=x+a!yv18~l!Ls_GMcrM
z-hZ0u`F9H6a2dsp)@bsXhq}v*?IQnC2Z-0Naa#bC(Zof6JgL02Rnth8FH=P5T$cM4
z*N6XqUZtc6!r%1_&~?8-H8CmpMAg>M#J;1YoYOC6LBtU+n|fc!Z@j~uM<mlmk+~^E
zh(+Jr?v0Nd7(E<Ud=4{^^{|y{Q|5{EpqzTeF88Yeb319hi!1`|lJVjq6>S^;b@3bk
pP)h*<KLbA#00ICG0Mu2kR>FLHITHu~01z*e!Uk9dWe5NO0009K1f>7~

delta 1669
zcmV;0273A35ugqmP)h>@KL7#%4gfoicUFY{rkPd-005R9001<TkO()CQYwG(M-PRi
zm0nlZdjJq|?-l5q5W}VAK!X$~yhYNz{x3$S;g((ndY>|}t(aS6;oO)2cgKrt@CvFD
zq-twokVdB%M2~r5;s6I7$F&HNg2(8)(=I~4<k?qU=U`ln0naV))jrJHHb0D!Y;{D)
zsVdoa7QZ~JG1py+UkU_WjW2&%*sxyIOJ{7w)<Aq9{NP)2y>A_UgdD1iFFjs!ax`C~
zcr|8gD_ScyED|O$Vgpuc*T~Qfe0B2oe7{*}Kxw7sG7@1{OZ~A}o%jwT`@(j(EF5f9
zg_l$@I~2%fDNQxgoi?9xL<$d6$;8HEXo9l?HUTnT05Gxb@s&$pWDtKq`cPgoY|9lN
z@4wr_&7cVLoKXpv@jtb?L9l%jX^Z#x!5vrx|CA%DV;BwP`Rk)J8pl4KKn9yqTIsnq
zB7c6mxNrE8`Lz5=kYf~cEM>!^ncVQL*wW6^I!Mu+Ow%K_YlT6hSIYn;tv?8yMht+Y
zd*Q$%_R_MvCQ7@^pZI@qwU{Ty6?@d|_e44krmbR|BxCTmkrMy|xyzZ9=7>lOdzMw{
z4w#F{g0hPzMYlu2TnNF;;Sa|&;u&<~NjyaHa2=TIeldHFs6p(|KTyUUUbLQ)$0?O<
zy$mPrx;`_1AP4~p!YHudK|pS0+|!5T$5ox08!f9-FUl5Y$kKn3j{KDE9-P_#7t3vM
zTBjq$Xg7@R@(&gfz>|FJE^zPm65uBHC46T=0*oo0O706&YO-a;lTcl|+50w}ma9bC
zp<gi-K$I<J`LkglS)jAgZ!rq28}qxZ?N|j`cbQUGw7XH~+%2bkhQ+ku!YK8^^I@|7
z8pOdLYTo|YmCt|pzJNP)jGi<}tqdgx2MC$lwQ@U;g7#KrMc~$#*0)AqbQGo??(S8X
zfBOLicw~0?{$6rt=Ha!SmC~%ier2-$l7*xLO`V5^4nW4=7Lc97I695U-f15vM^|2!
zIhF#O#Hw<lclU&H1oBr}fhtYKBzShLgc<K(bM!aTw}*c(s~T+j-<=qNo&U@5KZiY)
zi|rxf6plUc06qw+WpBNH#q2Ny!R>G1rydBOV^WrbUhT)Xt~N%hxyv1FGsRn)+0Z8;
zC=}97mkktME}Rrc$ntpnSMb9ycNQEJI#aHtc7P6g{$k6~944Qt5Y2>0Wlp+M)YMI^
zJ_-=Y=-Gb{HIxq{phLdm7BnaEOvn-{FR#Ab6+4W%VZx!QP~MyhFy)@+<F!H!X*~92
z(_Ti!AP1LiwH6^<pl~q#Q}j9dXy$G6{{vhekYZsUT?|}5-*!^OEP_+!f)pua8HnD3
z|AV8f7^Kd*`sbz_i@F_k<!`ROJ<80Mk9FWUc<g_E7MQxY47LEE)=!uU$K^?3OfYUi
zzeey4wLY5n`$QbeX}pNPOfG6=ROriJ&^jp8%_InL28Ul&Br~(*H=`e)#DNv9*$l%I
zm(%-p@gS=;Gi1DHBC8h%AE?sYB(gPcIg0}{<StGtdXeak_4-zH2-62LFh#bfZ{%LW
z-`IbeL;+m}N_xlY5+pwxBt1{ntE48!nr<Nv0A&Wz)xkD*26TZ9@7<^Tw%9#>J9$+H
zZKdnS=CMIyX_3*J4P@o0aDC!@?F<n>iO>ASu|=~DI@W^u@5|}zcf}t1&GR9toJ8w9
zp`~&aX*kAJU%ma$9=nVjTk{WMW?`xRGq-;!p$lJVG)gZidV$svp!WC#fU%k&r31ot
zkLACIvhthF&))G^J{cN&#%;8=Kcr{4mTWcg%&rooaV|CyADx@EGAl+G+o+2Y1L~wB
zaDn7D@`rd9r8~+Xbu@a6CGC<qSX3JXQs9Ey*Lu$AnB>>A+E7_;nCaZ8f+P_i0_1;b
zQdAa_m9Q1ZF+tkY`56?MF2%u#%6ajVuv2+#&JT<W6FY1@dCX&%m3#`89*$pdfiKc>
zOW$Jt$<HY?1R?iM9gq8&&s5Kw+Jfov0kMzZKfXn%y&GXG06oa*lA~*oagF5~syv&k
z%)x(uzofI(QcCGA*&m8q{8R9_QZQ2DW{@cN_vjo>FgKg7DjPNoyotGaYDOr71vA@d
z*I|YcvpOj0Wh*Spu;e{1#_$({uDAb|*^MwzO928u13v%)01f~<jdxar{-&8$1^@t-
P9g}|uSO%yD00000vx+7m

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
index d28eef9578..82a3ab1246 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
@@ -6,4 +6,10 @@ contract Uninitialized{
         return uint_not_init + uint_init;
     }    
 
+    function noreportfor() public {
+        for(uint i; i < 6; i++) { 
+            uint a = i;
+        }
+    }
+
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol-0.7.6.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol-0.7.6.zip
index 3049b95bf301dc6c865f74400dbebc3bd8a5455a..6aa5401d179ada7072e7b17297a9da0cf5315d52 100644
GIT binary patch
delta 2043
zcmV<X2L$-y4Vn=cP)h>@KL7#%4gl0uu2utr8Y9pL005ONkr-ru^+P_6+Z$mK<K?*W
z3s#<w^++1?urE^Xn3qVW5ZTmpah+}mzRko?6zng<4VYGPvQ9bpkXGZ4(S}xs5*K(0
zBP#*kyj<JLE6UmWN1W8V`SF5rHJS*%FiM4q2R{@)%%*E{J|+Fmv{K8<Wky1DzMlcx
zON{*?j&gJ2U?=5&q8tFnTfxPuQOTiQda5TSML;sh_sf%pNWQePqKIEX(}c9RH-G&%
zyPGFw;)=iV6-k^Nf%E+#|LWf(MYO^Ao2H3VG?-h~i%_S;9P613FB_V{$F>S#;wyuJ
z;VEK;^<j4l&#{IWSsp|bWG$DWMPI%D8@~-9>=^-haT-*AqY9xvqW**ezxeIsSNp+j
zneIFhnbFJM0)>#qtbFE>Xmn0FtUpqrkSN#IckAhDXl_XWhec}-iK%0&=td3pGtc!<
zTrUvV{s_yszRLU(Jr7Q=z4RiwO-qKQFt4u5bR4?4DO^KLua-In68vt&5QHqMgu*`*
z*FwaQ_E7VGq=h<$M_4kYW~PVN;bf2xuxl@?@xkj;pBcCGg+m)+a0|>~dM{FsFR@-m
z`=2;5IIk%nz9o4_DW&0Kr{K9r2l))gGuAmbe$lj7fRhr@SmwKdL%DO<+@nolpvbk4
zzBmt}_&jkb-jny)VeXHAARUS@9PIpY*)M%oZ)44W^NylFFd*KmSZ}#=<8H@39%80d
z5SCunD;D^68j!@$tDzaU@Y~Xq6hea(ZWM`ZJl2`VsjdvtA4jNQ4(*G6!~YktKftNj
z5j5RADKX7OjoRQfU26`Lr*7OV9BCMD+YIDDcNvAnak*Ze=F^!Z^3uiT##ylf+kle7
z6Iv{Pl&azSe5*!q=rdvLM{8VLk(@ToOXaQ(7jkE3SY7JQBP#2tyKCPb`5k_ho5)!4
z&PY!4X4dW*;nCLIqE<NC&46<}`)y)ppbT(mp@FIGV)FI>rXLw&*P>JayODul7ccMv
zp6Pn$z$1^co*Xo(Io#+@GZi^1nQ_8aYYm`(v*LkEco$tG{>K55c*@Sma^OZ?9MXq!
z0V4x$TO=G*Ls}jdYz)w}f<{3ejS+Gn^war`83@=myS#I8D;T~?9DO-l(;QdrCoqy=
zEq|xaFR>;}ZT1{*+tv8+&20JD_kz)8d`}4rKFhRg1L{@&`902{DVBc<vKN9T?J<Ub
zUgzHKPB4-R#r&a8GS^LJ%^%+yw>cR&fJ})17|i3+mtXzVZ_zw)7wB(6uYrY?`i6#D
z{2ItCIcswOS^Dern^CKtlTGy8E_R*xb$x$2VbAZJbjYnlWx?2HBKpO4G8i(UA|@67
z?`=?@Y5yjF9od~O>F*8PQI3FWQOn$aban|3H5gw>-t~%6%ik%XphjqrVI>-pm_tN_
z+6)};EzyLfFbx?t#Ob1pd{y}^SvyR|n!6&CuFbkV<T0E9fKn9NH;>J0U(qWj>ai-^
zrqUO<MH%4%GIb_PR<qtoFO0M9@qQ98xqf9(VG!pK*Op_zWIZ4`8(PQb<rV0Ez%eGN
z)NFL*Y?;5xGvO)94%b*`u0*c>kzf8wcfLvU=`WC!FgcYf_YMl)=eGK4V=`T#ORV|z
zgMq-N%foNI_#!TwdC~C|#5$<E$W{Vg(|L6K%gQ&?0JWK#L?X<^hYVluebk4tXu{$D
z@eJ_(k*@F^uV41Gy>1J>pvo_QE`PAPjz(EJz=zK}={AFJ8@ev4rt}kq#tb-GqP9d5
zsYjKugx}FkJ6*V_eh<P=+%cwhI=Wh2w|yw$3XkF_Y};#B2tbody`J`STTO$4@gW)Y
zX<nr|OQ_iBUrY&uxh3O~c8|rPj{^D6-ia^s>`IrV^<X#vTC+%6d9{as!TSym8Z9>9
z=;H#*`JYDMm`d<cZ`A$Yv0;^f5#mqykKefM=AW0FgG&9Q5r~s;j+MQ#a+kQeq;fFs
zkL07t8hVlb&liUrm);X1vu_>C@u-z>^1g=*6(-2P56P$!M!*L!)c86ucvERmcbX2D
zlD`vyh>ht{r9dM`7(kYPSB47czp>6X9$YIP{9BozKn1VcDW$2vYlzI^>c3^uvuP0~
zxa9@jlL_Ejsttt_go*6sy67@Z)X)4V^#)Wl&W*6HQlJ=^h*cnL2~69IDfH#UhUhcO
z?~tWfKIsEyPS{}<9s*F*7W)WmBt6toyFT;7aubi{*V2p=Cy<DLolfF1bg>rlHx*Ix
zfMu0jWb!~v5jK4hiBjJ9+UCCmS*Cd_z-9_q8k}jfoEt4(Q_en`Bwtsvdx8}CxkIyn
zLYdHL#$Yu9)C{N%;mQz<!Avn`>a^<Kb(lh#uYEJTm|;cdQgLR15Y>44)`k?gp&H72
z{hL2o9%@ld383nKXf$ncM{G}o^?~@HyS@;d1@3&@ihzy7o!IOKiMki!M$?mx___`H
zip~<BGrZCLjlYFeUxf%_?S4Ngchz~p;cf}ax8AL)Mylm{z?mJL>see9SvOcR6G`$>
z)2#1dE6N!4Ai6^wbBk=`dWFxmi0g6r!D0kFs@J)DgnI=~SS6NlNc>Qt^%3yCSyY{W
zAaY1jX`<#^*hGcW$7L+WllMXz3qz^MrvUTal#hU_zy3^thfqra0zU&k00ICG0Mu2k
ZRs(_>BhUu`0F^A0ga%j!A_xEg003c@_^1E?

delta 1607
zcmV-N2Dtf}5#kLSP)h>@KL7#%4gfoicUE;nYX2Ap002T9001<TO$axUQYwG(M-PRi
zm0nlZdjJq|?-l5q5W}VAK!X$~yhYNz{x3$S;g((ndY>|}t(aS6;oO)2cgKrt@CvFD
zq-twonro_@{&p*CwbB5MY;H;&9AR62-ZWz<@VE4AZ4Qa(U0<$njRn~ymyLt`Xc7Yr
zPW;C;<xjfW3<kf(ef9Q~LiK-&Ji2+la_I!PTicbepA8G{Nopd+<GmQe)!Wr{4bsYZ
z4qHwtYg&&x721mM)>9N^_wQV658`?crE5J&a2g{MGF(MSyx_#E^>kW!?o1Q6FJyPm
z1ZMR&cXfcTHweG@NUjJ2%n)`xOWk|IzI5u{Tw9D~q22nnKNm9|r>K8&egVk>2h;JI
zT2npyo2Ro6mNX&c2+u*bcw2HdQ8*Gnc8rTxPW_eD+U=R%<-2-V?P_(GL(*ZiU5b@4
zEKfrm01iBZ1k}ckgyH)E))5F<U+1Pjaz31k_<Q{)d0qDG3FBf{tE`k|$_I&lKRpV{
zk8YM5%iI0XZ$q<T&;oxQ+C()|VePau-|~%ml#q+xR{NTTqkjEw+*VBh>jf3^i1Xb>
zGXd7wA=Mf~r>fchP|&Nie_Oxw*6f}Z!PwG|R=QQLE9AW1YGWd(g*pr}!&))ti{$^2
zNVy{4J)sTsn%``g+bO$mlb2QibhQLJtY4Pokoor5^_zMQg(H8kM|M}m+^hc_!pxT>
zs2R62g)o|hlJ72*sYp?jCpZm`eapu-o+YR7X4;BvQZ6p%JkB7@OIccF!2Q(dAu5jt
z#(XDCsqAmuvcbt!8)m%UF)W3R*TQ~eGp#%<r@|u643%kNoIwdpi$<9<BA#oH%Jm^h
z#u4*?G-*|bie!J!Gpn+Z5BG7K9(NMrTI~EDQ_ES3;Ne$<9XeTb+B8|Dz%^;rb=Oh3
zC8AsuL0|u0s26CVmdg<I)G0F6R@ftl$A2mLN%Ou-9^Vp?SzK;jm9#pBJ!PjPoS?fR
z@4?zu8f|)Pdbq&E7+_B$zh-dyr}}WLl18;Mxb;Kl@5FzN(l+B!;V>PInmo?Emw^;q
z6t1IH@OQHQ(bK!r8iv=hwVOn`xlWE_V+Z4M)UHEaVdhxRMJCQnMwNsx*9<bq82sl@
z57#lTOq|Lr@u#PL;5I8mb#Y=-FN!A{jX!hOj1{9GQTy{tx$Q2}w)6qeIlrr^AS%J(
zK0naHC3t`SjXR_q93Vz9yYZNWq9=y28xY3A#)d6ueDNXMNWag2YIQF9`y9@HB8MHi
zC{iWp4gReMwx74b&%sENicIe|TNv)(MPa9b)-1&(yScg3l@UbFBNqK%_u9B%8#Dg7
zA_s4hMmYzq;8?6xPt180QrR_YD#0MWQADA7^1y#5u=97WH&aWUYs&nyg!TD~8kgc>
zw1`WgZ6bfGoBoJpVOBe85ymLKcYYlhzW@UjyR1^-xx%myN*BQ}k~ce3^S9!+B+$yq
zH>RUV+MM5VxrBk46l0*)$85C|8u*?FkvO-wBM%vD92uxyuj288k1ofGQ9s#)AYzW!
z!T5h-y;74pRnmBp5MN}CX9t2L9j+2Av36@{m4{DkT28j|e}U@R=ERYL{F=ShmxM=>
z?ERla+q06O0Po|^-jXFfX(1+A3cgq+8%s8h`E$w`uu}L2(8=at?JGhJ96P{geOTI2
z1P16WkR6sq>smlds2Tz8(lY=1Pr7;IBzu2fe}w24sKLD#@QQq{AVt}o{}H<Bk`lw5
zK#Q89oQjoF6Z5Qe@DmoxmQqO*O7Z+bROx8x(fA#CO_n@z4w4~VAa~YT0V*exl|TX`
z8~m^WcF+9E$$L1m3KeVZ)ekn03O6Uu&VTzY7-pL^buy55^3v*z&jL}d@h9>=KZt+9
z+?xVqzK?Ny3vtzTOafoqzCXGI+t**{GDVvmO$07sT-@l;Qv=AdEk@oNbFHhkTrepe
z`NCLkxeJrafMpvdBW?lvE50B}1-l^%Nm&p`Ep%&DVa|q(*RM_|u##Crc}ZQv6@)9c
zFoVs2zDZa{F^U!c-CK~-P)h*<KLZp$00ICG06UF$R&_&a{}=`U074v-JP23@Y6buR
F004)*2(<tJ


From 408c863bbff164e3a20c838ff07dc077371a7ae3 Mon Sep 17 00:00:00 2001
From: Simone <simone.monica@trailofbits.com>
Date: Sun, 14 May 2023 11:08:30 +0200
Subject: [PATCH 2/2] Fix crash when variable is initialized

---
 .../uninitialized_local_variables.py          |   3 ++-
 .../0.4.25/uninitialized_local_variable.sol   |   5 +++++
 ...ninitialized_local_variable.sol-0.4.25.zip | Bin 2247 -> 2483 bytes
 .../0.5.16/uninitialized_local_variable.sol   |   5 +++++
 ...ninitialized_local_variable.sol-0.5.16.zip | Bin 2237 -> 2469 bytes
 .../0.6.11/uninitialized_local_variable.sol   |   5 +++++
 ...ninitialized_local_variable.sol-0.6.11.zip | Bin 2269 -> 2498 bytes
 .../0.7.6/uninitialized_local_variable.sol    |   5 +++++
 ...uninitialized_local_variable.sol-0.7.6.zip | Bin 2202 -> 2427 bytes
 9 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/slither/detectors/variables/uninitialized_local_variables.py b/slither/detectors/variables/uninitialized_local_variables.py
index 3f7eee4d6d..0aa5579f88 100644
--- a/slither/detectors/variables/uninitialized_local_variables.py
+++ b/slither/detectors/variables/uninitialized_local_variables.py
@@ -70,7 +70,8 @@ def _detect_uninitialized(
             and len(node.sons) == 1  # Should always be true for a node that has a STARTLOOP son
             and node.sons[0].type == NodeType.STARTLOOP
         ):
-            fathers_context.remove(node.variable_declaration)
+            if node.variable_declaration in fathers_context:
+                fathers_context.remove(node.variable_declaration)
 
         if self.key in node.context:
             fathers_context += node.context[self.key]
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
index 82a3ab1246..37d4650e23 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol
@@ -10,6 +10,11 @@ contract Uninitialized{
         for(uint i; i < 6; i++) { 
             uint a = i;
         }
+
+        for(uint j = 0; j < 6; j++) { 
+            uint b = j;
+        }
+
     }
 
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol-0.4.25.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.4.25/uninitialized_local_variable.sol-0.4.25.zip
index 2c4ccdf1739484c8c89730b7f54efaf23f024e87..29db479d573ecfe96ea1e2af6bbf53df42de1cd5 100644
GIT binary patch
delta 2146
zcmV-o2%Y!G5wjB*P)h>@KL7#%4gkqmu2#8J70T%d007B7u^1Quf276Z^!?MWMToTd
z`C<G2FGP3F)$8TqX=yBWb?pMpCMlUA23KbFNHO)H+~-qk&KtYeOpr`V0RFCd$MCtq
zz0Uq8fZ#Ph3*r&CPT#&FAtRngk}_U20Rod?+Ljw?6PUQbqTdIuaVvcWtI^7}V7d*^
zy%Iud(6DHzZmLXYe?~<b6J29KcIS>amzD)0N)uJH+6f~Bd=@*~O)JXVVH43_{Y}$2
zR)k+p*2QsET`iiPTw7b_em3h+#W&ueAn+${ew$Yq3zne(5qOIB@{FNE;s~q~F9JvU
zxtIb9nYhSg`+{Y;jG<PWR9RD+=0b7SfKVx>z8O&TX|$WNe-sv(#cJe+<CCw`$gEw$
z4(evwvYp$+?X^x4QS$)%5@4?ppG12}_uTw$<1AnbXB9Pk+a9oKov+?8>O|-<IRlq~
zOTmyk2))OB3>V^fAXeZa!J083%85taxTjgvo<rMGP#2E!oG<bBEXa3vYs@aK-QLAy
z1T_6bLsmu%e+(I_Wr3(+y|wy564^m8%-=Gz;UV?A-^7&~Dv&N>WUk*d%FzlO=m>-%
zEzuzw2U;4hgX(7&LhBzCAaUFwyw^@W;Ql2GxqJyF9O_x4B*C8h^%%+mQg@9|1F2SG
z#E&D&BRxa_tNn9V!Ns#q&)RFP@v5)eLhz3CrA8+(e<}7zI_%EDK42bIAJf=PC&pnt
z;=$g&0l8!J^C@V<L>sqao>#^*H?%%xy$`=gen(tK5e!%Q&C=%91@QAG$d7TC8!+@M
znRVq}B?S<B>iH9OB>r0hmY)=0k!LR==rr%hD(@FCh`K^=y=VtwTNG{d%`w0)|LXa$
zj#@zze<PBKxiE7Yeu&$|Xn6&!%5Mkc7TvnYSNP+w|BEPkR=n62xeaM%+QP5E)y?<8
zrj6ixf9;>PCImf84VJD~mM4sI^!tbDhHE~M$D0<4-;&k?-uq)>f+=!>K<u3SGFiFm
zI@^_QYotuyw`%rx=#q-->E-u|Aicf(^HBz_f69Te_M~PXapO7)G0FB>S`-T3U|D<&
z_hl_$r0wm3xKYD}VLB8E<`cf7V-XzR5noUBpoKU@=0jqbUFNqQ@k?Nk3h6oX7LyON
zib#-nQR0FO#P<%!jd2+C#!8^e8hL?6m<q~&r3J*%6$^tEZu^nWO?#QMmh!LGK1aoN
ze<whzdTx6~H8(#{jew#A?%akVz$N%TxI^In;bVqL>gj4RKV){+f;KLx`}`pHB}2|Z
z%MP1^#n4aE6J>|He?|`gsULI?bb~@xHFB+ME`6p9$TQGozQ;@uf!$;cKxYG(+IgJy
zPgYs}+%Bb>m~<|s+yyw+99W};_)U*ge^BrMfg~*|$tbuzB;hGl6B%c>mum}HDmTeJ
zC)N$P{iITKYeWhJl;NeX?8MDJs-PWX`r%^Bux)V$wqTx`QBCzySS-uB$Uj_f3z;XE
zL;*1C6*3wLFhoI}3>eB*YdwI8w$!EPNi{1B=hLp;%px+`x<~8JUU)=gX!(*gf1lmX
zB)f`4kc*#EReKdRWqWN`GI~S#GNQ{sB*%FIR?0Ms;@J3q8ng%0tQ=rXjPe-rdyWk8
zy!xeISh&5kaRV%UdVfpJ7-=N)bJtJX9~^5di$g8x@nrDeD}4XE6)*X0fR_CtVY@=J
zzb<6#n38omvZNfr3;DiXDs;O;e+xJTDjQ2KdWI`X9g;!KE0=Sp1ASYL$E>QqP3WOw
zAq40LxN{BW(Jxk!QTeZ%3)Ht#v{@oVlbJiM@C7^eK4iULF$I!;lRgt6^L(wSkJ)9q
z%dcm!j+1*)3=*+-kc4eaww{ANiTbE7^S-eEa619cbTKSY3zv%bg>r6rf92HmQZr(|
zMq_EcDB*oV{s2oGS$ciCc+P`{h%~_^s}r1CSdgIwQ!#>bnP1Wh2S5^2$3HTS*+Es7
z`6(weUuyMt-j7y_F&llkLTKcwh>^xV7f3OvG)+U_5g<=GB0VfuOQzObvmfpTiNl%c
zc2juB&4+wqDazqw?cXFie^bo?kSRKXK1(Fti01*0AUtFdg#$kZU7{#jI_{$NK=d$6
z>?%E|;2+dNyiFfzjjg7>Ms5y?jY@6PR{#jr(<W_)*fZ{pdbDyYLXtzys<=e)`m(%5
z{1*I7>ICnU9w;2;w_K|8U?@_@$HAGK<)U=|5X*^`c7xWDEmOM!e`z}lsh)cpmy2PE
zdpcE^e=QPkl`iZq3uMTSll4)R7szK%4dpa*HA&q+hWqj1>9<=9Wc=1I(-a>?RNfnk
zlZn(|q%-#PcTRWqoae2MHDZ7gp1)z7us{!S%Yf9E7ru6FrC9r+Q(DvFI_+<SFOcQ&
zQ3-&hSbLVM{a5<2e-X?vw>yV;NZ1?DaQ+m|%^j7KlI3F%@X<vttg&LiGo2O$5g36X
zsa5qyq7iCZK6Ow6qh9k`=%^QHB`Z|W7{A+&Z&87cbRnXqYe$~hlhpX)=Bx3&Q8rZJ
zi|#;4Y$2`5cx+|-5ErhZN%?ez0wU>IH9R&Z@_A!rVOwK>e@%2|&h@2<b*7tTXvi`l
zYN{&_?|cV*GTsD&R%8E779F2)JcB8Gi}6H!9av!GFgh=DCVX%yg`M8XVIlg9y*C{p
zM}*{+1p;3jU~fnqsGzsje_qS~G{(o#>@{kJoAi@H77aYij;$UWL5GZ?yu%ia>ZbSG
z^)%RZN^Oj(H3<6^cFPpUc9mZAUZPnD&C`7E`)v9D`;@?aP)h*<KLbAi0ssyG$ylyd
Yxl|R(=?DM-$vu;42v`O?2><{901I0R#{d8T

delta 1908
zcmV-)2aEW#6UPx4P)h>@KL7#%4gk|tu2$N-BO3h&0015@u^1Quf2-z?+G__*1+Cx_
zT;0Bomc?G|P)g3astk%p>=GF*j}^120N$9Pd|+hstb=K!fEPoAlM3PJ=~qPm>b3P%
z4k%VlDFBA6BYoqH?*8n@>i|)}^MjmY>m1QB-v&A-IWk;TyFoiaI$C0}G|-zA-h(5=
zot7Z<Zu0d%!+8t{f0sBp2?#(z+uPp(psYlhO^v^9NX}XnrU*23w3ao?A!;3Hg1~*3
zlJqr*s%<v1w@H{+oEF1?7WpY;CeKz}mP$&`E;e_Jvo=_XFz6$z1S(pYs7jgCsP>kx
z^8)r~#w4!{Y}(jobA>0n_L(8MxP;LeP4R3#7Q+>D`w4BNe|mKo%qLpV`e6_fGrDFk
zvYmuwMyZIu-LdcKpMM_<C-+9z`(@Y4)Sq(JUx(y@d^kIWR;F1-5lFEAN1ocAXYr^G
zJ^phiY9=Ns^t{1RfPNG4U6j>OYU5Ix@@4+vSEVznRG9OuLI@GGeKtY#B1CA~+~m$Q
zYNxR|x?lc@f7T>~%LVusjJlC1S+37-9azzdVr_evu@}P`T36*GMnWG*i5K3)>}EBC
zFe;L*<BbROsOJeTcwCz?iI7N=AA^Zr2JmaU)J#t>7(<J%6JF5{mtHH<tow1{I3Gbs
z{DRwIiRAV4b{NCr*zCJ2CyTY^N?u_=BPR}~PbkT_e_btN7IyiDN>w4&6(|C20|zjP
zDGWYAzeFY_3k!_;sLYs+*fUnjeF{co|3DIQQdk603m!4uekNWMH+^-TWQh#&aBd;3
zR%vW=Mla=BKDcM`PT!>6ZSL^iEn!iSuFW3OJ-2d@P>KbVRgtPSa!di{S8Qy#yyaFd
zd&lo4e?ts*_y+T%If;WA??jh2#ywgtngL|Y41|=m>vc8K3aIL|Iw-?F<F?vyq|IM=
z%R94W`K5c2sCV)Az!GnzT4%nqa%|J2nY{7D-X5kW@v+})Aw-b0>W4GeUkbk)ybB#>
z*ZEeQVkkNm4gw(J6`{Av4KYy~9|NP-`2i9lf3+Q?AU?eeje<SN$oLkED=O^-ULSR+
zWr^7`4d8SQyYz&=&h3=7f$bfkM7g+J2C*-&!?Y0T=F&CZl2>;spY0}<bbq_L$ZWlZ
z)Zud7abUL!)akey3yLmVJWMs9&P(oPP9@CpvB2&{urpYBxr=^jFiX67*9;K1SZE~<
zfA%MJozN}?P<GOv3_9XxH`HL49u)vX#znX~2z3p23b!7+%^?#;Uytq!=c+7c$tx}J
z!y*l_&6;s?`>KgScyFyJ7)f0TFn9hXkKR{$Kndq^o1<xLn~{%dgjsaY`KahMTv2{y
zHe%k^H`zL2Bz&9rhI?J>mg%pSqf})re-Dku*DCp~`bN2iZ6*o6Aq?SH`0P=Cwl6&f
zA-+7+5{{1bA1kcpq_)pg`z(8uec4CEWK;t4f%kW0TCxhS_v*)8KiySDA9OTMidvOq
zea#=8Z(!4km9k;#Jy+#7!wcmoAzP(z%0AxmY_TI6q=JR@qGUCMBVhxVvSByVe=6c#
zr@dAvX0XE(nrbvnxtL93MCZ_x!7uWapKjnGg2_4Nwrh%1Vs<Ktm|z|atQh{B*9TJa
z9-n4_xV>csbR@smlOb(+h0Wxj7a7%El}h&|Jq35aBUU6bn&tvc!ctC1ojFLJKX#!?
zV_tPgE;<TXJjc--6glaxX8QiYe^zD7z@jay=-vJ-J2p`;aSGAqWmw4;3DH^Lm!f6w
zBU3$49!D-S@wYQ5*QFfq5~R&lw(Oxlngis@z0eV3I_6HCRgNh?1mKx=8mHa_k`YEb
zxP6;fE6_V(TGmLlU{`C_-1an$vR|YTsg(i5ZbWEPUlmwc3P);n^z8*ae}diR#)fS3
z^o$5@YFMC#leAQOe4gUrMr1%VM^JQez#3C<A_xbIc3bOxPEAl`7;29Y)-#4LbrL53
zx=yk^;Q%tRNOQ@Twp^Uoj)kigT;qNK#m%NQ(b3j>4sj`F^R3|p0V%3ez0MD^0C*U^
zrO-A%H+iOJ{G@lc2~n{Ke+kzttJ%f_F0_e3B>Xz}O0elsAY_EGkm&D3(hE~<{h)jS
zYn5-&TJy_tk>F~zAutPH1z;}~-E><EV!7J^4h3a_D)U=t;ch)iNk=6oChy;3s<p-~
zycW<*d&0Nv+%sh{fbLMk6e0sLPxc?=!e(|lVCj6(JL%FEm;1pOf0CDLu(j~jE@7I!
zfF_-6{_CFg?zJXOQ+Xr>Cp@Rh!Ctz4P|^2o-8*xTB}tvDVwYC6N+eVG$ebR0>dTuA
z`&1){_};0NQCKIGUE>a{eMuv`5^hExO${l4x<qSQS#88Kt_&_OW+z<eohl0?08D!i
zW5+pI(P3@=s~K3CM+i|lv6lF$q50fkB;^J{WtpMsLerZK6wX(<04CF;<W{O+#t7xG
uKmU|)&yP?`0Rle*KL7#%4gk|tu2$N-BO3h&0015@lT`^=22Th80001uU4*m%

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
index 82a3ab1246..37d4650e23 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol
@@ -10,6 +10,11 @@ contract Uninitialized{
         for(uint i; i < 6; i++) { 
             uint a = i;
         }
+
+        for(uint j = 0; j < 6; j++) { 
+            uint b = j;
+        }
+
     }
 
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol-0.5.16.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.5.16/uninitialized_local_variable.sol-0.5.16.zip
index b29fe8a42a23c492afb51f955542493c8d641693..24782d02177df502abe3fb7682dbaf26780c551e 100644
GIT binary patch
delta 2138
zcmV-g2&MPE5v3CwP)h>@KL7#%4gkqmu2$@pR#n>w0084W001<Ta0oY%Qr>^0#pWew
z&Bu}yoqqC1ug6sex*Km5z!?Yabvf$eS<N--mQV+^hXZ6m1a+5T<ij-0PUts5A=^P(
z?8i6Yso(+#zB)+=%x@hj=;n~uZ2!rF_kP2D#<K8Ylt(}O@oRLo7Sp(B>~B=Y_ZmmU
zLQ|0IQR2wM%pqhzfx8}9>_mSB^hPj}QpNS+lLfySrcJFaFQH1|xMYWq?)cOzDB5a%
z)zPPdkR0UX1bz~L{+n`iH>nmfh%A|G&oUB~Ty$1vAH(Ch@f)XA&6VY-TQq&Q=t|b)
z;lHMa=E4DdbJcorGi^VWkIiOQQOQkaHyT!)D=YcB(?Lj_9sAR$z>|O1`vM0XB8kmU
zYeed}x1eZ+0R|TR)Cy2gvot&)50FyC^9y$hbk>WaE9&<GCd*2?$t`lB_yzakb%faL
zfn|u7b<EF_0Lg+FsQ#oTy2YE<Y3;&t7~P+`#ro4!4%d~8L;ZTKT2WDQjXPT#8>){x
zthtKW(|#2@%zglWS+0Lu0)ThwPRgg>fQacxT{_6@xrI~d0aBzO;g6K~#x|I<T53@f
z_4-l)R_Uvtm>!hxN#zSg{&lx&%$Cg82Ke5-R{JG}Y)}1IRWDYx(Tn{Duzzi#1*)KT
zj?v|`{rMqNlUk|jv{CRhIZmY0vEw9kb+l&im<JCPGy>+?Y0ZC9^G1|?3x6ml{?_OX
z+2&%Sb0PF4h}r#IgbNMQ*_uEZKKtf2rOPX6yEO!)h}(=74>ekKIc448rS2&;T?Ha=
z;(Rw{C&GphrttT%y4Q^PY@>H@=jX__xLsb=ooI^~lyYB|mgu|ZoapysXFb~U`WtPy
znU#B7FHcCT;{ksZ|2a161<{!RgMhq?Rt!yO0eXqE)}Bg0`5Wxf+HLJg;-9>D`NBOP
zVPZ@<Jka-GDiWyPSp_;=cUOG@oekx&T0oa>$;il@)>;;cO2@P4Q-gkuHmeb>aeT#B
z6-nO;D&m;!<6Dti!_Y#MffW6CIZ$4A<yzLJ%MTWh-F1IG%SUo?Q}9VKHI5^|0VAQ&
z=%g`%dpv434xq5MQNZdj)irYYYXr?tpl;oVOSj<`VfA|NUL_@rxni#yjsh#^KFneP
zw6+4CjJ5Zy@{F8O6C&6RL`O=Mc!l|?%N3DuGN6=*QjJT7h3%k{&9E&>xSc8b1CUaj
z17vw<t@eL<y^DInc;Yl#rmKkAsxn{u2r$|)7Y0sa$yJyhr%#jX$H|gU&vRQ+lt{uG
z6@^`s@M?QcP#{IdRW?h8ML(8#)0sW_0!;s{l7j$PpOb@~v$YNf;8u7%oy0=biaGhG
zSsuJrHqOzs{%Mju<6!`hFn~sf7~L|LSNK+vr9FSQFHH+VzFp3*0%Q7DL-R5v)-jEs
z`FQqhzr!0`4c_krZCUV4xg=m};%*CAK|tJXss|}7@*Kc4-6X6}?qpPj@tgk%8$4m{
zV<pe4?_!z%hf{-y52w2vzZ|uV(?*>M>I~}r*=XYt6w6GZwC)GD-n8r?Dy(`T#pN!W
zU3h=o9Hs3T?9WT98*a`-#!)OvEG=}UEU9?a^ep|x`859&<QtKxA9?ZF4$9?dZ*Iph
z`Jam<n<k=*t12MOy54JWoCHGPRv-FJL(gXi>fxu^YCUFCjGczuPsvM5zRVe9`+$i8
z#=K+^YqnRqB1*z4l%FMkx%%*$auUh|VnKg#D@miGowdoCzSlFk*TTTSsN1>HDmf4K
zQcBqJUO$4V7kuAbLIsYo<_l{bR2Y(?^qY3#638hvS#KZxBCzDN2*7Q}KZ=_-k@dv}
zk(pzC1sHz}=Vhft(#%zMnx9`$V#b{B;@;+Pc!@>qC4TuNa>CKQD#@?FI@9_nhIfCF
zc#YCd$|xve!<kyEEd(8Oqx$;dO<_}dmHHN3NW7!~6p>x3$4aPq*6JCauH%r#t74I6
zMWB6?DXE6IbAeV}M_Ad1gqY0LTDNJyOEWqVG+|!GI~nM{?T`owpF?CcBv);&%*^4O
zwi|$UI0nuRg1{N2@nz~n!8X+{5w?FE#^Id>KPNz~y2D-GxogAZF?jTH4;UQL5ay2M
zqQY{RD@GhsTy_-Gy?t!5`#x`8>VOK{gEg2}zczZq5hGAmo0K_wYo9(^dw&S}I)oHz
zyGxu8tKOFfgY!Rnm%ZRE9>`}o9W~Z5yJ!lP)kD(U<y>_p%EkSFlkCb!pV5DtQcLoZ
z&2_~(K*zv@C6{Zt5^)?S*#cXsPNJ52y2n9Jd!gcQ2wlXfe5_D~!*lbR!Pqq%sMHka
zK#Q;gjUL52j%zFM0Zrf6<ZDfUGUO@cz?nIS^kBX-bhK71;6ev;4+5GMe+3oN(uk^r
zV*@nphcy{g(2T|vZe{vBFrR<B2x32VL@oxSTgFF)biTEgWOwIF>c|XyF`oJ(SNpz_
zCg|v>BW?qt0$xX4lGLJFxMICEn{jW89#-ZuVc0*P(CP+isk9and%7pjZYOSUNoL?$
z8eEg-4pxT%HnYn0Cw_@F&q!aB#R%^C7LFH*iV^I%^Dj11e9LL|!X|$%OIY#Ng+?X$
zo_N%xyYt`^dJO9YesFK!y3yG`8CRdxWyFqHE2S$Qxy(DExtopIjbw{s-R+CYsf1#W
z1N%S*<tF|r1I^8L9pM^ux8+))CED8y4t9DeGa<2lO44&J9X5;@5JF(Nz@Ph`^Z)|A
zkSn*u(|6Xa9O3DmOV%ei7^c5`$*qI`&axQ;P)h*<KLbAi0ssyG$ylyd?3Pwl+Xw&v
Q<2;jJ2v`O!2><{90Ds3NVE_OC

delta 1898
zcmV-w2bK7x6TJ}_P)h>@KL7#%4gl0uu2zIVHe2%t001&Bu^1Quf2-zh1=CKTW7;6u
zg11fe_kIhY|IWYs<E_RgI#mOF2vbTstDP^WE6{g4!xj)KDIQ;@wtnEMNQTQBPRqpo
ztKwzTgW73RXk|~O?qDfpI&Y<+C}~=27x;S{ppIQ{6l0Wn>m}AM-KNJ!yAVoNJd_Ow
zTuTH$>7J<=9&Y9Oe-P3lWYFI-t}@UhVUFgdwK;%cuGaakK0OyQr~{mQW^&T}#cvna
zG1x3QFOkOVhJ;t;X^^>P@F(F~5=S@4IF=*^w=z6p&NWmad;9DsZF>8*G(GT`y$XN0
zREJ*N%Tn~hG|;-tt^OR!+#Ct%$i4NKu=4Z@4Ou3m=O9b-f5d%)wizl667_U3jNUKJ
z6I)4ds2sYn_zS@l<{HxTUJSA*l=j{^?1t(wmmGb?<({r8Z>bl(%c?Pr)Fs;Iq%DKx
zm=(|Y4}G2A7Xw@fwZtc}T1bVh`@Y_#C)4>xo%3D8H$NqQ@IXRoN<V1I?TLi+T~W_|
zpW|B#oR;l=f4+PeMqP`i;WZ5Ke8hsZgChHeUpol_AdKUP7=3PLC-pZ190pg7V{E*4
zU8zJ$XTZKK%|a;HXhF^C`UqDkYCL2{beSa4wR@`}%L>Iaskc>@2S>UvqY^-90e$#|
zKC<1MzC5tU!^XZJr|5aC{o9VsG1~;i2SL>>R)G+<e<dd|d~|_|;+<To{udvlyqFR0
zGp&Ajb74Vg(@fS2PFoBw?h_IVbW*HwMEAuESXQn$56Q_*HdRGBC(fNTwG)7jm(AVf
z&V(8;;ok+2ggUfXeHaDv?HI_caB35WtN6+j+^Z!-NAxnX*$}V&vNmi#+m;Pm<oWqa
zn^%l>f7)BGzB09LMIrPsHP;XtqQbsOOo)EXf*R`>44N&2n#(n2WIxx~Qt}PlXdhAF
zVv3d^=m7dS=Z>^!ApCg%AV5(&dst!<#?Eg;+=dL>dDO$({ie(*W*Skf5s~8}`KkAY
zbv^5_Q#g2?)%NfRSJDv2J{^OaF)Wg@*spIDf4=Xyt@X7Eg}Aei0bI=>Iq|@o{Y>!2
zxB?al^hBc%x1`XGU0zAis#qqR4?2KTI+`oTNc!Qb#4rW(lXWCr>M`jW60sdF1zKK8
zCktAtI<?sNTyn&2^K$fFW*qy=jGK#1lde2!H;ahfI!%ThRjDCU!#j=t`kqZ;$|C%A
zf2mA_BvE_FAO15HP(%>k&sT4s-MG7|K#9_Cm0WJTz!WCNUFtTk<jbXBw8-o|Wfi-|
z9q3(k`qMMtzFa}IeF)oKFn!t;nCE5JCL%s<-SZkYuyJ#6U9K1LF-3)KXPrLnax!C}
zxFvt>@)R(aak13{LoziFVpOM6u-ZD}f042u)1xSdM#TTbhk?tQHGUjEbxt&iI0+Od
z|Dnop(si9&iDG4g_<C57?i*&~2W_p_#97r3KX29zF9MtpKuo5FLQ>)mk4*1{hJOXw
zVl;3Kn8GN}+oRaZ<Yp=re%^CH5hdjq^_4p4erP0W4`s2_X&C2TU+6VlPHY45e>lr3
ze40D=)9xS|S3Qf^qc32}N|*|dTC3~c{=&-??g>#`CX%>g56KiIJYv)Bkda|%R@Nx=
zs$j0Z2)1DoS(_eJv|-4`eE=4bP-hfuR2bkI`|eW($T}G|w{ma{zK=VN#u-pS(zPhs
zMp4v#oMh=Z(Vz7C%|hnbn$Q<He;Hbsdn`WrfJ150d9vKpV&+?4os4ZhSN(K)1PP1!
z=UC(%8Ae#7(N@IhOjfWj`UNk3&*Yv6q@L0o?f*SK0irC2T<R@(9!KcNEb67qYLEPS
zo#BrzhrAZ}gESlaEbgLk^)w!;5MM>><f;6wHc0=#5oK+F(Fj09CTKo7f2xt&v$aL`
zB-6}0@!~!u(yF6cNz?ksPnJ!~Y%S%WK0t5wMCv49LQ|1#XA%%Ns?5A^S=wXlAQS<#
z<F8U;bO1z2ud5-)m+l<0QJUQ3x1jF$rXkQ(AXezgRFqvtdfgd9!vuv@yJ7(r7F%V{
z++tbY2O)g9N#WqL1A6D!e|J64VgkoslTNpGFYg1j(akAn#p5F;miMw{P@HWd7h2fB
zxW*gsk|vxljd9;OgQkx_#x{ruGXm?pCg#W81tT(D&NsvbE0#II2)^eIYILde^N_1^
zNd}%krK+c9=v!EMrC7@hK`<aGzB{fAnhLTN&x$)LR?}u6+vaJ5e=)VXxEiub^ke&r
z1`3)TH~gU4F-nZA5jF)R?EE8q?{Su$T-#0^RQ2R&mVmGK;s22<ZM7=~klFDA>!%ML
z(+*%U?VFTF5=@4S=O?TLC@J3R2lq%-f}bux9RN;qL=K4BWpJ%HA~`v5v{-Hp9Rj7z
z8c1_&i-g3g@`RpUJ#kTB6Ke}Cq$p2m-jRx{-L&NwZ1@9%ZZ$I#9X2ojhBB;hP)h*<
kKLbAi0ssyG)K#ulgg`c1^9KL`GA@%x30MY22mk;80NO;2n*aa+

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
index 82a3ab1246..37d4650e23 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol
@@ -10,6 +10,11 @@ contract Uninitialized{
         for(uint i; i < 6; i++) { 
             uint a = i;
         }
+
+        for(uint j = 0; j < 6; j++) { 
+            uint b = j;
+        }
+
     }
 
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol-0.6.11.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.6.11/uninitialized_local_variable.sol-0.6.11.zip
index 793b30f4a11dff2246e75b96719158fa033a2831..d1ac3a5ab82f558461f3ccb8da893ed552b049f1 100644
GIT binary patch
delta 2167
zcmV--2#ELH5yBH2P)h>@KL7#%4gkqmu2wz3swwyg000?2001<TkO()CQr>?HKJ|zj
z_4N>dj5XS>u1yYC)2j6Nd~uh}MlOZYi{pJ`K-5?+zX=F1tg1Fg4^|%Qu~OOY91w{p
z<mCZ2fsc5SgR%B7W5fLDfjnyKDH)FZP~?i{7;!w^O&jNA)bzMflfadCkgw%-9o=O6
zX}n?rdj|oviHL8K&$#jlZzg}&CTLo#B`#UlC04O1RD@$2VBswH?}dP>AC<JVHpy-w
zEx4w6$#%EfR~@S0unwlCL_4eK7KR}wDxV$kTdCqt06Gh`7b*2@lcw4lo@~=k_*jhE
z;;X;b@8mfN>nI`NQs43^UhppSV*P~QCS=H(qhU4r`bsJtrxcS&+6{l}koC{<Wafh!
z9P*Ficy%js(}?QxAl_{*Q8}<Zw(gLkq>{nAP(n7*sy@wp;D%0Un(Vq_aHCJ)S&&6g
zTl~nh8m9k5d94ljUmrs}{$?YOfKb(MQ9-Wh*OBi0>3F-<Ed10vm>WZB;vWrn7_iw&
zhW|y2z|qeXlK3zn$~1q#h;O8RP9i#r;BtszU>6_d6K!I5BgWpGQh7DPWWzuyXKTwe
zQH`2w;DMhb<1E7g(AlAD)G^3JxTC!O+59RG^S!8L@JoFoUaIvXh@C}>`VDfKnbAg=
zzU;ZloL_1$d=K~$arEn+yr}f+1YL|=(VnG&b&^dSFp^PN7s!9vRZiS|<||w}=cafV
ztR33Sx~F(w712mL*(c*T56tK^)gdvX^J-FLOFPC9EnJ=jdE(=Q4Y!RE5H$Vl+@OlA
z-@!bp8MjW5%l_mVApG-v^Kj@P7S-oHbMH85!JnNC5GujrVa~w-Xj;L)YFA7z4}YeB
zf!CRU!ADGAm;!$|@6}8_41+7WV6*?$@S46XOdw<>TBHD%ucgN+=yMfT!d;kW4xljc
z$BL}WC<rxY0}vfkb^_c=Q?_~1umECxW()fEref#rErblfK~%~|=8f<^WB*C-8OJG!
zO^*G_t)79&>hwMsgAg;+7r=2xDR&m>iZ%@QSk^@$4#R&Gzxfve{#;FU%3Y718($@v
zOX$k`0nFJu1AOjN<p4nz^UKdenp|<VF;rTt-wOQ=Hxf(zmu_c~*%?Av32r~Nmp|_c
z1s5<ssEXn}(@k8}T*P$8%pssl?UCxZXF`v!N{FFrvjQl{?GLdh0}6JBEh1zUoZD<G
zMlLlY81sL3M4ndeqEQem*2J>F;i?W$Ip|y6by~ksU$DX^0A}Gck(AML1ElPCr7}}S
zB4JszpKG8%AWc|Y3Xvzpt{h$iJL-8{xo`J-!n{M3CANDp#5DY$@od(zGrs`@%W6BZ
zZvaC6gU%<t)C&S8-xdSlb5pz2g8ffAcT1##&D4Lvf!b_&@Lw_3%k%l6sHdXXlTQbk
z75ZH5Jy^;(juD<Fu71=44*;{$nzU@>L!F!Wug|(<0dI0+nH;=AgxZ~uS;rFHBEQdO
zOqFVO@^0?4X{<=}N<{q5kRE1K_KKX$(^2;Z@=N3i#3?-X+KarU9Sk7K$f4Dq!7gRj
z&PIO}a%Z2e)$Px1G<4>Xy+vPI<|y-IZw;%|fM>EIxohzZ|N5qL+(^SB9$w4-k6Y%e
znqu7bn`-KDS(kJZ4p$iIBQr(>&VBsfwwA@w!gAc*tu=mGbe9@D^{&c&A_^g1RDi8D
z*XsrK(SMWcKYAC}rBy0#RQ6?8Y^cGzwtasZ4gQ9pOhctk8)Dy>2CD9#L|OyuG;TrH
zSWt&?JwSR=Ur^&!>}>X2Kwcxt|D3WNSkrz2wH`J9Ro}w1=g|_)yvXN5zK7^{`7P!t
ztmQMoj6`0hv;XpRT#!Xus<ZXSVGNG~ny8(M%sXEa5ZK(zZxSO&5z2ioDc8rO#NdB<
zDTivOv{E^NbyNBm`S!~z3Q&z8{1~W}7OD-%>n|UHK4Ue>Kyb5>(I~OHs5mV8T}^`W
zb~f$>aAbMXS~Dvu%^q3CdYs31b5|NpFc7K`DB_poq>(EpQt<C;XMbVN4ax@Vu)eKX
zBA4p#fX-xy{KF%+7cy<pAwzviQRIJNajj@11U6DV|GXK+1{qjSu4<D<mWu&j%5X@z
zs3~GvWBqRj)$Bs@x$i4s`3&M<W6I3FqjTH$gtn%hz!i<)iPM3B(@+ZCB^>JKE&2H%
zBC8OKz*W>y>v*22mqnbHF9#VR|5fT>$uU2v9GF|87q*+A>x6nD=8Rgqd#it&f7_0^
z!o&V<p6<Rv!Ss-kTIu;0H^&7s%!DF|D`Ti0u-bHU;Bg$pZr`%4;;r{a7m$dp;{O~n
zlA*`QG>Zr_p5g<xBs#~l*Lr^6_IynX%7qi%j>W({P7Fzc3Fv%MV<M+#@wt^$#S@e!
zEV!>8*yPR4BLaXD)PmI*KaYPgM-KgN5~#D5g;9ZD(&sPv6jkJ#&Vq#y<8*~I9K$$7
zDDzc}6nl1oeky!hj|b%rIQ_7pYq5Y85bDQ}A!vn9RYSgI3Ep1`#9D-vchBx;2)uSu
zXZnvgp4TFC+RPT9N~h`#DCdNUboSN!;~4O#emowV1W?z$+?`oUsd;~ESZC#GL?w!?
zN(W)zAxNlqR5q_g<`8DJH@t4Ozx+_|>5;Z!Dk%YKOTob$Az`yq(m5xKiK)*1Z>Oh@
z8{Yk?ZWDj0nQ{RaHURMfwml4%e{aj%W5&42DzElP56v-=ylLIP&6BYeH4`U+6*%M%
zuUS|_a+yz|>4xy>7Jx)9Kd&`^DHOs)TF3)(w5=$}^+<+M{daY#cMH7*q`-ze6eH@}
t|K_FF-cU;c0zU&k00ICG0LfUcRz1L~DfkEg02w}$e+XCxN(le}001OdGVcHY

delta 1930
zcmV;52X*+u6WtLQP)h>@KL7#%4gl0uu2#Z)dpQ#b000m#u^1Que-n=momcR~x^ex9
z+GuQ`S4J!hJWpLKtoZY11OZt@<W0JQE;*5IP;+CtsID|*agTICzEE7+Az<FW=iLvN
zjt6<+DJ`z!xLfR@xeXlCCmQ<CCW(KmlF8F`?9t1Us8MJoqgP3--zwAuHD*c}impFH
z!4W3(F-@5yC>Rnbe_w$Z6SjEm1Kc>WxSt-p!`n$>=wz|gH+_BJHCBPqpTP4eTN7~F
zsRG&>M!B|m5CVFu!#IK=J&=mhmfVhPHa>L^7s|$sUY;$rYRTgH|DHP;3W^QKZWZFe
z7x}d>rgaW*fmm?IzHGPwA0>>S=T~Ra*yyM%+TuN2V_<Y~f6WTziI2bf)K`#0`FD!u
zS6NdEmE$<5lLAXCkzSs~u!T0N(smF&J9+{rPM{9NN~Nv1m58vCBZ(hHOqs0X)}Z#0
z2Y4wWD$YGj%|MnHpAF;L<k>bybd!iQLX|?-5U>&kKMbN@!mz2psy-oj4!2d@acxuD
z75cx8ss}qle=fx=k`rv8y{1!83cPZgLNbb*UnDUF6moZ3S-9CckFH#8y8$+Svl}0O
z-^)j8OEnAyRsBdsT~2B+(hY4)cw3KF0!?XM00Y0TToLgWw2V%t#9PgfxNx?^c^px9
zsgqsmVO`KUHo{!t5O9P?$<_>X$F(;YQ+J2~d{Sqrf2*#PzveD%yhMn6ck<`&jDY;V
ztXI?PsuXC+vMy&vS7`~a=+wvRD@h0`W%-I=fr!Yqh!q{EI3o$u)e9zENZkwgt*0XU
zKBC!}V#?`9>k4Uki!G+m9C7)fQxeF}Po?x)wWK5#*eoE)J}f_CU6+LR+ZPGL8_kLQ
zG&BP+e^$A!+Cc|wHznY>22^i2?M+sRR<YDPq7Piz@qebnqfY@;{!K7~f^L#$MW&53
zzwk_cLu+j)mO*%|S8j5=!bM1mE@quNI{sKh?b_cc)uu0CB&ICyYIQP)`9XUW&EE9|
z3>R5RUZZaX;AQ(vj%Y;m#-2s(wo_FnaJ)r>e;rmOKU;s6qwf==z{3es_*;-CHP}o<
zHT(8qL)2-sM`pO$I$I=MuYWZGYE5u&fjB|MLz4Ky3uxZlp#`X^8DBA@q~<&ADgBAc
z^F&a+DD+<!Eo5fGnKSEFi>C|Hd5NyZA?XjNN}7Kt##K0R=76?1h7|BRW@&i*=L!;1
zf0ynZXKBtGyQ2=fy884l-vK{Q`3~fLvbL$4O{^5`VwD-Ad;uM@gF78DMZ_V=X8weQ
zLFSXfu@J5B^7ufhr>L%up2y04WRs=AWa9|qZtf6iFZxY>5VGw<>$pjmXBm3T%JK&&
z{UBytzR@JBk7mXi->K!SzP=_~L5}uMf6MW5z`Kr|?iBQMGwt6G)*SOfQB$IP!eu&o
zEF@S=;uq(^qNTVla^VXozgX)5FKeJQhUBO}mpz_xeM$#Fr^R}vkz6yqjNgOVcPtyp
zodFB$Q8bN}XjFIOJ_7E)a6|0OsFND^Agr>M8Eh;C)n9JPFmga#RHvMZFh<q)e~T)V
z@W}ZUsRZ6Zk7D%w&nL}%Wjp#>ZKKSK7QrJA{0J_92G7^Y*u{&x%)ml;45s0j+hlMO
zIkTq4mcuIQ3((rh|0WUhhrQ?f=l)Ru?s%wr(nRvKA5>UVTS3P_X>Z%Fo+v^mhw^|k
z6cOhVRuI2L=s$?>U<0F(ktBi4f1N8^NDdP%RpF>y!;_7M!ZoM)tkiFMhy6waLGRn~
zo2c*mo)#bO?8VA3b`I<SrLR34E&n#i%4u_fEL%%oGP+S|PA`&&$7F9%vq8NxK#bN-
z?5K@<H1`nGkqdPad&g8a{NGF3-ayu379<J_!pPn&(T>$r9HUa1f12Rbf3ql@NN%6H
z8ELJaPb7c#H@=+I=`g|7WdVQpgVOTW!L~Xag8P7_N|FaYXl$Z8Xh55*PtjCX5Qc(0
zKH*wjSqd?9ke>szvliok5RufK=>V@7(#vx*b<0RPGyOz^L>Y|~dh)JGe%zAokx%4H
zJS?rg%*H<AWgKq^3@<Xje?skI-F^ATAL!!?cOJ8_TIs<nK1j5_9W-|nd&b&0_iN=1
zY{3)I-oia*ljlg2HC=dZ)}p~S4wl@U!rf(ZrU>B5Gum@4=fN+{h@-#ssbQ2vw9(uF
z3&FY}E7*u81<-iXE8o2-E!h0Vb}Y{*Q)Mu`19%(gfI4|27{KsXe}nF1GhVm|Qg2xy
z<;wpU(9Pt(vKG{i=x+a!yv18~l!Ls_GMcrM-hZ0u`F9H6a2dsp)@bsXhq}v*?IQnC
z2Z-0Naa#bC(ZoeOsl2pR(@2&tQ$*-omiraghyQ<GrKAYL-}Ma8b-zJ1F)8>&)z;6%
zzN4j_(=TR0#1Su>U3y>0Z@j~uM<mlmk+~^Eh(+Jr?v0Nd7(E<Ud=4{^^{|y{Q|5{E
zpqzTeF88Yeb319hi!1`|lJVjq6>S^;b@3bkP)h*<KLbAi0ssyG)K#ul!hCx<69@nR
Q5HFKt30MYY2mk;806?m#?f?J)

diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
index 82a3ab1246..37d4650e23 100644
--- a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
+++ b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol
@@ -10,6 +10,11 @@ contract Uninitialized{
         for(uint i; i < 6; i++) { 
             uint a = i;
         }
+
+        for(uint j = 0; j < 6; j++) { 
+            uint b = j;
+        }
+
     }
 
 }
diff --git a/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol-0.7.6.zip b/tests/e2e/detectors/test_data/uninitialized-local/0.7.6/uninitialized_local_variable.sol-0.7.6.zip
index 6aa5401d179ada7072e7b17297a9da0cf5315d52..eaef1050dd432bfe5bdb81e0dda9f28d1b666135 100644
GIT binary patch
delta 2098
zcmV-22+jAJ5&IGwP)h>@KL7#%4gkqmu2!`Wvn8<z003<|001<TO$axUQr&-h!x`T{
zAUxxWUfTT7@JC{S*lF^jKQ~^g%FGDYaRPjM=8o+-SZUA?5S^f0wtj4fC|9a&g?}qO
zkg+<g#Bo!Tb9<E;l{#;h|2xZfYiItp4@_6cpED-gL`#n-sSUHe+5IABr=EHA>ssV3
zuUZ0QEPynw2Ga}odlvWu2ory8l_T$G?3{AYc+s!W>Im4zo?#evW-o>KtK&5}SFl&X
zDsUVdbt+TG^q;k(%)XAV{5Ed_A~x6=yNmdU5S>M~*F^B+rAi`wt_Nc$p;0?w1l56o
z4e+}8@AXEtMF3@VQg})PH!O!?m;KF3@8`>j!Jg!xPS%AP7g5uSIqrXF{7z?(%Jw~<
zaxgQf))*!61?L?)N6nYThkTc3rSwX(NKnnA3-=5TVqCC)JWEyD&y7mX0aVAr5iBke
zO&b-z2D_m@9tRK0h=Pqkj;<?5oM0E@$m_Vkp7d{r%gg^Y?vOEyqRVwcUQ*f&A=!O)
z_04*6D`G&7Qo!F*-<E$b--hMZxqnRc5TMCUHyxPaR%9vCw5$&_=@E$>KxB())n^*s
zPH!_?eQ`n9rtSW94D9yQeyGsYkBg&-!#F}OTu%CY7?>I9g`|P>9G8tuR-jz)18hUU
zL5T@^z3CbpfiJ_Lc#;nz2f|@0oC~yFXB5{8R7O?Jhr=&`?T3F?2He!_yASKYzJI?P
zlqyFK->WqZbemAzBJgQ^n*T|p{yQ75c9Kp+>S`ZLpu9bPb4APM1kd@mM3xC8r&OuX
zA@f!JRI|4jFy#{em=I*7ay+Z0cSF$;_f;bRy5{vjslj`7vfmS|+in8hds-nz-q$HJ
zI=0PTc0bCz0vdnn4s=z%Hk?TLE%VcLK@_ZOIv9%eZ=6B*gfL`63e*@IY!E`sDmp7O
z*kzlk%cT6uDwS2sXLgRFMTJrpD(6@8Hbp-Z--P+hc>v+we?ZmuSt-RtF&CKo()RFS
zb0ND#dng=%n*4?0VV%_JFMG0;-J(_%vk;-%yo!)4<#&H+&aqy@gP!FGssRBKbwibr
z<Wk>V$|bhFqy58C_sdBgeMySznm3e-R6xw`&{%wkuxu>xizNk!K<Xq7s>dV`7e!+)
zsF^X0xNNHV;!%i-aQZr}WY6@L<j*?N$DJ(6%Kt%B_gD3EKXqT}8yXfGwLPh7cof=o
zhMvA1-spdcvV-ntS74hOT0FC$SlW<M!#<F|x;syCM-Fl)b{Z||*y$at!mpO_>xR{t
zLOk-^a?~uTaOKd4Fuq{4Ba2Hbgl5v++$3e<=L;Oqg^^V^JI{{&U_6#wbe8TDGVsvX
zB@TGWz5m4zP<-<jvoAO^QwM-$z=QRko^bn%oj`w~HX|Spl{Q!=>#8aRQWe$CyXK&R
zb4(5AAOsA~&fkWaqzRTl$N7DldrT83HCim;_&HMmKp@pRImJ?%P%4ORwL^r<f`n3S
zz=Dkyq6mnmKr<NMx#t2v%k2HFPkc=n&=&A0$ik(qpL}WtmAYhAUpeO4k-N(}#+=83
zvJ`(9a7oSO?5~vJ!&pyx2z(Q+qa%Sp*|ypU3f!MOrN4gBC{TmU#TalEZU;`^I3}nU
zR67Y7A)e^asoHvbJYi9&*rCsEN>#Hncma=0369oWbJK0OY8p+#jGi^JAXS%b6crB$
zNm5Rel>b}cq#l|8-Hk_|t;1sNtCe~Y@-=_zHdxyVB9nqF2FglR|C(wsEyunj$ODTT
znDiUk0bWS=^TW?@oYsrp4A=~#&CPD#(~ISq^)|>PAhcKD(XUAcunU)*R~r>f#_Mc}
z7^39+i^ob`-BUZ)eERgH&qxdKdZ%R+*PAjggnWPqiIyg{Z7~PC`}cTpc8G-z(&&Gh
zd}jY&(M>#`6vhguoC>u+u%gC(&YW`z`~0wGB##EDLiouQN1*WY^NQq>OUa3q{=z_%
zuMe7dKgVJ^#A}Geyd4MMty!9j9zI3Ib*Mp@I>Hhg>J43U$WjH+2v@IiQ|eYc+eNOL
z`}<_^f8axno@>F6<M`P$NamK9un~XedBFQlTJV7mwb(Z=-;BICUUgbRNl*Lk)<%_K
zoiD7M{Yez+)FuHdh~)$u^(?7{NXnCV_gM?+-dtG{%T^I)?1E+JpUjSWF-W~WCp2=T
zCC;RjuK1jr3GQbX*vq}t!g^QqhQ{3mIguT~<V|eMdFCBN^-K$@4<Xe{wJU$-;XOIH
zzc`l5L0wvxT|VGP1tm53h+wIX@A}>UmS<6fF4W-TyUwoM?Jmr?eXWB~*T*lE;#IQ<
zsa)&z>Xln}%D)s6g$UV=7oW5rVz9^)(%|WBdT7(UFNgo&?o~<4->mBLw}T&H={Ka)
zqPe&vBEFUfDS&(BVv9FjY2kl21wgpM*4^>4<(lY(qGwW5DbU>P6*8uDpVq?SorA8>
z&lJ4373R-2m&QGKLBY-gDFL(ik$Z~=U`yI{#Yb2FnPe>I!D4Od3L3X1DiSHh+<QmT
z8&U62ywG6<wgyYEsW9&%jNiHBKs?B{XeG*p7hn295%7Em_y>kCUS5Cw_#q2I7R^Xc
zTvoA$OU6Xw(w1DOtt0xWxf;nKmB$>fwBR!;R&e56?oxseuKL>W3DD0Of)zjfYENud
zkb`UbpUVABD9Jp=?9mak+XTf21tpB7F4-zV2|&h-Wv~7LZEjFY0Rle*KL7#%4gkqm
cu2!`Wvn8<z003<|005Id2v!CI2><{903cxwt^fc4

delta 1870
zcmV-U2eJ735}FYkP)h>@KL7#%4gl0uu2utr8Y9pL005ON001<TE(tf0Qr&-n^Zg<J
z>fa+pw88kBrioKDm|ND1P^ZKk>zNEM8=Aq#whCe5D}#aIDPo27VRsA9v4$8~9z+ym
zEtjE1U%meuzYQVm83B258dReSp+BPjgaW_#?c`Vc!EKrDJQ11E%iaQokjAWh=8$M~
zPC2YUQlXG2*VcFI>1t?hNdSL`MQaa<sbj0?Mh*5e&-GATFA&)N2+O#>%KQ>N4^FSW
z^dh=VONON|udd5<9J;tETtiH+mO2I!{BFb$ge<Cr!ao$(Ld1~vQ1hgPI)+DBGNopw
zhu7g`kPonHFRSsv>r<Z@xAcWW8)9$^%wc*jQjagOUPk+$I59Y{DIkBoC3#0FrQu_z
z;JHW#`3%Q1);TwR(X>~9lM>Nb=DUGIxpUauqfKF;$hD8YI1i%uJaH-BllR$S?vH;U
z9f~j<?EG=rFMU>TW6kr9qCYSo-m6$|xpU)g$37lnrd1G@Ue+rX_;wnQ#L%mu8MpA;
z(v%cJgA{HQiEKR9na6*rt_;#2N2p*9?TdcH{}-`8z^T{~G~GNYG0jDd+Tb-^YYvmA
zZrm&!X&7(Y4CFv}8HL4hxn7>;)0rgl(#7V+S+N4!fRe%!S}c^R;re{5MsVmeVeCh1
zTw9TxHqA@rt_~M+XJ=Sl>dqr7>!`bH-yZoLewCZZSn<wCPV;|e*6tbM(bn9eRyf+t
zfO9<iZDMDj3~*?nfvN3c^7a3w9~ooUqErC8k%3?rFYp4M>3ZkDBagD495ksp+~`g-
z6*(%Ial%$>4WP5)flGK7T_gU-0g`yi&d74$MqM1zhjIZU18!R+98^PE9u{m2(6oX^
zK^~0}av=26`Hg=W2-r5eymN6Y7`{pzeK}my99QipFp^*`f2Yqcu_jDy_8f29)%ftu
zZ28#tg3)GtPYDY?%d~3)>Q(;vJ<gyhmVXMe7lJ13F@|2}-tJB?k_yHAp-wW_O=is>
z-x{|$890DUi2xYP<I<O3{nT&KJaHH3Z$Yntg_Zh-hFX988ptd;YjXfu`s?(YQLCPl
zP4wI@cAfZjeSbP(&+nXc$gM<W!PsUZ`o(rK7&4(ECKdkgZBU<S|0aJO*_|%w?+x5h
zj(}=W%iMH!2@f?GUrFBeic!noDWRZ7Xpmtg8j_epM1<N59PcgBgrzVI88*b}qKtf1
z`7K#HOvZnjyCRdW&AL70F`NN_QWV-ZkIide(JLnEu`1lA(igZz8Q}pkbtX$zv))NB
zjI-|XeiAUbeq~T$5a$rrmSezVJs>$7TF2+*73jb*CaKhHbmVNAzsfV=DasDlSZA(8
zuKtl<{z`YgN%QG1kd!bvl`8iR3f||o`f6h`U7>$VtoikWfxxEA!*9L#A}*VG(eV|;
zI;gwIRsvqrd35~C$~V&hwV9ekBFx2y3}5ek)Q7TY!r}k%4DkMuuJ9eNU-q=UZVSGk
z$}cW|u)2;$SvtUn&pYWhgKrzUE~=*V6NSbMI9j5%L=ve-m9d21(M>yDxTt;)!cW{W
zrgncix>{YgeJJ7zkK!n7+iO<{K$A<op7wKFO@o5*AsO{)UZpxqsMzRVObLUzCF7BH
zkHw;o0{PG0i7)f)N|&YeU^oC;vq)NbwTHp`4i6eFHsI*v0?YZIM&OuA@KSHo{ok=+
zm4FfAPxz1Dxb5bjmz#r1{i6|xlW>ley|RCDm$<s5axm_X<fF+NdXfIm7l#~|-V-9T
zZyn3=sFiT?zK0AICdj`J$*2-Wzy~nY_&P9nQ)y6lnhuwezY~Fojp<RPKqE&OK$cgA
z3h2MF&Nd!gD<1q?nV>)guiGi5slaQ9%;M_5Wzw^05hl3h1>Tbh;99B;g%X5`?B##D
z=rT>z&-^I$22?c8jj*m#pct5lRUm8$Oxueo^yS2c=rhXikfm5Y=>uj?*kKkP0#MWz
z`v_|!J=9UVKJ&wJ6OZQC(u@-)kcgd5;xcrx7V<Y0QSyLgm0V=<Kui%feG!RL-uT+)
zzXVyPc`LwX3RoJPX|tRgEnZX3KAL|dUstnxf)x3=L$iQFnb2s)U^N2N45$s^$`Fjf
zOfhEawCdh<m_nJaeKWk6VMXUsab|%K)p+{Wh7`D=8p?b9n?G3|YEexIpz3HeZE;6z
zPlWY>_@KMK5S#_>eB6qFjl-ST>;{Rt7ve_Kla2Vg4f=}C5}z}?(fy6Tg;jrFg$QEp
zem^O9)p^0;ZVAe_-mR)es^xmXnH`<$SzHoXH&`+gN%B$CtnXnf${6(^x<edui)`e2
zh0nE!>v8$PVgx*@*SULydj(h}mT*Y?P@(k^@V;48oqr&5NK$E{=3CfAh0@1mEXI@f
zLK+K0smP}Q^WBt>fU3X#Oo1DRP)h*<KLbAi0ssyG)K#ul1A-bO&<6kjl`NAT30MXq
I2mk;80P(_}ga7~l