牛津大学出品的CSP验证工具,版本2.94linux下的直接配置环境变量就可以使用