1 paper
Xuanyu Peng, Dominic Kennedy, Yuyou Fan +3
Static analyses play a fundamental role during compilation: they discover facts that are true in all executions of the code being compiled, and then these facts are used to justify…