标签: 静态分析 - 文档

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

2026-04-12 13:28:01

Go 工具：go fmt、go vet、go test 命令 1. 使用 go fmt 统一代码风格编写代码时，缩进、空格和换行的风格如果不统一，会让代码难以阅读。go fmt 命令是 Go 语言内置的代码格式化工具，它能自动将代码调整为 Go 官方推荐的标准格式。打开终端，进入你的项目目录。

Go语言开发工具代码格式化

42 0

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

2026-04-08 23:28:35

Go 错误处理：err != nil 检查遗漏 Go 语言的设计哲学要求显式处理错误，但编译器并不强制开发者检查返回的 error 类型。这种“自由”往往导致运行时逻辑中断，因为错误被静默吞掉了。本文将指导你如何通过工具化手段和编码习惯，彻底消灭遗漏的 err != nil 检查。 1. 识别典型的

Go语言错误处理 errcheck

62 0

Python 代码质量：pylint 与 flake8 检查

2026-04-02 15:46:23

Python 代码质量：pylint 与 flake8 检查安装 pylint 和 flake8 工具是提升 Python 代码可读性与规范性的第一步。这两个工具能自动发现代码中的风格问题、潜在错误和不符合 PEP 8 规范的地方。安装检查工具 1. 打开终端（Windows 用户使用命令提示符

Python 代码质量 pylint

63 0

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

2026-03-19 17:47:40

ST跳转指令 GOTO 在IEC 611313标准的结构化文本（Structured Text, ST）中确实存在，语法为 GOTO labelname;，配合 labelname: 标签使用。但它在现代电气自动化工程实践中已被主流PLC厂商、安全认证机构和资深编程规范（如ISA88、IEC 615

GOTO危害结构化编程 PLC安全

58 0

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

2026-03-16 13:07:24

西门子TIA Portal 中使用 SCL（Structured Control Language）编写逻辑时，编译报错 Array index out of bounds（数组越界）是高频且易被误判的典型问题。该错误并非运行时异常，而是在编译阶段由 TIA Portal 的静态类型检查器主动捕获的

SCL编程数组越界编译报错

52 0

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

2026-03-15 17:29:53

西门子TIA Portal中SCL代码编译报“数组越界”错误，本质不是运行时崩溃，而是编译器在静态分析阶段检测到索引表达式存在超出声明边界的数学可能性。该错误不依赖实际运行值，仅通过代码字面量、常量传播和确定性表达式推导即可触发。以下为完整排查与修复路径，覆盖全部常见成因及对应操作。一、理解SCL

SCL编程数组越界编译错误

93 0

静态分析 共 6 篇文章

静态分析共 6 篇文章