3 ms·
Frama-C is indeed pretty cool, as long as your application is pretty self contained. Using frama-c on code that runs e.g. in the kernel breaks its models too mu
by junon 4y ago
Frama-C is indeed pretty cool, as long as your application is pretty self contained. Using frama-c on code that runs e.g. in the kernel breaks its models too much.