facebookarchive/pfff
View on GitHub ↗ ★ 2,431 OCaml archived
Tools for code analysis, visualizations, or style-preserving source transformation.
39 mentions on Hacker News by 25 people: 7 stories, 32 comments · first 2011-07-18 · latest 2025-02-15
20082026
-
r2c / semgrep has truly come a long way since its incubation at Facebook: https://github.com/facebookarchive/pfff Remember using soot, kythe.io, & pfff to find the exact CTS (compatibility test suite) tests to run given code diff between…
comment by ignoramous · 2025-02-15 · in Did Semgrep Just Get a Lot More Interesting? -
…that I never need to craft an intricate regex or write a lengthy AST program. sgrep and patch from https://github.com/facebookarchive/pfff/wiki/Sgrep have helped me a lot in real large codebases. When I used semgrep as a software engineer,…
comment by herrington_d · 2023-12-10 · in AST-grep(sg) is a CLI tool for code structural search, lint, and rewriting -
▲ 79
Show HN: Semgrep Appstory by underyx · 2021-10-22 · 13 comments
-
Shameless plug, but this was also showing the content of the file! https://github.com/facebook/pfff/wiki/CodeMap There are lots of examples of OSS projects visualized here: https://github.com/facebookarchive/pfff/wiki/Examples
comment by padator · 2021-08-06 · in Show HN: Visualizing a Codebase -
https://github.com/facebookarchive/pfff where it was named “sgrep”. pfff is maintained by @aryx who was the original author and is a Facebook alum, see https://github.com/returntocorp/pfff for the official fork
comment by ievans · 2020-07-22 · in Semgrep: Lightweight static analysis for many languages -
…with 3 or more arguments. It's come in very handy for refactoring some troublesome codebases. [0]: https://github.com/facebookarchive/pfff
comment by predakanga · 2019-08-07 · in Don’t underestimate grep-based code scanning -
seems similar in spirit to facebook's [pfff]( https://github.com/facebook/pfff )
comment by zem · 2019-02-19 · in Rose: Compiler Infrastructure for Source-to-Source Program Transformation -
…a very niche application in terms of the number of people who do it. i was hoping facebook's pfff [ https://github.com/facebook/pfff/wiki/Main ] would extend that to language analysis tooling in general but it never seemed to catch on.
comment by zem · 2018-06-28 · in State of Multicore OCaml [pdf] -
▲ 1
Facebook PFFF – Tools and APIs to perform some static analysisstory by 7rin0 · 2017-02-24 · 0 comments
-
https://github.com/facebook/pfff is a tool which support pretty printing a bunch of different languages (currently c, c++, java, js, php, python, rust, and a bunch more). The idea is to have a common AST (with parsers for each language)…
comment by amenghra · 2017-01-10 · in A Prettier JavaScript Formatter -
…works, build refactoring tools, find bugs, etc. They have dedicated teams doing this. For example https://github.com/facebook/pfff . Formal proofs: there are specific applications (see Amazon's use of TLA+). I personally feel nearly every…
comment by amenghra · 2016-07-11 · in The Rustonomicon: The Dark Arts of Advanced and Unsafe Rust Programming -
…ocamltarzan which I used in pfff to factorize boilerplate by using auto-generated visitors. See https://github.com/facebook/pfff/blob/master/lang_php/parsin...
comment by padator · 2015-12-11 · in Why ML/OCaml are good for writing compilers (1998) -
…[2] Excuse the Unicode, I got bored ⬬══════━━━━━━──⋯𝅖܅܅܅܅﴿⌁⏧⌁﴾܅܅܅܅𝅖⋯──━━━━━━═══════⬬ [0] https://github.com/facebook/pfff [1] http://www.intertech.com/resource/usergroup/Neal_Ford-Buildi... [2] http://vjovanov.github.io/dsldi-summer-schoo…
comment by FractalNerve · 2015-08-20 · in Writing code that writes code – Hack Codegen -
…to understand code dependencies at different granularities (package, module, files, functions). [1] https://github.com/facebook/pfff/wiki/CodeMap [2] https://github.com/facebook/pfff/wiki/CodeGraph disclaimer: I am the author of those…
comment by padator · 2015-07-01 · in Ask HN: How do you familiarize yourself with a new codebase? -
…people who know better would correct you. Its a win-win. Good luck. [0] http://sourcegraph.com/ [1] https://github.com/facebook/pfff [2] https://opengrok.github.io/OpenGrok/ [3] http://www.stack.nl/~dimitri/doxygen/ [4]…
comment by ignoramous · 2015-06-26 · in Ask HN: How do you familiarize yourself with a new codebase? -
▲ 3
Facebook's Tools for static analysis, code visualizations and code navigationsstory by FractalNerve · 2015-06-12 · 0 comments
-
or to pfff: https://github.com/facebook/pfff
comment by padator · 2015-04-16 · in Kythe – A pluggable ecosystem for building tools that work with code -
…a history of open sourcing stuff, I hope they open source their tools mentioned in the talk. [0] https://github.com/facebook/pfff
comment by ignoramous · 2015-03-29 · in Notes from Facebook's Developer Infrastructure at Scale F8 Talk -
…lot of people coming around to OCaml. Facebook is using it for Flow and pfff language manipulation: https://github.com/facebook/pfff (I suspect Google's code analysis tools would be cut down in size by 5x if written like this in OCaml.)…
comment by chubot · 2015-03-12 · in How to Implement a Programming Language in JavaScript -
A similar effort by Facebook open sourced 4 years ago: (I'm one of the author) http://github.com/facebook/pfff/wiki/Main with indexers for PHP, C, Java, Ocaml, and preliminary support for many other languages.
comment by padator · 2015-01-27 · in Kythe: A pluggable ecosystem for building tools that work with code -
What's your static analyzer? It's probably written in OCaml, which some call the "practical Haskell". https://github.com/facebook/pfff/wiki/Main http://frama-c.com/
comment by gaius · 2015-01-02 · in Ask HN: What are specific tangible benefits of learning Haskell? -
…Matrix. In my experience they are more scalable than other forms of software visualization. See https://github.com/facebook/pfff/wiki/CodeGraph
comment by padator · 2014-11-21 · in Visualising dependencies in Go -
check out https://github.com/facebook/pfff
comment by DonPellegrino · 2014-09-02 · in Ask HN: I have to analyze 100M lines of Java – where do I start? -
…subprojects in pfff have a literate document that is synchronized with the code using syncweb (e.g https://github.com/facebook/pfff/blob/master/h_visualization... ). When I have errors in my code, or when I debug my code, I do it on the…
comment by padator · 2014-08-16 · in Show HN: Lit – a modern literate programming tool -
related work: https://github.com/facebook/pfff which focused on languages srclib didn't. Also a polyglot source analysis library.
comment by padator · 2014-08-15 · in Srclib: A polyglot code analysis library -
Parsing PHP in ocaml: https://github.com/facebook/pfff try ./pfff -dump_php /path/to/file.php
comment by padator · 2014-07-28 · in Parsing PHP in Go -
…[2]: https://github.com/janestreet [3]: https://bitbucket.org/janestreet [4]: https://github.com/facebook/pfff
comment by fabriceleal · 2013-08-02 · in Show HN: FUSE filesystem for Google Drive written in OCaml -
Reminds me of spatch: https://github.com/facebook/pfff/wiki/Spatch
comment by rraval · 2013-04-17 · in A semantic merge tool that understands your code -
…go forward with some confidence nobody will add to the problem while you're working on it. pfff: https://github.com/facebook/pfff
comment by nbm · 2013-02-03 · in On Python security amidst recent Rails/YAML vulnerabilities -
…stack, however, and functional languages have a significant beachhead in static analysis. pfff ( https://github.com/facebook/pfff ) is a sophisticated multi-language analysis and transformation framework written in OCaml. We use it for…
comment by kmavm · 2012-11-22 · in Leaving Microsoft -
…a BSc paper revolving around extending lex-pass. [1]: https://github.com/facebook/lex-pass [2]: https://github.com/facebook/pfff
comment by wink · 2012-11-22 · in Leaving Microsoft -
▲ 2
Pfffstory by m0th87 · 2012-10-10 · 0 comments
-
Is that tooling you mentioned related to/uses 'pfff' ? ( https://github.com/facebook/pfff )
comment by swah · 2012-06-29 · in Coding Horror: The PHP Singularity -
▲ 1
Syntactical patch: open source command line refactoring toolstory by DanielRibeiro · 2012-05-07 · 0 comments
-
Check this: https://github.com/facebook/pfff I don't think you can easily detect design patterns... you'll end up thinking about a "high level language where you can design just by dragging and dropping some blocks" which kinda doesn't…
comment by swah · 2012-01-30 · in Ask HN: Is it possible to semantically analyze code for design patterns? -
▲ 2
Pfff: A set of tools to perform source-to-source transformations on PHP etc.story by utkarshkukreti · 2012-01-04 · 0 comments
-
…Haskell (AST manipulation, afaik), OCaml (with a fairly interesting library for static analysis: https://github.com/facebook/pfff ), C++, and C (fairly self explanatory).
comment by strlen · 2011-12-13 · in Facebook releases HHVM, 60 percent faster than its current PHP interpreter -
…Some part of other projects: https://github.com/facebook/hiphop-php https://github.com/facebook/pfff/tree/master/lang_php/parsin... https://github.com/manuelpichler/pdepend http://sourceforge.net/projects/phpsecaudit/ http://l
comment by fooyc · 2011-08-10 · in Underscore.php -
▲ 8
Facebook's Syntactical grepstory by taylorbuley · 2011-07-18 · 2 comments