Reasoning About LLVM Code Using CodeWalker Posted by mindcrime on Saturday November 14, 2015 @09:30PM from the arxiv.org dept. http://arxiv.org/abs/1509.06083 ( 1 comment | 35 points | on HN )