Engineering solutions to hard program analysis problems | Dark Hacker News