Svadev mailing list

[Kumud Bhandari <kb20 AT rice.edu>]

Hello,
We are two graduate students taking COMP527 (Computer Security) course  
at Rice University with Prof. Dan Wallach. We are interested in  
looking into SAFEcode for our final project for this course. We found  
a number of open projects listed on SAFECode's website  
(http://safecode.cs.illinois.edu/projects.html). We were particularly  
interested in following topics:

-> Improve static array bounds checking
-> Create a simpler CompleteChecks pass
-> And some other optimizations such type-safety optimization (with  
garbage collection),  and hoisting checks out of monotonic loops.

We would like to know the status of these open projects (if they have  
already been tackled). Being able to talk to somebody from SAFECode  
Project regarding what could constitute an achievable semester-long  
project would be extremely helpful.

Thanking you in advance.


Best regards,
Kumud Bhandari
Rishi Surendran