NASA's static analyzer IKOS 3.2-rc1 published – Request for testersgithub.com2 points·ivanperez-keera··0 commentsOpen articleSaveView on HN