<div dir="ltr">Hi Pengfei,<div><br></div><div>Glad you tried the program and it works fine to you for the first place. Dr. Swarup and John from UIUC wrote most of the code, and released the original code to public. Dynamic slicing tool is really very useful.</div>
<div><br></div><div>Giri is now far from perfect. For example, there are know bugs for multi-thread programs and I'm fixing it these weeks.<span style="font-family:arial,sans-serif"> </span><span style="font-family:arial,sans-serif"> I will take charge of this project for a while and hopefully more people will join it. Dr. Swarup and John will give us directions and suggestions (including coding reviews) if we meet challenges. </span><span style="font-family:arial,sans-serif">Dr. Swarup also suggested some works we should do next.</span><span style="font-family:arial,sans-serif"> </span><span style="font-family:arial,sans-serif">I shall maintain a TODO list in<a href="https://github.com/liuml07/giri/wiki/TODO"> the wiki page</a> of this project. Thus you can pick up one and make improvements according to your interest and schedule. The most obvious one is to make the code work with latest LLVM 3.4.</span></div>
<div><br></div><div>To get to know how the slicing passes work, there are sever papers for your information:</div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><div style="font-family:arial,sans-serif;font-size:15px">
- Differential Slicing: Identifying Causal Execution Differences for Security Applicaitons</div></div><div><div style="font-family:arial,sans-serif;font-size:15px">- Dynamic Program Slicing</div></div><div><div style="font-family:arial,sans-serif;font-size:15px">
- Precise Dynamic Slicing Algorithms</div></div><div><div style="font-family:arial,sans-serif;font-size:15px">- Using Likely Invariants for Automated Software Fault Localization</div></div></blockquote><div><br></div><div>
<font face="arial, sans-serif">Good luck!</font></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Sep 19, 2013 at 9:57 PM, Sun, Pengfei <span dir="ltr"><<a href="mailto:p.sun2@umiami.edu" target="_blank">p.sun2@umiami.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word">
Hi Mingliang,
<div><br>
</div>
<div>Yes, I have found your work and tried your code. It works very well. Great Work!</div>
<div><br>
</div>
<div>Your code is very helpful for me. I am very happy that you invite me to join this open source project. I am very interesting in dynamic analysis based on LLVM. However, currently, I maybe only do little work. Because I am new for LLVM and have many things
to learn. Anyway, I finally hope I can do some contribution. I am very appreciated if I can get your help in future.</div>
<div><br>
</div>
<div>Thank you very much!</div>
<div><br>
</div>
<div>Happy Mid-Autumn Festival!</div>
<div>
<div>
<div style="text-indent:0px;letter-spacing:normal;font-variant:normal;text-align:-webkit-auto;font-style:normal;font-weight:normal;line-height:normal;text-transform:none;font-size:medium;white-space:normal;font-family:Helvetica;word-wrap:break-word;word-spacing:0px">
<br>
</div>
<div style="text-indent:0px;letter-spacing:normal;font-variant:normal;text-align:-webkit-auto;font-style:normal;font-weight:normal;line-height:normal;text-transform:none;font-size:medium;white-space:normal;font-family:Helvetica;word-wrap:break-word;word-spacing:0px">
Best Regards,
<div>Pengfei</div>
</div>
</div>
<br>
<div>
<div>On Sep 17, 2013, at 5:04 AM, Mingliang LIU <<a href="mailto:liuml07@gmail.com" target="_blank">liuml07@gmail.com</a>></div>
<div> wrote:</div><div><div class="h5">
<br>
<blockquote type="cite">
<div dir="ltr">Hi, Pengfei,
<div><br>
</div>
<div>John and Dr. Swarup shared the code to me and I did some improvements this summer (supported by GSoC 2013). The code repository is at github: <a href="https://github.com/liuml07/giri" target="_blank">https://github.com/liuml07/giri</a></div>
<div><br>
</div>
<div>We're very glad that you are interested in doing dynamic analysis in LLVM too. I think we can work on this open source project together if you would like to join. Re-creating wheels is not needed if we can make the current tool general and most importantly,
good, enough.</div>
<div><br>
</div>
<div>Regards.</div>
</div>
<div class="gmail_extra"><br>
<br>
<div class="gmail_quote">On Thu, Sep 12, 2013 at 5:51 AM, Pengfei Sun <span dir="ltr">
<<a href="mailto:p.sun2@umiami.edu" target="_blank">p.sun2@umiami.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Dear John,<br>
<br>
Now, I want to do dynamic analysis by dynamic slicing based on LLVM. I just<br>
see that you have implemented dynamic slicing for LLVM. I also check the<br>
Giri project, and I don't find the code. I hope I can learn something from<br>
your code. I am very appreciated if you can tell me how to get the code or<br>
send me one copy.<br>
<br>
Thank you very much!<br>
<br>
Pengfei<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://llvm.1065342.n5.nabble.com/Dynamic-Analysis-tp42317p61104.html" target="_blank">
http://llvm.1065342.n5.nabble.com/Dynamic-Analysis-tp42317p61104.html</a><br>
Sent from the LLVM - Dev mailing list archive at <a href="http://Nabble.com" target="_blank">Nabble.com</a>.<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu/" target="_blank">
http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</blockquote>
</div>
<br>
<br clear="all">
<div><br>
</div>
-- <br>
<font face="arial, helvetica, sans-serif" style color="#666666">Mingliang LIU (刘明亮 in Chinese)<br>
<br>
PACMAN Group, Dept. of Computer Science & Technology<br>
Tsinghua University, Beijing 100084, China<br>
Email: <a href="mailto:liuml07@mails.tsinghua.edu.cn" target="_blank">liuml07@mails.tsinghua.edu.cn</a></font>
<div><font face="arial, helvetica, sans-serif" style color="#666666">Homepage: <a href="http://pacman.cs.tsinghua.edu.cn/~liuml07" style="line-height:19px;text-align:center" target="_blank">http://pacman.cs.tsinghua.edu.cn/~liuml07/</a></font></div>
</div>
</blockquote>
</div></div></div>
<br>
</div>
</div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><font face="arial, helvetica, sans-serif" style="background-color:rgb(255,255,255)" color="#666666">Mingliang LIU (刘明亮 in Chinese)<br><br>PACMAN Group, Dept. of Computer Science & Technology<br>
Tsinghua University, Beijing 100084, China<br>Email: <a href="mailto:liuml07@mails.tsinghua.edu.cn" target="_blank">liuml07@mails.tsinghua.edu.cn</a></font><div><font face="arial, helvetica, sans-serif" style="background-color:rgb(255,255,255)" color="#666666">Homepage: <a href="http://pacman.cs.tsinghua.edu.cn/~liuml07" style="line-height:19px;text-align:center" target="_blank">http://pacman.cs.tsinghua.edu.cn/~liuml07/</a></font></div>
</div>