To by som netvrdil. Je to pekne modularne napisane a teda staci kazdy modul overit na bezne chyby ako memory leaky a pod., co je pomerne jednoduche (v porovnani s analyzou samotneho algoritmu). Ak zabezpecime to, ze ziaden modul nebude zasahovat do ineho modulu, tak mozeme podrobne auditovat len casti/algoritmy, ktore nas zaujimaju a zvysok prehlasit, za potencialne nebezpecny, ale len v pripade pouzitia a nie tym, ze tam ten kod existuje.