Summer Code of idea


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


As suggested by the word "private" in the links, I can't open them,
and I suspect others can't either.