• Home
• com.alexkasko.krakatau
• krakatau-lib
• 1.0.1
• source code
• graph.pyc

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

Lib.Krakatau.ssa.graph.pyc Maven / Gradle / Ivy

?
?HRc@s(
dd
lZdd
l
Z
dd
lZe
jZddlmZmZmZm	Z	m
Z

ddlmZmZ
ddl
mZ
ddlmZ
ddlmZ
dd	lmZ
dd
lmZmZ
ddlmZmZmZ
def
d
??YZdef
d??YZd?Zd?Zd?Zd
S(i????Ni
(t
blockmakertconstraintst
variablegraphtobjtypestsubproc(t	ssa_jumpstssa_opsi(
tparseUnboundMethodDescriptor(
t
graph_util(
topnames(
tverifier_types(t
SSA_OBJECTt	SSA_MONAD(tslots_tt
BasicBlocktverifierToSSATypetSSA_VariablecBs/eZ
d	Zd
dd?Zd?Zd?ZRS(ttypetorigintnametconsttdecltypetcCs1|
|_||_
||_d|_d|_dS(
N(RRRtNoneRR(tselfttype_RR((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt__init__s

	
	
	
	
c

Cs#|jr|jSt
t|?j?S(
N(RtsupertVariablet__str__(
R((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRs
c
Cs5|jr|jnd
t
t|?
?
}
dj|
?
S(Nt
@sVar {}(Rthextidtformat(RR((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt__repr__s
(
(stypesoriginsnamesconstsdecltypeN(t__name__t
__module__t	__slots__RRRR"(((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRs
	t	SSA_GraphcBs?eZ
d\ZZZd?Zd?Zd?Zd?Zd?Z	d?Z
d	?Zd
?Zd?Z
d?Zd
?Zd?Zd?Zejej?
Zd?Zd?Zd?Zd?Zd?Zd?ZRS(i????i????i????c	Cs]i|_|
|_
|
j|_|jj|_|
j}t|j|jj|j?\}}g|D]}|j	|i?^qa}|j
t?
}td
|d|dg?}|g
||_
t|jdgdtj|d??
}	tdtf|fg
?
|	_g|j
D]}
|
dk	r
|
^q
|	_|	`|j
t?
}g|d D]}|j	|i?^qI
}t|jdgdtj||g
|??
}
td
|dgd|?|
_g|
_|j
t?
|j
t?
g
}}t|jdgdtj||g
|??
}td
|dgd|?|_g|_|	|
||_|_|_ d|_!dS(Ntmonadtlocalststacktlinestjumpii
("t_internstcodetclass_tenvtmethodRt
descriptorRtstatictmakeVarFromVtypetmakeVariableRR
t	inputArgsRtentryKeyRtGototODicttFalsetsuccessorStatesRttempvarstsourceStatest	returnKeytReturntinslotsRt
rethrowKeytRethrowt
entryBlocktreturnBlocktrethrowBlocktblocks(RR-R0t
inputTypestreturnTypestvttfuncArgstfuncInMonadt
entryslotstentrybt
xtnewmonadtnewstacktreturnbtrethrowb((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyR5s2
	
	

	
$%


'

+

)
.

	"
.

	
c
s?
|j}
t
j|jg
d
??}tt|?
?
}ttjjt	t|??
?
|_t
|j?
t
|
?
k
s{t?
t|j?
t|
?
kr?
t
|j?
?xF|jD];}x2|j
D]&}|d?kr?|j|?

q?q?Wq?W|j?kr	
d|_n|j?kr$
d|_nx?|jD]?}t?f
d?|jj?D?
?
|_|jr}
|j?ks}
t?
n|j?kr.
x/|jj?D]}tj||j?|_q?
Wd|_q.
q.
Wg|jD]}|jr?
|^q?
|_ndS(Nc


Ss
|jj
?S(
N(R+t
getSuccessors(
tblock((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt_sic
3s-|]#\}
}|?kr|
|fV
qdS(
N((t.0topRS(
tkept(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	rs(RERt	tarjanSCCRBtlisttreversedt	itertoolstchaint
from_iterabletmaptsettAssertionErrortlentpredecessorstremovePredPairRCRRDtprocsR8tcallopstitemsttargettretblocktvaluesRR7R+(RtoldtsccsRStpairtproc((
RWs9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytcondenseBlocksZs0
	

$!








(
	





c
s?|jst
?
g|jD]}
|
dk	r|
^q}x!|jD]}||jj7}qBWtj|d
??}t	|?
?d?ks?t
?
?f
d?}xB|jD]7}||j
?
|_
||j?
|_|j??

q?WdS(Nc


Ss|jr|jj
SgS(
N(Rtparams(
tvar((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRT?sc
s?g}
x?|D]?}?j|j
?
o8?j|j??
}|r?|
j|?

xT|j?D](}|r[|?kr[|j|?

q[q[Wq
?j|j??
s
t?
q
W|
S(
N(t
issupersetRot
isdisjointt
getOutputstappendtremoveOutputR`(toldopstnewopsRVtkeept
v(
tkeepset(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt	filterOps?s


(






(
RdR`R5RRER+RoRttopologicalSortR_tphisR*tfilterVarConstraints(RRMtrootsRSt	reachableR{((
Rzs9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytremoveUnusedVariables{s

(







c
CsOtj
t?
}
x9|jD].}x%|j?D]}|
|j|?

q,WqW|
S(
N(tcollectionstdefaultdictR_RERRtadd(RtsourcesRStchild((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt_getSources?s





c
sO|jst
?
i}
t?}|j?}x\|jD]Q??|krMq5nx6t?jj??
}t|?
d
kr{Pnt?jt	j
?r?Pn|j?\?
}t|?
?
d
kr?Pn?jj
?
j?

x??
jD]?}t|j?
d
ks?t
?
|j|j?|f?
}}|
j||?}||
||
j?D]/}x&|
||
kr?|
|
||
|?x%?j?jD]}|j|
?

qW?jj|
?

qWndS(Ni
c
3s3|])\}
}|
|?
kr$?n|fV
qdS(
N((RURVRj(RSR?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	?s(RdR`R_R?RER+tgetSuccessorPairsRat
isinstanceRtOnExceptiontpoptunaryConstraintstupdateR}tdicttrvaltgetR
tjoinR*RCRDRhR8ReRftreplacePredPairR?tkeystreplaceVars(RtreplacetremovedR?t
successorstjtypetphiRjtnewtuc1tuc2Rmt	successort
tt
bRV((RSR?s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytmergeSingleSuccessorBlocks?sZ

	






















!
!

!/
 

+






c
Cs
x
|jD]?}
x?|
j
j?D]?\}}|jdk	r d}|jd
dkru|j|jkr?|j}q?n+|jd
dkr?|j?r?d}q?n|dk	r?|jj	|?

d|_||_
q?q q Wg|
jD]}|jdk	r?|^q?|
_q
W|j
?
dS(Nitinttobjtnull(RER?RfRRRtmintmaxtisConstNullRuRR}R?t
_conscheck(RRSRptuctnewvalR?((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytdisconnectConstantVariables?s 











	

2
c
Cs
|j?}
x?|j
D]?}|
|d
?|jD?
ks?t?
x?|jD]u}|jdksv|j|jksvt?
xE|jj	?D]4\}}|j
dks?||djks?t?
q?WqIWqWxL|jD]A}x8|jD]-}t
|jj?
t
|j?
ks?t?
q?Wq?WdS(sSanity checkc
Ssh|]\}
}|
?qS(((RUt
kR?((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	?s	iN(R?RERbR`R}R?RR?R?RfRRdReR_tretoptinputtout(RR?RSR?R?RyRmtcallop((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyR??s

#

'

4


c
Cs?|jst
?
tj|j|j?}
tj|
?

x?|jD]?}x?|jj?D]?\}}|
|j	d
}|dkr?|j|=|jdk	r?|jj|?

d|_nd|_
qUtj||?}||j|9
s(R?RER+R?RcRthasattrRoR`R^R?R?R?R_treduceSuccessorsR?Rn(
RR?RSR?R?toldEdgestUCstnewEdgesRMtprunedt	badblockstnewbadtbadpairs((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt
simplifyJumps
sB

	










%

!
	
	


:





cCs
tj|
?
S(
N(
tcopy(RRp((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt_copyVarJ
scs?t|
j
?
d
kst?
|
j
j?d\}}|
j|
j}}|
j?
|j}?
f
d?}tj	|g
|?}?
|kr?||kr?||kr?||ks?t?
|j
|ks?t?
i?i?x?|D]?}	td|	j|jfdgdd?}
|
`|
?|	<|jj|
?

x0|	jj?D]\}}|j|?
?|||_q>q>Wq?Wt#|	jt$j%?s?t?
|	jj&?}|j ??

d	?|j'?D?
}|j(??

|j)|?

||
_x?|
jD]4}|jdks?|j|
j|
jks?t?
q?Wq&W?
j*|t+f?

x"?
jD]}??
j*|?

q8W??
?|_|_|
j
|=t$j,?||j?}||j
|<|j-j|?

t|j?
td
?|jD?
?
ks?t?
dS(Ni
ic

s*|jr&|?kr&t
|j?d
SgS(Ni(Rbtzip(
RS(
Rg(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRTU
stkeyR*R+c
3s%|]\}
}?|
|fV
qdS(
N((RURptUC(
tvarmap(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	d
sc
sCi|]9\\}
}}?
j||??j|
|
?|f?qS((
R?(RUtsbR?Rp(tblockmapR?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys
u
s	c
Ssi|]}
|
|
?qS(((RUR?((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys
?
s	c
Ssh|]}
|
j?qS((
R?(RUR?((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	?
s	(.RaReR`RfRhR?RgtfallthroughRR|RBRR?RR<RERtR?R?R8R+R?RbR}R?R?R?RtPhiRR*R?R?treplaceOutVarsRsR?Rt
ProcCallOptcloneRRR?t
replaceBlocksRcR9tProcInfoRd(RRmR?t	callblockRhR?tftblocktgetpredstregionRStnewbRpR?tblock2R?R?R?tvalsR?R?RVtoutVarttempmapRltproc2((R?RgR?s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt
_splitSubProcL
sz


	
	

6




'





,







3



7	

"




















	
6








c	s?t|
j
?
d
kst?
|
j
j?d\}}|
j|
j?}|
j?|j}?f
d?}tj	?g
|?}?|kr??|kr?||kr?||ks?t?
?
j
|ks?t?
g|jjD]}|j|t
f?
^q?}	g|	D]??j|k	r??^q?}	?
f
d?tj|	|?D?
?x?tj|	|?D]?\?}
|
?kr?
|
j|t
fg
ks?
t?
?f
d?|
jD?
}n??fd?|
jD?
}??|
f}tj?
|
||?|_}|
jj|?

|j?|
j|?
s	c
si|]}
?|
?qS(((RUR?(
Rp(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys
?
s	c
s'i|]}
??
|
df|
?qS(
i((RUR?(tsvarcopyRp(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys
?
s	c
s#i|]}
?
|
?f|
?qS(((RURy(RhR?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys
?
s	(RaReR`RfRhR?RgR?RR|RBR}R?R9RR[tproductRbRR?RtR?R?R?RR7R+R?R?(RRmR?R?R?R?R?R?R?tskipvarsRSR?R?t
outreplaceR?Ry((RhRR?RgRps9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt_inlineSubProc?
s<


	
	

6
.
("













c
s?
|j?
|j
sdS|j??
i}
xZ|j
D]O?tj?jg
??
fd
??}|j|ksrt?
t|?
|
??
s	trepeatitparentssSWarning, nesting subprocedures detected! This method may take forever to decompile.i
t	splittingtinlining(R?RdR?RR|RhRBR`t	frozensetR[R?RrReRiRtR?tanyR?RaR?R?(RtregionsR?R?RMt
y((RmR?s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytinlineSubprocs?
s2


	



$


%

	




	

	

c
Os%t|
|?}|
d
d
d
}|S(Ni(
R(RtargstkwargsRptpref((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyR4?
s

cCsq|j|
|
?}
t
|
?
}|dk	rm|j|?
}|tkritj|
?
}|j|?
|_n|SdS(
N(	R?RRR4RRtverifierToSynthetict	_internedR(RtvtypetinitMapRRpttt((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyR3?
s







cCsMy|j|
SWn7t
k
rH


t|j?
d
krD|
|j|
s	(RfRR?(tparentRStoutvart
dR
tpairs((
R
s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytmakePhiFromODicts

cCs|
|jkp|
|j
kS(
N(RCRD(R
RS((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt
isTerminals
c-	s?t|?
?i}x3|
D]+}|j
tjkr|j||jqen|j;j??|_>|j@}%tA?||%j#|j;d
??|%j#_BxSt-|%j!?
D]B\?}&|&dk	r?tA?||&|j;?f
d??|&_Bq?q?Wxkt-|%j"?
D]Z\?}&|&dk	r:tA?||&|j;?f
d??|&_B|&jBjC|&ks?t?
q:q:W|`;|`@|%j#g
|%j!|%j"}'g|'D]}(|(dk	r?|(jB^q?|_=x^|j=D]S})g|)jDD]}(|(jE^q}*|*s?t2|*?
t2|)jCjEg
?
ks?t?
q?WqeWi?f
d
?
}+x?|D]?}tF|j&?
},|`&d|,ks?t?
|,g|j=D]})|)jC^q?7},xM|jGD]B}|,|jD7},|,g|jH?D]}|dk	r?|^q?7},q?W|,|jjD7},x!|,D]}(|+|(?
|jI|(#s	c
ss?|]5}
t|
j
tj?r|
j
jtj|
?
fV
qdS(
N(R?R+RtDummyRetRgR?(RURS((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	'siR'R(R)t	fillvaluec
ss$|]}
t|
j
j??
V
qdS(
N(R_R?R?(RURV((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	Tsc
3s-|]#\}
}|
?kr|
|fV
qdS(
N((RUR?Ry(
R?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pys	Vsc


Ss|jS(
N(
R'(
t
i((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRTrsc

s|j?S(
N(
R)(
R
(
R?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRTusc

s|j?S(
N(
R((
R
(
R?(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyRTxscsZ|j|j
|jf}y|
|SWn/tk
rU


tj?j|?|
|<}|SXdS(
N(RRRR?R
tfromVariableR/(Rpt_cacheR?ttemp(
R
(s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytmakeConstraint?s






(NR&RVR	tNEWttarget_typet	push_typeR
tT_OBJECTR.Rt
T_UNINIT_THIStvisitedRtfromInstructionRBRCRDR?R+RR?R8tiNodeR?treturnedFromR`R

R:R?R9tnext_instructionR^R?R)R(R'R
tregisterOutsR;R?RiR[tizip_longestRtmaskst	enumerateReRgRhR?R_tintersectionR?RfRdR	
tgetNormalSuccessorstgetExceptSuccessorsR?R<R?R}RbR?R?R
RR?RoRRYR*RsR?R?RER,R?(-R-tiNodesR?tnodeR
REt	blockDictRStjsrsRdRgR?RhR?tjsrslotstretslotsROt	newlocalsRNtnewslotstzippedtentrytmaskR
RMR?tmergedtmerged_slotsRmtopsRVR?t
oR?texctoutstatetdesttinsRytphivarsRpR?ttypesR
tbvars((R?R?R
s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pytssaFromVerifieds?





1
 
.




	

	









8
=




6




	

	



0
	


U
U
"


'





	
	


	'


.


'


+

6	



#



3





	


(R[R?R?tOrderedDictR8RRR
RRRRRtverifier.descriptorsRRR	tverifierR
t	ssa_typesRRR
RRtobjectRR&R
R	
R8
(((s9/home/alex/projects/github/krakatau/Krakatau/ssa/graph.pyt
s$
	(





$??