Intanto HDMI è un connettore e non un formato video mentre AC3 significa che l’audio è per forza multicanale.
Fra i programmi per analizzare i files video, il più famoso è sicuramente Gspot ma non credo realizzi una lista; dovrebbero invece farla MediaInfo e Griffith (quest'ultimo è anche in grado di prelevare i dati dal database IMDb).
Io personalmente mi sono trovato abbastanza bene con FilmUP ma sono diversi anni che non viene aggiornato e presenta qualche bug che non è mai stato corretto (però una volta che ci hai fatto la mano non ci fai più caso).