wklieber //frob_addr(); I work in the Secure Coding group at CERT/SEI . Prior to that, I was a Ph.D. student in the Computer Science Dept at Carnegie Mellon University until I graduated in May 2014. My advisor was Prof. Edmund Clarke . My primary research interests include automated software verification and related technologies, such as SAT/QBF solvers.