Facebook's Code Checker - Computerphile

Pan z filmu jest twórcą programu Infer - startupu kupionego przez Facebooka. Infer jest static code checkerem opartym na autorskim rozwinięciu obecnej wiedzy symbolicznej analizy kodu. Wersję stabilną osiągnął 4 dni temu. Java, C++, Objective-C i C. Podobno dobrze sprawdza się jako review-bot.