Coding bugs cause improper program behavior (behavior deviating from the requirements).
编码错误会导致不正确的程序行为(偏离需求的行为)。
As mentioned above, many types of memory usage errors are insidious: the program appears to behave normally, even though it's at risk for memory corruption and improper behavior.
正如上面所提到的，许多内存使用错误都是潜伏的：程序似乎在正常地运行，即使它所面临着内存崩溃或者错误行为的危险。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
First, they can use it as a debugging tool when confronted with a program bug or defect that seems to be related to improper memory usage.
首先，当您遇到一个程序错误或者看起来是与不适当使用内存相关的缺陷时，您可以把它当作一个程序调整工具来使用。
This program controls the execution of user programs to prevent errors and improper use of the computer.
这个程序通过控制用户程序的执行来避免错误的发生和计算机的不当使用。
This program controls the execution of user programs to prevent errors and improper use of the computer.
这个程序通过控制用户程序的执行来避免错误的发生和计算机的不当使用。
应用推荐