Facebook has acquired certain assets of U.K.-based startup Monoidics, in a move aimed at bolstering the social network's increasingly important array of mobile applications and software. Monoidics, which is based in London, offers code verification software and quality assurance tools to analyze other companies' code and enhance it, partly by removing bugs or other defects. One tool, for instance, is Monoidics' Infer Static Analyzer, which the company refers to as the first advanced static code analyzer to focus directly on memory safety and security.