каким образом он ищет необходимые кодеки?

Наверно, на сайте проги есть список этих кодеков. Или через Гугл.

К чему такие сложности ?
Просто список нужных кодеков и официальных мест, где их можно скачать, уже зашит в программе.
Прога тестит видео, определяет нужный кодек и лезет за ним на его сайт.

А может быть, и НЕ на оф.сайт... Разработчики вручную отслеживают обновления кодеков и скачивают их в специальный раздел на сайте Avi Player-а. А тот уже просто лезет в этот раздел и получает всегда свежую версию. И без риска, что сайт кодека переедет, закроется, страницы и ссылки поменяются или ещё чего-нибудь.

Можно придумать массу простых вариантов.