[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    [Soot-list] Hi, could you please help me to update the iCfg in FlowDroid ?
From:       孟昭逸 <mzy516 () gmail ! com>
Date:       2018-05-25 15:00:54
Message-ID: CAKNb4E=SSM2R4vcwxNrO0ZPT3JcnYtTjQpF_9hb7HkkuF4nmXw () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Hi all,

Recently, I try to insert some new stmts in the method body after the iCfg
is built.

Unfortunately, I find that after I insert the new stmts in a method, the
previous and successive relations of original stmts in this method are not
updated.

For example,

method A {
   Stmt1;
   Stmt2;

   // this is the new stmt I have inserted.
   newStmt;

   Stmt3;
}

When I use the API "iCfg.getPredsOf(Stmt3)", the result is Stmt2 rather
than newStmt.

However, I have already used the API "iCfg.notifyMethodChanged(sootMethod)".

What should I do ?
Whether I have to rebuild the iCfg rather than update it ?
How can I solve this problem ?
Thanks a lot !

-- 
Best Regards,
Zhaoyi Meng

[Attachment #5 (text/html)]

<div dir="ltr"><div><br></div>Hi all,<div><br></div><div>Recently, I try to insert \
some new stmts in the method body after the iCfg is \
built.</div><div><br></div><div>Unfortunately, I find that after I insert the new \
stmts in a method, the previous and successive relations of original stmts in this \
method are not updated.</div><div><br></div><div>For \
example,</div><div><br></div><div>method A {</div><div>     Stmt1;</div><div>     \
Stmt2;</div><div><br></div><div>     // this is the new stmt I have \
inserted.</div><div>     newStmt;</div><div>    </div><div>     \
Stmt3;</div><div>}</div><div><br></div><div>When I use the API \
&quot;iCfg.getPredsOf(Stmt3)&quot;, the result is Stmt2 rather than \
newStmt.</div><div><br></div><div>However, I have already used the API \
&quot;iCfg.notifyMethodChanged(sootMethod)&quot;.<br \
clear="all"><div><br></div><div>What should I do ?  </div><div>Whether I have to \
rebuild the iCfg rather than update it ?</div><div>How can I solve this problem \
?</div><div>Thanks a lot !</div><div><br></div>-- <br><div \
class="gmail_signature"><div dir="ltr"><div>Best Regards,<br></div><div>Zhaoyi \
Meng</div></div></div> </div></div>



_______________________________________________
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]