Software de análise estática e dinâmica de condutas