First look at InferSharp: AC# version of Facebook's Infer – Neel Bhatt

Infer belongs to Facebook and it is a static analysis tool to produce a list of potential bugs such as null pointer exceptions, resource leaks, annotation ...
http://dlvr.it/RvBxNn