The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Aug. 13, 2019

Filed:

Feb. 26, 2016
Applicant:

Oracle International Corporation, Redwood Shores, CA (US);

Inventors:

John Smiljanic, Austin, TX (US);

Shailesh Vinayaka, Los Gatos, CA (US);

Assignee:

Oracle International Corporation, Redwood Shores, CA (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 21/00 (2013.01); H04L 29/06 (2006.01); G06F 8/41 (2018.01); G06F 21/60 (2013.01); G06F 16/22 (2019.01); G06F 8/75 (2018.01); G06F 21/57 (2013.01); G06F 21/52 (2013.01); G06F 21/54 (2013.01);
U.S. Cl.
CPC ...
G06F 8/41 (2013.01); G06F 8/427 (2013.01); G06F 8/43 (2013.01); G06F 8/75 (2013.01); G06F 16/22 (2019.01); G06F 21/577 (2013.01); G06F 21/604 (2013.01); G06F 2221/033 (2013.01);
Abstract

An example system and method for securing computer code of a dynamic Domain Specific Language (DSL) that leverages a General Purpose Language (GPL). An example method includes enhancing compile-time security enforcement functionality for computer code written using the DSL, in part by using a compiler to perform static analysis on the DSL computer code. The static analysis includes referencing a security policy defining one or more unacceptable program behaviors; and indicating when execution of the computer code would result in performance of the one or more unacceptable program behaviors based on results of the static analysis.


Find Patent Forward Citations

Loading…