Compositional Analysis

2 posts · 1 source

MetaBlog8 Mar

An open source compositional deadlock detector for Android Java

MetaBlog6 Sept

Finding inter-procedural bugs at scale with Infer static analyzer