Максим Жуков — Боли и страдания парсинга ELF-файлов, или Ещё раз о безопасном программировании

Опыт разумной безопасной разработки на примере ELF parser. От Rust до CBMC, от «переписать с нуля» до «докрутить пару проверок»