android

Facebook parallelisierte Android mit Abstract Interpretation. So funktioniert es.

Wie Facebook abstract interpretation und intentionale Unsoundness nutzte, um Race Conditions in Millionen Zeilen Android-Code im großen Maßstab zu finden.