Tigen Automated test generator for C Programs #static-analysis | Hacker News Reader