Building your Own Static Analysis Tools for Automated Bug Hunting