Patent ID: 9507945
Filing Date: 2016-11-29
CPC Classification: G06F

Claim Text:
1. A cloud based architecture for automated vulnerability identification demonstration comprising: distributed cloud processing circuitry including a plurality of processors configured to execute instructions for: propagating each path of the function call tree, based on post conditions, backwards via Dijkstra's weakest preconditions variant; analyzing aliases and processing loops to generate a precondition, wherein analyzing aliases is performed using an “if-then-else” expression through a satisfiability modulo theories (STM) solver and processing loops comprises unrolling each of the loops of each path; using an automated solver to determine whether the precondition is realizable and, if so, providing program inputs required to realize the precondition; identifying code vulnerabilities of the program based on the provided program inputs, wherein the code vulnerabilities would allow an attacker to introduce and execute code on a computer executing the program; and generating analysis results including at least the identified code vulnerabilities, the analysis results being providable to a user, in an interactive tool, using a user interface.