公开(公告)号：US20090138849A1

公开(公告)日：2009-05-28

申请号：US11929131

申请日：2007-10-30

Applicant: Don Syme

Inventor： Don Syme

IPC: G06F9/44

CPC classification number: G06F8/33

Abstract: A method of providing enhanced prompts in a visual editing environment is described. In an embodiment, these prompts may assist a programmer by identifying a set of possible decomposition cases following a decomposition statement relating to a variable. These possible decomposition cases are determined based on the variable's type. These possible cases are then refined based on existing decomposition constructs within the code to provide the user with a visual prompt of only those possible cases which have not already been considered. The process may be repeated as the programmer continues to write code such that the list of possible decomposition cases is iteratively refined.

Abstract translation: 描述了在视觉编辑环境中提供增强提示的方法。 在一个实施例中，这些提示可以通过在与变量相关的分解语句之后识别一组可能的分解情况来辅助程序员。 这些可能的分解情况是根据变量的类型确定的。 然后，根据代码中的现有分解结构，对这些可能的情况进行细化，以向用户提供只有那些尚未考虑的可能情况的视觉提示。 可以重复该过程，因为程序员继续编写代码，使得可能的迭代地改进可能的分解情况的列表。

公开(公告)号：US06851108B1

公开(公告)日：2005-02-01

申请号：US09714324

申请日：2000-11-16

Applicant: Don Syme ,  Andrew Gordon ,  Jonathan A. Forbes ,  Vance P. Morrison

Inventor： Don Syme ,  Andrew Gordon ,  Jonathan A. Forbes ,  Vance P. Morrison

IPC: G06F9/445 ,  G06F9/45

CPC classification number: G06F9/44589

Abstract: A verification module evaluates intermediate language code to verify that the code is type safe before passing the code for execution. Code that is not deemed type safe can cause execution errors, corrupt the runtime environment in which the code is executing, or cause unauthorized access to protected system resources. As such, the verification module protects a computer system from intentional or inadvertent breaches of the computer system's defenses. The verification module verifies the type safety of intermediate language code that supports significant high-level language constructs prohibited by verification modules in the prior art. One exemplary verification module verifies intermediate language code that includes one or more reference-based parameter, such as a pointer (or reference), a value class containing pointers, a RefAny parameter, or a nested pointer.

Abstract translation: 验证模块评估中间语言代码以验证代码在传递代码以执行之前是否类型安全。 不认为类型安全的代码可能导致执行错误，损坏代码正在执行的运行时环境，或导致未经授权的访问受保护的系统资源。 因此，验证模块可保护计算机系统有意或无意地违反计算机系统的防御。 验证模块验证支持现有技术中的验证模块所禁止的重要高级语言结构的中间语言代码的类型安全性。 一个示例性验证模块验证包括一个或多个基于参考的参数（例如指针（或引用））包含指针，RefAny参数或嵌套指针的值类的中间语言代码。