Facebook udostępnił na wolnej licencji program Infer, którego zadaniem jest weryfikacja kodu mobilnej aplikacji. Oprogramowanie działa z poziomu konsoli, a jego użycie to wydanie prostego polecenia przed każdą uruchamianą aplikacją. Infer został napisany w Pythonie i póki co działa jedynie na Linuksie oraz OS X. Program potrafi analizować kod Java, C lub Objective-C dla Androida i iOS. Programiści pracują obecnie nad dodaniem nowych języków oraz innych funkcji.