Library for running static analyses on PHP source code