它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
第三条是低级别的需求；它确实为软件必须完成的功能提供了足够的细节，使你能写成代码。
The third is a lower-level requirement; it does provide enough detail about what the software must do to enable you to write code.
因此，执行低级ACL实现的代码需要非常仔细和复杂的测试以及与应用程序程序员的较好隔离。
Therefore, the code that implemented the lower levels of the ACL implementation would require exceptionally careful and intricate testing and very good isolation from application programmers.
JAUS由于跟配方构造有关，所以定义了一种命令结构，跟微控制器的低级机器语言中的操作代码一样。
As it relates to recipe constructs, JAUS defines a command structure that operates like opcodes in the low-level machine language of, say, a microcontroller.
造成代码行数量增长的原因是由于DOMAPI的低级特性、对方法和编程样式不正确的应用以及对整个API缺乏了解。
What contributed to the increase in the number of code lines were the low-level nature of the DOM API, incorrect application of methods and programming patterns, and lack of knowledge of the full API.
使用MDD可在质量和效率上都有所提高，因为较低级别的抽象是从较高抽象级别的模型得到的，而低级别的抽象最终将用于生成代码。
Using MDD allows for quality and productivity gains because models at lower levels of abstractions are generated from models at higher levels of abstraction, which eventually lead to code generation.
清单6中的代码类似于清单5中的代码；虽然它很明显有些低级，但是您将获得很大的性能提高。
The code in Listing 6 is similar to the code in Listing 5; while it's obviously a little more low level, you get a significant performance boost.
DOMAPI的低级本质、方法和编程模式的不正确应用以及缺乏完整 API 的知识，都会致使代码行数增加。
The low-level nature of the DOM API, incorrect application of methods and programming patterns, and lack of knowledge of the full API all contributed to the increase in the number of code lines.
因为很难碰到一个很好的例子，它需要很多没有明显的错误、做作或低级之处的可移植性代码，只有这样才能很好地应用于非内核开发。
Because it's hard to come up with an example of code that requires much porting that isn't either obviously bad, contrived, or too low-level to apply well to non-kernel development.
如Meeraj之前所说，SCA还提供了协议抽象，这样在远程调用时代码就无需处理低级的传输层api。
As Meeraj mentioned previously, SCA also provides protocol abstraction so that code does not need to deal with low-level transport APIs when making remote calls.
他还说，现在许多开发者在指望Android提供各种各样的代码，比如电源管理代码以及其它有着潜在长远用途的低级功能。
He noted that many developers are now looking to Android for all kinds of code, such as code for power management and other low-level functions with potentially far-ranging USES.
正如本文所展示的，实现DAO模式需要做比编写低级别的数据访问代码更多的工作。
As this article has shown, implementing the DAO pattern entails more than just writing low-level data access code.
通过使用这种自动化，一些低级的源代码细节(如编码标准、复杂性和重复程度等)的处理成为了机器的职责。
And it's through this automation that low-level source code details like coding standards, complexity, and duplication (to name a few) become the responsibility of a machine.
这在实践上是很容易的；只要不编写对堆栈桢执行低级操作或对堆栈的布局作假设的代码就行了。
In practice this is easy; just don't write code that does low-level manipulations of the stack frame or makes assumptions about the stack layout.
最低级别的代码，“Transparent”，不能直接调用Critical级别的代码。
Code at the lowest level, "Transparent", cannot directly call functionality marked as Critical.
在下一篇文章中，我将向您展示如何将本文的代码打包为一个Firefow扩展，并对脚本进行更新以利用更低级别的安全限制。
In the next article I'll show you how to package the pieces from this one into a Firefox extension, with updates to the script to take advantage of the lowered security barriers.
虽然很难写出难以理解的“聪明”代码，它同时也使得一些低级操作，如位操作变得困难起来。
It's harder to write inscrutable "clever" code, but it makes low-level operations like bit-manipulation more difficult.
在基于语言考虑代码安全性的工作中，往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查。
In the area of language -based security, programs written in typed high-level languages need to be translated into those written in typed low-level languages.
因此用我提到的低级语言来编写解壳程序，这样就可以得到非常简洁的代码，而且无论怎样加壳程序都是可用的。
So let's assume the unpacker will be in the lower-level languages I spoke of and take solace that this is pretty straightforward code, and that the packer still can be in whatever.
因此用我提到的低级语言来编写解壳程序，这样就可以得到非常简洁的代码，而且无论怎样加壳程序都是可用的。
So let's assume the unpacker will be in the lower-level languages I spoke of and take solace that this is pretty straightforward code, and that the packer still can be in whatever.
应用推荐