Hyperion

Hyperion is a cyber security technology designed to “look inside” an executable program and determine software’s function or “behavior” without the use of the software’s source code. Hyperion accomplishes this by generating associated program behaviors and the complete set of conditions under which they occur. These behaviors can be automatically checked for known malicious signatures and inspected by domain experts to assure correct operation and the absence of malicious content. Hyperion can also be used to check a program’s security properties and to optimize a program.