android

Facebook paralelizou o Android com interpretação abstrata. Veja como funciona.

Como o Facebook usou interpretação abstrata e insoundness intencional para encontrar race conditions em escala em milhões de linhas de código Android.