| | Bi-abduction to infer pre/post conditions automatically (fbinfer.com) |
|
1 point by bdg on May 24, 2022 | past
|
|
| | A tool to detect bugs in Java and C/C++/Objective-C code before it ships (fbinfer.com) |
|
104 points by rwmj on March 5, 2022 | past | 33 comments
|
|
| | Facebook’s Infer Static Analyzer (fbinfer.com) |
|
1 point by jbrot on June 11, 2021 | past | 1 comment
|
|
| | Fbinfer – Static code analysis tool from Facebook (fbinfer.com) |
|
3 points by sbtmuller on May 22, 2020 | past
|
|
| | Infer: A tool to detect bugs in Java and C/C++/Objective-C code before it ships (fbinfer.com) |
|
2 points by yarapavan on Nov 9, 2019 | past
|
|
| | Infer – open-source Java/C/C++/ObjectiveC static code analyzer (fbinfer.com) |
|
3 points by xvilka on Nov 1, 2019 | past
|
|
| | Infer – Static code analyzer to detect null references and memory leaks (fbinfer.com) |
|
2 points by kylegalbraith on Aug 3, 2018 | past
|
|
| | Facebook's Infer static analyzer (fbinfer.com) |
|
2 points by lladnar on July 23, 2018 | past
|
|
| | RacerD: Fast static race detection at scale (fbinfer.com) |
|
2 points by madmax108 on Oct 20, 2017 | past
|
|
| | Facebook's collaboration with Spotify on Infer (fbinfer.com) |
|
2 points by tilt on March 17, 2016 | past
|
|
| | Infer by Facebook – Detect Bugs in Android/iOS Apps Before You Ship Them (fbinfer.com) |
|
1 point by nikolay on Jan 13, 2016 | past
|
|
| | Facebook infer tool (fbinfer.com) |
|
2 points by antoaravinth on July 3, 2015 | past
|
|
| | Infer – Facebook's Static Analysis Tool (fbinfer.com) |
|
2 points by doppp on June 11, 2015 | past
|
|
