android

Facebook распараллелил Android с помощью abstract interpretation. Вот как это работает.

Как Facebook использовал abstract interpretation и намеренную unsoundness для поиска race conditions в масштабе миллионов строк Android-кода.