Interpretica

Interpretica

UPTEC Asprela I

Na Interpretica, nós estamos a desenvolver ferramentas na análise estática inteligente de linguagem-agnóstica que são capazes de verificar soluções de software completas com todas as suas dependências e subprojetos num só contexto, descobrindo defeitos subtis e vulnerabilidades entre módulos. O analisador encontra violações na arquitetura antes de se tornarem em verdadeiros problemas. O núcleo matemático das nossas ferramentas têm fundações numa mistura entre métodos de Interpretação Abstrata e Verificação de modelos, em conjunto com abstrações precisas para representação de estruturas de baixo nível com todo o suporte de principais famílias de processadores, sistemas operacionais e compiladores. Nesta abordagem é baseada na nossa pesquisa na análise estática e na nossa experiência em cibersegurança. O nosso foco é fazer com que as nossas ferramentas sejam benéficas para os nossos clientes, oferecendo detectores génericos de defeitos e vulnerabilidades, comparações entre os comportamentos atuais e expectáveis (verificação), e a habilidade de customizar a análise para uma maior precisão no seu projeto.

Website

Email