Here are my submitted proposals, and they are still in progress.
Wellcome your comments, if you have some interest in the topics.
Update the SAFCode project to the new LLVM API
Check bounds overflow bugs in C programs based on LLVM
ABCD: Eliminating Array Bounds Checks on Demand