Facebook is looking to up its levels of security.
The social network has acquired the assets of UK-based bug-checking software maker Monoidics for an undisclosed sum. Monoidics announced the acquisition on its website this week, noting that its technical team will be joining Facebook's London office once the deal has fully closed.
Founded in 2009, Monoidics specialises in the verification and analysis of software. The company's Infer Static Analyzer checks code to ensure it's free of security bugs, such as memory leaks and illegal pointer references. Another product called Infer X-Ray helps engineers visualise software quality and identify critical areas of risk that need the most improvement.
In a blog post, the Monoidics team said that over the past three years it's "gone from theoretical ideas in logics of programs all the way to a company with a world-class engineering team, real customers and an office right in the midst of London's Silicon Roundabout. It's been incredible journey. . . we've loved every minute of it!"
The post continued, "We have always looked for ways we could do even more, and when we met members of Facebook's engineering team, we realized how much we have in common: a relentless focus on quality, a desire to move fast and try new things, and a passion for making an impact."
"Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise," the post continued.
Meanwhile, Facebook London engineer Philip Su confirmed the buy in a subsequent post to his timeline.
"This asset acquisition represents our investment in the quality of our mobile applications platform and also our people," he wrote. "We have always focused on hiring smart, talented engineers - and in this acquisition, we found many."