svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] [GSoC'16] Weekly Status - July 11 - Zhengyang Liu

From: Zhengyang Liu <zhengyang-liu AT hotmail.com>
To: "llvm-dev AT lists.llvm.org" <llvm-dev AT lists.llvm.org>, "svadev AT lists.cs.illinois.edu" <svadev AT lists.cs.illinois.edu>
Subject: [svadev] [GSoC'16] Weekly Status - July 11 - Zhengyang Liu
Date: Mon, 11 Jul 2016 13:09:15 +0000
Accept-language: en-US
Authentication-results: spf=softfail (sender IP is 25.152.252.55) smtp.mailfrom=hotmail.com; lists.llvm.org; dkim=none (message not signed) header.d=none;lists.llvm.org; dmarc=fail action=none header.from=hotmail.com;

Dear community,

This is to brief you the progress of this week. Following is what I
finished this week.

1. The GEPChecks in SAFECode was not able to handle the vectorized
getelementptr instrument. I fix this and make GEPChecks support
vectorized GEP.
2. Found a linkage bug in BaggyBoundsChecks pass. The original
implementation will automatically change a external with common linkage
to a global with external linkage. A global variable with common linkage
must have a zero initializer, which is not applicable in bbac. Rewrite
linkage will allow bbac style tentative global definition. However, the
target linkage is wrong in this case, the correct target linkage is
WeakAnyLinkage.
3. Found a bug in the poolcheck runtime functions. The check function
will do nothing if the length argument of function is 0.
4. Write a temp wrapper function for getline and getdelim.
5. Make RewriteOOB insert a pchk_getActualValue() call before each GEP
instruction.

Best regards,
Zhengyang.

[svadev] [GSoC'16] Weekly Status - July 11 - Zhengyang Liu, Zhengyang Liu, 07/11/2016