3 ms·I found frama-c to be pretty good, including all the integer quirksby PhilipRoman 2y agoI found frama-c to be pretty good, including all the integer quirks