<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>I am sorry for this mess, could you please delete this mail, I have uploaded a new report.</p>
<p><br>
</p>
<p>Best regards,</p>
<p>Zhengyang.</p>
<br>
<br>
<div style="color: rgb(0, 0, 0);">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Zhengyang Liu <zhengyang-liu@hotmail.com><br>
<b>Sent:</b> Monday, June 13, 2016 4:59 PM<br>
<b>To:</b> llvm-dev@lists.llvm.org; svadev@lists.cs.illinois.edu<br>
<b>Subject:</b> [svadev] [GSoC'16] Weekly Status - Zhengyang Liu</font>
<div> </div>
</div>
<div><b id="docs-internal-guid-820835c9-48f5-0e98-cd6a-d951a74d4dac" style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">Dear
llvm and sva community: This is to brief you the progress of SAFECode's Memory Policy Hardening, for those who are interested to see the detailed proposal please consider [1] , for those who are interested to see the my working repository please consider [2].
During the previous weeks I have improved the robustness of bbac implementation in SAFECode. I conclude the work done during this week as follows: Testing: 1. Fixed a bug in SpecializeCMSCalls. CFIChecks pass, which happens before SpecializeCMSCalls, produces
a global variable called TargetList. The TargetList contains the targets of the specified function call and it includes the declarations of __loadcheck and __storecheck. The specialize functions in SpecializeCMSCalls use a cast which only accepts the callinst
of __loadcheck and __storecheck, </span></b><span style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">these</span></span><b id="docs-internal-guid-820835c9-48f5-0e98-cd6a-d951a74d4dac" style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">
users in the TargetList cause the crash. 2<b>. </b>Fixed a bug in ExactCheckOpt which will cause safecode crash if the target basic block has only one instruction. 3. Fixed a bug which caused the test failure of safecode/test/core/byval-001.c and byval-002.c.
4. Successfully generate the gzip and flex using safecode with bbac support. Currently i</span></b><span style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">t</span></span><b id="docs-internal-guid-820835c9-48f5-0e98-cd6a-d951a74d4dac" style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">
will produce some load/store error at runtime, I will check is that a true positive error this week. Plan for next week: 1. Discuss with my mentor Dr. John Criswell about the support of VLA size alloca. 2. Test the bbac implementation on other software and
find if there is any bugs. Please provide any feedback/suggestion including for format of this email. I would also like to thanks my mentor John Criswell and other community members for providing quick help every time when I asked.
</span></b><b id="docs-internal-guid-820835c9-48f5-0e98-cd6a-d951a74d4dac" style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap"><b id="docs-internal-guid-820835c9-48f5-0e98-cd6a-d951a74d4dac" style="font-weight:normal"><span style="font-size:14.666666666666666px; font-family:Arial; color:#000000; background-color:transparent; font-weight:400; font-style:normal; font-variant:normal; text-decoration:none; vertical-align:baseline; white-space:pre-wrap">Best
regards, Zhengyang.</span></b> [1]<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__docs.google.com_document_d_1SNmdULUqN52zDhM1Odw93DW-5FvX-2D2WlL0VgceNWaMLP0_edit-3Fusp-3Dsharing&d=CwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=GcTcRqvnhx8CtEmraMrjtmJijhJOjAcP0OQX3AZCRIM&m=a1toL_hZ1MHTHVJwMBz1J64lK1Uer_kRZhVsruoPSyo&s=HdM8an5c2IgeWYi_wpBhlbkjzWu3wsDBIgBS2Cr0T7I&e=">https://docs.google.com/document/d/1SNmdULUqN52zDhM1Odw93DW_vX-2WlL0VgceNWaMLP0/edit?usp=sharing</a>
[2] <a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_zhengyangl_safecode-2Dllvm37_tree_safecode-26-2343-3Bllvm37&d=CwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=GcTcRqvnhx8CtEmraMrjtmJijhJOjAcP0OQX3AZCRIM&m=a1toL_hZ1MHTHVJwMBz1J64lK1Uer_kRZhVsruoPSyo&s=ONXNUs0W3QXEcsiDnayzccrVqnBEwhv8Pu7ssmsPm9M&e=">
https://github.com/zhengyangl/safecode-llvm37/tree/safecode+llvm37</a> </span></b></div>
</div>
</div>
</body>
</html>