<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></p>
<div>Dear llvm and sva community:</div>
<div><br>
</div>
<div>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. </div>
<div><br>
</div>
<div>I conclude the work done during this week as follows:</div>
<div><br>
</div>
<div>Testing:</div>
<div>1. Fixed a bug in SpecializeCMSCalls. CFIChecks, which happens before SpecializeCMSCalls, produces a TargetList global variable. TargetList contains the targets of the specified function call and includes declarations of __loadcheck and __storecheck. The
specialize functions use a cast which only accepts the callinst of __loadcheck and __storecheck, the users in the TargetList cause the crash.</div>
<div>2. Fixed a bug in ExactCheckOpt which will cause safecode crash if the target basic block has only one instruction.</div>
<div>3. Fixed a bug which caused the test failure of safecode/test/core/byval-001.c and byval-002.c. </div>
<div>4. Successfully generate the gzip and flex using safecode with bbac support. Currently in will produce some load/store error at runtime, I will check is that a true positive error this week.</div>
<div><br>
</div>
<div>Plan for next week:</div>
<div>1. Discuss with my mentor Dr. John Criswell about the support of VLA size alloca.</div>
<div>2. Test the bbac implementation on other software and find if there is any bugs.</div>
<div><br>
</div>
<div>Please provide any feedback/suggestion including for format of this email. </div>
<div><br>
</div>
<div>I would also like to thanks my mentor John Criswell and other community members for providing quick help every time when I asked.</div>
<div><br>
</div>
<div><br>
</div>
<div>[1] https://docs.google.com/document/d/1SNmdULUqN52zDhM1Odw93DW_vX-2WlL0VgceNWaMLP0/edit?usp=sharing</div>
<div>[2] https://github.com/zhengyangl/safecode-llvm37/tree/safecode+llvm37</div>
<div><br>
</div>
<div>Best regards,</div>
<div>Zhengyang.</div>
<br>
<p></p>
</div>
</body>
</html>