Analyzing Undefined Behavior with John Regehr

<p style="margin: 0in; font-family: Calibri; font-size: 11.0pt;"> Rob and Jason are joined by John Regehr to talk about his job as a professor at the University of Utah teaching C++ courses and some of his research projects including souper and csmith.</p> <p style="margin: 0in; font-family: Calibri; font-size: 11.0pt;">  </p> <p style= "padding: 0px; margin: 10px 0px 15px 0px; border: 0px initial initial;"> John Regehr is a professor at the University of Utah where he's been on the faculty since 2003. He likes to work on compilers and software correctness, but used to work on real-time and embedded systems. When he has free time he likes to go hiking in the desert with his kids.</p> <h3 style= "font-weight: bold; -webkit-font-smoothing: antialiased; font-size: 18px; padding: 0px; margin: 20px 0px 10px 0px; border: 0px initial initial;"> News</h3> <ul style= "padding: 0px 0px 0px 30px; margin: 15px 0px 15px 0px; border: 0px initial initial;"> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href="https://www.bfilipek.com/2019/02/papers-kona.html" target= "_blank" rel="noopener">Five Awesome C++ Papers for Kona 2019 ISO Meeting</a></li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href="https://codingnest.com/the-future-of-catch2/" target="_blank" rel="noopener">The future of Catch2</a></li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href= "https://www.youtube.com/channel/UCAczr0j6ZuiVaiGFZ4qxApw/videos" target="_blank" rel="noopener">Some C++ on Sea videos already available</a></li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; bor