Hacker GitHub

← All repos

meta/infer

View on GitHub ↗ ★ 15,741 OCaml

A static analyzer for Java, C, C++, and Objective-C

25 mentions on Hacker News by 21 people: 2 stories, 23 comments · first 2015-06-11 · latest 2026-03-20

Mentions per year 25 mentions · busiest year 2015 (6)
20082026
AllStoriesComments NewestTopOldest
  1. M8... https://github.com/facebook/infer
    comment by a-french-anon · 2026-03-20 · in A rogue AI led to a serious security incident at Meta
  2. https://github.com/facebook/pyre-check https://github.com/facebook/flow https://github.com/facebook/infer https://github.com/facebook/hhvm/tree/master/hphp/hack
    comment by stefanos82 · 2023-09-15 · in Should I Rust or Should I Go?
  3. …for this for C++, but it might be a different internal analyzer. [1]: https://fbinfer.com/ [2]: https://github.com/facebook/infer/blob/main/infer/documentat... (and related warnings, e.g., https://github.com/facebook/infer/blob/main/infer/d…
    comment by loeg · 2023-07-26 · in Memory Copy Hunting
  4. …Facebook's Infer tool [0]), but I think it will become much more important in the coming decade. 0: https://github.com/facebook/infer
    comment by Taikonerd · 2022-08-17 · in Programming breakthroughs we need
  5. …bar. If I was starting out, I'd probably focus on static analysis (eg. Infer or something similar - https://github.com/facebook/infer ) because those tools tend to be easier to learn, and they have the potential to scale to really big…
    comment by mikedodds · 2022-07-15 · in Formally Verifying Industry Cryptography
  6. …recently[1] it supports SARIF[2] output, thus could be easily integrated[3] with the GitHub. [1] https://github.com/facebook/infer/commit/9ec6cef8d1f48462919... [2] http://docs.oasis-open.org/sarif/sarif/v2.0/csprd01/sarif-v2... [3]…
    comment by xvilka · 2022-03-05 · in A tool to detect bugs in Java and C/C++/Objective-C code before it ships
  7. https://github.com/facebook/infer/issues/1607
    comment by hmottestad · 2022-03-05 · in A tool to detect bugs in Java and C/C++/Objective-C code before it ships
  8. https://github.com/facebook/infer/issues/1607
    comment by hmottestad · 2022-03-05 · in A tool to detect bugs in Java and C/C++/Objective-C code before it ships
  9. Looks active (as of 8 days ago) https://github.com/facebook/infer
    comment by murkle · 2022-03-05 · in A tool to detect bugs in Java and C/C++/Objective-C code before it ships
  10. …their BinCAT[4], and Frama-C[5]. [1] https://github.com/facebook/flow [2] https://fbinfer.com/ [3] https://github.com/facebook/infer [4] https://github.com/airbus-seclab/bincat [5] http://frama-c.com/
    comment by xvilka · 2019-10-30 · in Machine and Deep Learning with OCaml Natively
  11. https://github.com/facebook/infer Seems cool.
    comment by The_rationalist · 2019-10-08 · in C++ Ecosystem: Compilers, IDEs, Tools, Testing
  12. …called AL[2]. It is way less polished than Semmle, but opensource and with a good potential. [1] https://github.com/facebook/infer [2] https://fbinfer.com/docs/linters.html
    comment by xvilka · 2019-09-19 · in Welcoming Semmle to GitHub
  13. …or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer . When I worked at Bloomberg, they released BuckleScript for JS development. Not sure if that caught on…
    comment by isaachier · 2019-03-29 · in OCaml on Baremetal Shakti RISC-V Processor
  14. >>> Does Facebook actually want you to just use Ocaml? Facebook already uses OCaml. https://github.com/facebook/infer
    comment by StreamBright · 2018-11-10 · in ReasonML: Strict, powerful and forgiving
  15. …[1] https://github.com/facebook/reason [2] https://github.com/facebook/flow/ [3] https://github.com/facebook/infer [4] http://realworldocaml.org/
    comment by ngzhian · 2017-03-12 · in Ask HN: Is it worht learning OCaml?
  16. I wonder how it's comparable with Infer [1]. 1. https://github.com/facebook/infer
    comment by xvilka · 2017-01-10 · in PMD source code analyzer
  17. …Feel free to take a look at some Reason in the wild, used inside of the Infer project at Facebook: https://github.com/facebook/infer/tree/master/infer/src/IR Apart from that, although syntax is the "user interface" to a language, and user…
    comment by jordwalke · 2016-05-17 · in Reason: A new interface to OCaml
  18. …But if anyone is interested in trying it for lager examples, I can recommend their Docker file: https://github.com/facebook/infer/tree/master/docker
    comment by haches · 2015-12-17 · in Show HN: Try Facebook's static analyzer Infer online
  19. …http://research.microsoft.com/en-us/projects/dafny [2] http://www.chargueraud.org/softs/cfml [3] https://github.com/facebook/infer
    comment by mafribe · 2015-09-30 · in Haskell's Type Classes: We Can Do Better
  20. …in 2013. It's nice to see these types of acquisitions resulting in code getting opensourced. † https://github.com/facebook/infer/blob/2bce7c6c3dbb22646e2d6... ††  http://techcrunch.com/2013/07/18/facebook-monoidics/
    comment by ixtli · 2015-06-11 · in Open-sourcing Facebook Infer: Identify bugs before you ship
  21. …like facebook acquired this code http://www.theguardian.com/technology/2013/jul/18/facebook-b... https://github.com/facebook/infer/search?utf8=%E2%9C%93&q=mo...
    comment by amccloud · 2015-06-11 · in Open-sourcing Facebook Infer: Identify bugs before you ship
  22. Source code: https://github.com/facebook/infer 71.9% OCaml, 19% Java
    comment by frik · 2015-06-11 · in Open-sourcing Facebook Infer: Identify bugs before you ship
  23. …expressing computation on symbols, where usually you have few options for the input. See following: https://github.com/facebook/infer/blob/master/infer/src/chec...
    comment by istvan__ · 2015-06-11 · in Open-sourcing Facebook Infer: Identify bugs before you ship