4 ms·NASA's static analyzer IKOS 3.2-rc1 published – Request for testers2 points by ivanperez-keera 3y ago