×

Framework for efficient security coverage of mobile software applications that is usable to harden in the field code

  • US 9,824,209 B1
  • Filed: 02/23/2013
  • Issued: 11/21/2017
  • Est. Priority Date: 02/23/2013
  • Status: Active Grant
First Claim
Patent Images

1. A method, comprising:

  • receiving an application in a first level of code, wherein said first level of code is executable code;

    translating the application to a second level of code different than the first level of code;

    creating a representation of an application that describes states and state transitions of said application;

    receiving a description of unwanted behaviors of said application;

    using said description and said representation to determine changes to code of said application wherein said changes to said code preclude said application from performing at least one of said unwanted behaviors; and

    instrumenting, by a static instrumentation unit within a computer system, said application with said changes to said code to create an instrumented application that does not perform said at least one of said unwanted behaviors, wherein said instrumenting of said application is performed at said second level of code.

View all claims
  • 8 Assignments
Timeline View
Assignment View
    ×
    ×