google/souper — pull request #30 by jubitaneja (2014-07-24 08:34:47+00:00)
Title: Added instructions to teach souper about undefined behavior

Test cases to be integrated later.