Frama-C
Procedural programming languages
Pointer
Memory safety
C
Computing
Computer programming
Software engineering