Hacker News new | ask | show | jobs
Static analyzer IKOS 3.2 Released (github.com)
1 points by ivanperez-keera 899 days ago