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.
O aplicativo Android do Facebook tinha um problema de performance. A thread da interface estava afogada em trabalho, mas mover código para threads de fundo…