Experimental static analysis framework. - View it on GitHub