Stephen Louis Watters

Address:

2001 N Buchanan Ct, Arlington, VA 22207

VIN:

1G1YW2DW7A5103568

Make:

CHEVROLET

Model:

CORVETTE

Year:

2010

US Patent:

20200089891, Mar 19, 2020

Filed:

Sep 17, 2018

Appl. No.:

16/132715

Inventors:

- Waltham MA, US
Uzma Nishat - Sahuarita AZ, US
Geoffrey G. Moyer - Tucson AZ, US
Stephen L. Watters - Tucson AZ, US
Jeffrey M. Vernon - Tucson AZ, US
Alex Dely - Tucson AZ, US

International Classification:

G06F 21/57
G06F 21/55
H04L 29/06
G06F 9/445

Abstract:

Methods, systems, and computer-readable mediums for detection of policy violations in an unmodified binary in a virtual environment include receiving the unmodified binary in an executable and linkable format (ELF). The unmodified binary is executed, via an emulator, within the virtual environment. The executing includes determining, by an instruction set emulator, a symbol that is referenced during the executing of the unmodified binary. The symbol, a current state, and a global state is sent to a software policy engine. The software policy engine determines an assertion associated with the symbol. The assertion verifies a policy is enforced. A previous state is updated based on the symbol. The assertion is executed based on the current state, the previous state, and the global state. The assertion is determined to have failed based on the executing the assertion. A warning is logged indicating the failed assertion.