[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name    : infer
  Version         : 0.1.0
  Upstream Author : Facebook, Inc
* URL             : http://fbinfer.com/
* License         : BSD
  Programming Lang: OCaml
  Description     : static analyzer for Java, C and Objective-C

Facebook Infer is a static analysis tool - if you give Infer some Objective-C,
Java, or C code, it produces a list of potential bugs.

Anyone can use Infer to intercept critical bugs before they have shipped to
people's phones, and help prevent crashes or poor performance.


Best regards,
Michael

Attachment: pgpWsko7uJzZ0.pgp
Description: PGP signature

Reply to: