Linux code-base with ~12 MSLOC is analyzed in less than 10 min with pypy.