[GSOC] [RFC] ALFPrinter: adding static WCET analysis to LLVM


I’m still wondering if there is interest for adding WCET static analysis to LLVM. I have had no responses yet.

I will be working on this anyway if it will not result in a GSOC project, so i really would like to know if there is a bit of interest in the addition to LLVM i am proposing. GSOC might only improve the quality of the end result.

Furthermore, i’m looking for a mentor for this GSOC project. Preferably, someone with a bit of knowledge of the MC layer. But anyone who is experienced with LLVM and has contributed to it will do. A co-mentorship is also a possibility as mentioned by [0].

Best regards,

[0] http://lists.llvm.org/pipermail/llvm-dev/2017-March/111471.html