C-rusted is an innovative technology whereby C programs can be annotated so as to express ownership and borrowing of resources and several other non-trivial program properties, which can be formally verified through static analysis thus achieving strong safety and security guarantees.
C-rusted: Safe and Secure Programming in Standard C / Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico; Vetrini, Nicola. - (2024), pp. 1320-1321. (Intervento presentato al convegno IEEE 24th International Conference on Software Quality, Reliability and Security (QRS 2024) tenutosi a Cambridge, UK nel July 1-5, 2024) [10.1109/QRS-C63300.2024.00174].
C-rusted: Safe and Secure Programming in Standard C
Roberto Bagnara;Federico Serafini;
2024-01-01
Abstract
C-rusted is an innovative technology whereby C programs can be annotated so as to express ownership and borrowing of resources and several other non-trivial program properties, which can be formally verified through static analysis thus achieving strong safety and security guarantees.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
