Patents by Inventor Nathan Keith Walker

Nathan Keith Walker has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Non-invasive rule-based binary analysis of software assemblies
    Patent number: 7150008
    Abstract: Checking program elements and program element behaviors for adherence to software development rules. An analysis engine receives a rule assembly containing metadata and intermediate language instructions representing one or more rules. The analysis engine also receives a target assembly containing metadata and intermediate language instructions representing one or more program elements and/or one or more program element behaviors. The analysis engine identifies (e.g., through reflection or retrieval of intermediate language instructions) a program element or program element behavior from the target assembly that is to be checked for adherence to a rule from the rule assembly. The analysis engine applies the rule to the program element or program element behavior to check the program element or program element behavior for adherence to the rule. Results can be stored for later viewing by a programmer.
    Type: Grant
    Filed: April 14, 2003
    Date of Patent: December 12, 2006
    Assignee: Microsoft Corporation
    Inventors: Krzysztof J. Cwalina, Nathan Keith Walker, Michael C. Fanning, Bradley M. Abrams
  • Non-invasive rule-based binary analysis of software assemblies
    Publication number: 20040083464
    Abstract: Checking program elements and program element behaviors for adherence to software development rules. An analysis engine receives a rule assembly containing metadata and intermediate language instructions representing one or more rules. The analysis engine also receives a target assembly containing metadata and intermediate language instructions representing one or more program elements and/or one or more program element behaviors. The analysis engine identifies (e.g., through reflection or retrieval of intermediate language instructions) a program element or program element behavior from the target assembly that is to be checked for adherence to a rule from the rule assembly. The analysis engine applies the rule to the program element or program element behavior to check the program element or program element behavior for adherence to the rule. Results can be stored for later viewing by a programmer.
    Type: Application
    Filed: April 14, 2003
    Publication date: April 29, 2004
    Inventors: Krzysztof J. Cwalina, Nathan Keith Walker, Michael C. Fanning, Bradley M. Abrams