Toolkit for static program analysis