[prev in list] [next in list] [prev in thread] [next in thread]
List: soot-list
Subject: [Soot-list] Navigate through the JimpleBasedInterproceduralCFG
From: Marjan Radi <marjan.radi () yahoo ! com>
Date: 2015-07-13 0:26:41
Message-ID: 1561242800.788781.1436747201689.JavaMail.yahoo () mail ! yahoo ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Hi,=C2=A0
I have tried to use "JimpleBasedInterproceduralCFG", but it is not clear to=
me how can I use its methods, how can I use it to construct the applicatio=
n CFG and how to iterate through this graph.=C2=A0For iterating on=C2=A0app=
lication CFG, we must uses "getSuccsOf(unit)" method, but this method needs=
an input parameter with unit type. The problem is that I do not know how c=
an I initialize this input parameter before starting to iterate over the gr=
aph. =C2=A0I looked at=C2=A0https://github.com/Sable/soot/ tree/develop/src=
/soot/jimple/ toolkits/ide/exampleproblems,=C2=A0but it could not help me.=
=C2=A0Is there any example shows how can iterate over=C2=A0the CFG construc=
ted using=C2=A0JimpleBasedInterproceduralCFG? or=C2=A0Is there any example =
that uses this class which I can look at to do my implementation?=C2=A0
Best Regards,Marjan
[Attachment #5 (text/html)]
<html><body><div style="color:#000; background-color:#fff; font-family:Courier New, \
courier, monaco, monospace, sans-serif;font-size:13px"><div \
id="yui_3_16_0_1_1435795709338_285348" dir="ltr"><span \
id="yiv6114787365yui_3_16_0_1_1436416321149_22411" style="font-size: small;" \
class="">Hi, </span></div><div id="yui_3_16_0_1_1435795709338_285348" \
dir="ltr"><span style="font-size: small;" class="" \
id="yui_3_16_0_1_1435795709338_290005"><br class="">I have tried to use "</span><span \
class="" id="yiv6114787365yui_3_16_0_1_1436416321149_20645" style="font-size: \
small;">JimpleBasedInterproceduralCFG"</span><span class="" \
id="yiv6114787365yui_3_16_0_1_1436416321149_20646" style="font-size: small;">, but it \
is not clear to me how can I use its methods, how can I use it to construct the \
application CFG and how to iterate through this graph. For iterating \
on </span><span style="font-size: small;" class="" \
id="yui_3_16_0_1_1435795709338_285404">application CFG, we must uses \
"</span>getSuccsOf(unit)" method, but this method needs an input parameter with unit \
type. The problem is that I do not know how can I initialize this input parameter \
before starting to iterate over the graph. </div><div \
id="yui_3_16_0_1_1435795709338_285348" dir="ltr"><span class="" \
id="yiv6114787365yui_3_16_0_1_1436416321149_22159" style="font-size: small;">I looked \
at </span><a rel="nofollow" shape="rect" class="" \
id="yiv6114787365yui_3_16_0_1_1436416321149_21661" target="_blank" \
href="https://github.com/Sable/soot/tree/develop/src/soot/jimple/toolkits/ide/exampleproblems" \
style="text-decoration: none; color: purple; font-size: small; border: 0px; \
vertical-align: baseline; cursor: pointer; background-color: rgb(255, 255, \
255);">https://github.com/Sable/soot/ tree/develop/src/soot/jimple/ \
toolkits/ide/exampleproblems</a><span style="font-size: small;" class="" \
id="yui_3_16_0_1_1435795709338_285401">, but it could not help me</span><span \
id="yiv6114787365yui_3_16_0_1_1436416321149_21663" style="font-size: small;" \
class="">.</span><span id="yiv6114787365yui_3_16_0_1_1436416321149_21663" class="" \
style="font-size: small;"> Is there any example shows how can iterate \
over </span><span class="" id="yiv6114787365yui_3_16_0_1_1436416321149_20646" \
style="font-size: small;">the CFG constructed using </span><span class="" \
id="yui_3_16_0_1_1435795709338_285404" style="font-size: \
small;">JimpleBasedInterproceduralCFG? or </span><span style="font-size: small;" \
class="" id="yui_3_16_0_1_1435795709338_290004">Is there any example that uses this \
class which I can look at to do my implementation? </span></div><div></div><div \
id="yui_3_16_0_1_1435795709338_285349"><br></div><div \
id="yui_3_16_0_1_1435795709338_285349">Best Regards,</div><div \
id="yui_3_16_0_1_1435795709338_285349">Marjan</div></div></body></html>
_______________________________________________
Soot-list mailing list
Soot-list@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic