Proteum fails to recognize functions within a software under testing. That's quite frequent. For instance, if a function makes use of 'sprintf', it is not recognized by Proteum. See Righetto's report:

"""
a ferramenta não consegue reconhecer todas as funções do código; não sei ao certo o porque isso acontece, mas fiz alguns testes e utilizar a função "sprintf" faz com que a função não seja reconhecida, ou utilizar acesso de vetor ou criação estática em uma função diferente da main. Porém, esta ultima afirmação eu não tenho total certeza porque em programas como QuadTree existe uma sctruct com declaração estática de vetor e funciona.
"""