A modular and extendible static analyzer