Vmware, Inc.

Warren Wu

Derek L Bruening

Vladimir L Kiriansky

Saman P Amarasinghe

Bharath Chandramohan

Sandy Wilbourn

Charles Renert

Timothy Garnett

Tim Garnett

A constraint is inserted into a program to address a vulnerability of the program to attacks. The constraint includes a segment of code that determines when the program has been asked to execute a 'corner case' which does not occur in normal operations. The constraint code can access a library of detector and remediator functions to detect various attacks and remediate against them. Optionally, the detector can be employed without the remediator for analysis. The context of the program can be saved and restored if necessary to continue operating after remediation is performed. The constraints can include descriptors, along with machine instructions or byte code, which indicate how the constraints are to be used.

Constraint injection system for immunizing software programs against vulnerabilities and attacks

Growing community of inventors

Los Altos, CA, United States of America

Warren Wu