4 ms·
Zoncolan: How Facebook uses static analysis to detect, prevent security issues
- saagarjha 7y agoDoes this happen to use SPARTA (https://github.com/facebookincubator/SPARTA https://github.com/facebookincubator/SPARTA) for its abstract interpretation?
- phooji 7y agoZoncolan 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/ https://hacklang.org/), which means that it's largely written in OCaml.