Tomáš Vojnar

Novas técnicas melhoram a verificação de gerenciamento de memória em programas de computador.

Uma ferramenta pra analisar problemas de memória em código C.

A validação precoce evita erros caros em sistemas como dispositivos de saúde.