标签:静态分析

共 6 篇文章

Go 工具:go fmt、go vet、go test 命令

Go 工具:go fmt、go vet、go test 命令 1. 使用 go fmt 统一代码风格 编写代码时,缩进、空格和换行的风格如果不统一,会让代码难以阅读。go fmt

# Go语言 # 开发工具 # 代码格式化
2026-04-12 183 0

Go 错误处理:err != nil 检查遗漏

Go 错误处理:err != nil 检查遗漏 Go 语言的设计哲学要求显式处理错误,但编译器并不强制开发者检查返回的 error 类型。这种“自由”往往导致运行时逻辑中断,因为错

# Go语言 # 错误处理 # errcheck
2026-04-08 200 0

Python 代码质量:pylint 与 flake8 检查

Python 代码质量:pylint 与 flake8 检查 安装 pylint 和 flake8 工具是提升 Python 代码可读性与规范性的第一步。这两个工具能自动发现代码中

# Python # 代码质量 # pylint
2026-04-02 226 0

ST跳转指令 GOTO 的危害:为什么现代ST编程建议禁止使用

ST跳转指令 GOTO 在IEC 611313标准的结构化文本(Structured Text, ST)中确实存在,语法为 GOTO labelname;,配合 labelname

# GOTO危害 # 结构化编程 # PLC安全
2026-03-19 240 0

西门子TIA Portal SCL代码编译报“数组越界”的边界条件检查

西门子TIA Portal 中使用 SCL(Structured Control Language)编写逻辑时,编译报错 Array index out of bounds(数组越

# SCL编程 # 数组越界 # 编译报错
2026-03-16 351 0

西门子TIA Portal博途软件编译SCL代码报“数组越界”的边界条件检查

西门子TIA Portal中SCL代码编译报“数组越界”错误,本质不是运行时崩溃,而是编译器在静态分析阶段检测到索引表达式存在超出声明边界的数学可能性。该错误不依赖实际运行值,仅通

# SCL编程 # 数组越界 # 编译错误
2026-03-15 419 0