Home » Tag Archives: seperation logic

Tag Archives: seperation logic

Infer – Open Source to find Bugs by Facebook

fb infer logo

Finding bugs in the code is really a hard task for the testing department since they need to check each and every part of the code. A simple mistake can provide access to the intruders, memory dump, application crash etc. Today Facebook announced that the Facebook Infer – Tool that helps to identify the bugs in mobile code before it ...

Read More »