Propostas para Dissertação

Mestrados no Departamento de Informática

Consultar ficha completa de uma proposta de dissertação

proponente: Daniela da Cruz, Nuno Oliveira
instituição/empresa: Checkmarx
tema/título: Abstract Interpretation Techniques to improve security analysis of C++
área científica: abstract interpretation, formal methods, security vulnerabilities, source code a
local: Braga
curso de mestrado: Mestrado Integrado em Engenharia Informática
Abstract interpretation is a formal methods technique that relies on a broad base of mathematical
theorems that define rules for analyzing complex dynamic systems, such as software applications.
Instead of analyzing each state of a program, abstract interpretation represents these states in a
more general form and provides rules to manipulate them. It produces a mathematical abstraction and
also interprets the abstraction. The idea in this master thesis is to capture all “side effects” of aliasing, pointer arithmetic,
type casts and unions possibly occurring in C/C++ software in order to have an improved set of
results regarding security aspects.