HipHop static analyzer toolchain