Formal verification with frama-c
Frama-c is a wonderful tool, but it is also a somewhat exotic C compiler so lots of changes have to happen because GCC builtins are not present.
Frama-c is a wonderful tool, but it is also a somewhat exotic C compiler so lots of changes have to happen because GCC builtins are not present.