News for hackers. Stuff that matters.

A comment on Zoncolan: How Facebook uses static analysis to detect, prevent security issues.

Re:Zoncolan: How Facebook uses static analysis to detect, pr... by saagarjha on Sunday August 18, 2019 @06:11PM (#20733258)
Does this happen to use SPARTA (https://github.com/facebookincubator/SPARTA) for its abstract interpretation?
[ Parent | on HN ]
Re:Zoncolan: How Facebook uses static analysis to detect, pr... by phooji on Monday August 19, 2019 @12:14AM (#20734838)
Zoncolan and SPARTA both use abstract interpretation at their core, but as far as the code/implementation goes they are mostly unrelated. Zoncolan is built on top of the Hack type checker (https://hacklang.org/), which means that it's largely written in OCaml.
[ Parent | on HN ]