我正在阅读Rust书的生命周期章节，我看到了一个命名/显式生命周期的例子:我很清楚，编译器阻止的错误是分配给x的引用的use-after-free:内部作用域完成后，f和&f。X变得无效，并且

Java有一些非常好的开源静态分析工具，如FindBugs、Checkstyle和PMD。这些工具易于使用，非常有用，可以在多个操作系统上运行，而且是免费的。商业c++静态分析产品是可用的。虽然拥有这

是否有PHP源文件的静态分析工具?二进制本身可以检查语法错误，但我正在寻找做得更多的东西，比如:未使用的变量赋值未初始化就被赋值的数组可能还有代码风格的警告.．.