- How to Adjust X and Y Axis Scale in Arduino Serial Plotter (No Extra Software Needed)Posted 5 months ago
- Elettronici Entusiasti: Inspiring Makers at Maker Faire Rome 2024Posted 5 months ago
- makeITcircular 2024 content launched – Part of Maker Faire Rome 2024Posted 7 months ago
- Application For Maker Faire Rome 2024: Deadline June 20thPosted 9 months ago
- Building a 3D Digital Clock with ArduinoPosted 1 year ago
- Creating a controller for Minecraft with realistic body movements using ArduinoPosted 1 year ago
- Snowflake with ArduinoPosted 1 year ago
- Holographic Christmas TreePosted 1 year ago
- Segstick: Build Your Own Self-Balancing Vehicle in Just 2 Days with ArduinoPosted 1 year ago
- ZSWatch: An Open-Source Smartwatch Project Based on the Zephyr Operating SystemPosted 1 year ago
Facebook open-sources Infer, a code-verification tool that squishes bugs before mobile apps ship
Facebook has announced that it’s open-sourcing Infer, a code verification tool used to identify buggy mobile code before it ships. The social network giant procured Infer as part of a deal to acquire “certain assets” of London-based Monoidics back in 2013, with the team joining Facebook in the process.
The company recently open-sourced HipHop VM (HHVM), a virtual machine for executing programs written in PHP that has been used by the Wikimedia Foundation (Wikipedia), Etsy, and Box. It also released React, a JavaScript library for building user interfaces. It has been used by the likes of Dropbox, Yahoo, and Adobe.
By offering Infer up to the wider development community to tinker with, Facebook is basically looking to improve the efficacy of the tool. As things stand, Infer can be run on Java, C, or Objective-C code, but “more is possible,” the company said. “With your help, we hope to expand the places where Facebook Infer is deployed.”
Source: Facebook open-sources Infer, a code-verification tool that squishes bugs before mobile apps ship