Facebook a parallélisé Android avec l'interprétation abstraite. Voici comment ça marche.
Comment Facebook a utilisé l'interprétation abstraite et l'insoundness intentionnelle pour trouver des race conditions à l'échelle dans des millions de lignes de code Android.
