Programinės įrangos patikimumo didinimas: nuodugni tipo saugaus išteklių valdymo analizė su sistemos alokavimo tipais | MLOG | MLOG