<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">Hi all,</span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">To help identify inter-process dependencies in distributed programs, I am attempting a Jimple-level instrumentation that inserts probes at all function calls for network data reads </span><span style="font-family:arial,sans-serif;font-size:13px">and writes. In the simplest case, I could just find all calls of Socket.getInput/OutputStream for such instrumentation points, yet that would not be complete. </span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">Is there any better approach to <i>completely (for a 100% recall) </i>instrumenting such interceptions though </span><span style="font-family:arial,sans-serif;font-size:13px">static analysis?  Or, as a compromise, is there some alternative dynamic-analysis approaches to capture all network I/O related function calls just for specific executions? </span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">I am also wondering if there exists any relevant facilities in the latest version of Soot or its derivatives (FlowDroid, for instance) that could help with this interception task. Any thoughts and clues are really appreciated.</span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">Thanks,</span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">Haipeng Cai </span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13px">______________________________</span><span style="font-family:arial,sans-serif;font-size:13px">_________________</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">Soot-list mailing list</span><br style="font-family:arial,sans-serif;font-size:13px"><a href="mailto:Soot-list@CS.McGill.CA" style="font-family:arial,sans-serif;font-size:13px">Soot-list@CS.McGill.CA</a><br style="font-family:arial,sans-serif;font-size:13px"><a href="https://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" target="_blank" style="font-family:arial,sans-serif;font-size:13px">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br></div></div>