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 .