Abstract Interpretation

3 posts · 1 source

MetaBlog8 Mar

An open source compositional deadlock detector for Android Java

MetaBlog15 Aug

Zoncolan: How Facebook uses static analysis to detect and prevent security issues

MetaBlog20 Feb

Open-sourcing SPARTA to make abstract interpretation easy