首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

Python 静态类型检查入门

对于 Python 的话我们要加一些类型提示(注解),然后再用专门的静态分析工具去检查,我们的使用方式与类型提示是否一致。那下面就来实操下。...第一步安装类型检查工具 为了做静默类型检查,我们需要先安装一个官方提供的工具 mypy ;从 github 上看这个已经是官方第二大的项目了,这个工具的工程质量上确实不错。...,可以看到类型检查也过去了。...mypy --strict main.py Success: no issues found in 1 source file 运行程序检查结果是不是期望中的 20 python3 main.py...静态类型检查就能比较好地解决掉这些问题。 事实上我们在真正的开发上并不会,每次都会去运行程序做检查的,vscode 上有方便的插件可以用;不过这是后话了下次再说吧,这篇文章已经有点长了。

5010

Xcheck之Python安全检查引擎

image.png 0x00 Python安全检查引擎 Xcheck的Python分析引擎,能够自动分析Python写的Web应用,检测诸如命令注入、SQL注入、URL跳转、SSRF、XXE等常见的Web...0x01 Python作者谈Python静态分析 image.png Python语言的作者吉多·范罗苏姆曾经在第九届Laser Summer School(https://www.laser-foundation.org.../) 上分享Python语言设计,其中一个独立的章节是关于他对Python静态分析的想法。...吉多的答案是: Python解释器的原因 Python没有类型标注(3.5版本之后支持,但不是强制) Python的动态语言特性 Python用户偏好写一些奇技淫巧的代码(crazy hacks) 本文重点谈...0x04 Xcheck的设计 像Python这样的动态语言特性,为Python开发者提供了遍历,但同时增加了静态分析的难度。

1.2K70
领券