Work in your project

Hi guys,

In next three years I'm going to get the scientific degree in System
programming.
That's why I'm looking for the interesting and actual theme not like a
new bicycle with square rings.
My degree work in university was connected with value range
propagation (VRP) functionality in clang static analyzer based on AST.
I founded it rather interesting and want to follow this direction with
your project.
As i know, VRP is a not new theme, and llvm and gcc projects already
have the similar feature.

It would be nice, if you suggest me good theme or give me the area
where I could find it.

--
Best regards,
Sergey