Týr : a dependent type based code transformation for spatial memory safety in LLVM

A linguagem C não provê segurança espacial de memória: não garante que a memória acessada através de um ponteiro para um objeto, tal como um vetor, de fato pertence ao objeto em questão. Em vez disso, o programador é responsável por gerenciar informações de alocações e limites, e garantir que apenas...

Full description

Bibliographic Details
Main Author: Araújo, Vítor Bujés Ubatuba de
Other Authors: Moreira, Alvaro Freitas
Format: Others
Language:English
Published: 2018
Subjects:
Online Access:http://hdl.handle.net/10183/174477

Similar Items