MÉTODO DE EXECUÇÃO FORÇADA DE INTEGRIDADE DE CONTROLE DE FLUXO EM UM BINÁRIO MONOLÍTICO USANDO ANÁLISE ESTÁTICA

IPC Classification

Abstract

A presente invenção se refere a um método de execução forçada de Integridade de Fluxo de Controle (CFI) para um binário monolítico usando análise estática que compreende as etapas de: marcar algumas funções avaliadas como funções de núcleo por uma heurística escolhida ou empiricamente; gerar o gráfico de chamadas de binário; - se o gráfico de chamadas de binário de análise estática estiver incompleto, então: definir o privilégio 2 para funções com estimativa incompleta; definir o privilégio ad hoc para funções específicas; - gerar a política; - agrupar todos os nós de função das funções de núcleo como um nó de privilégio superior (conjunto 0); - agrupar todas as funções leaf em um nó sem privilégio (conjunto n); - agrupar todos os nós sem privilégios que alcançam funções de privilégio i e definir o privilégio do nó agrupado como i + 1; - verificar se existe um nó sem privilégio além da função trivial; em caso positivo, retornar para a etapa anterior de agrupar todos os nós sem privilégio e configurar o privilégio do nó agrupado como i + 1; em caso negativo, definir o privilégio das funções triviais como i + 2.