[klee-dev] GSoC19 - LLVM KLEE

[preejackie]

Hi all,

I'm Praveen Velliengiri, Masters Student from India. I would like to 
contribute KLEE project this GSoC, under LLVM organization. But I didn't 
find any project ideas related to klee in LLVM ideas page. Hence, I 
thought it would be better to ask in this list than llvm-dev list. Is 
there any project available within the scope of klee, that can be taken 
up by a student? And anyone interested in mentoring for this GSoC'19.

  --
Have a great day!
PreeJackie