A CFL-r-based static analyser - View it on GitHub