(57) ABSTRACT A method for automatically detecting security vulnerabilities in a client-
server application where a client is connected to a server. The method is implemented by a …

BACKGROUND Users of computer systems acquire software applications from a variety of
sources today. Whereas traditionally soft ware was distributed by selling boxed software with …

JavaScript 6, 13 plays a central role in modern web appli cations. Although originally
designed for simple Scripting, modern JavaScript programs are complex pieces of Software …

A method, apparatus and product for using a predictive model to predict if inputs reach a
vulnerability of a program. Given a sample input, which when provided to a program being …

A method for runtime self-protection of an application program includes, before running the
application program, identifying input and output points in runtime code (24) of the program …

A cloud-based static analysis security tool accessible by a set of application development
environments is augmented to provide for anonymous knowledge sharing to facilitate …

In particular embodiments, a method includes accessing bytecode generated by a compiler
from a software program for execution by a particular processing unit; accessing con …

A method of analyzing target software for security vulnerabilities comprises, with a
processor, scanning a codebase of a target software using a static analysis scan to identify a …

According to some embodiments, a system and method are provided for analyzing formal
system requirements for Software and hardware components in a software and hard ware …

BACKGROUND Currently, when trying to assess a computer/network security risk, key
stakeholders and decision makers are forced to work with non evidentiary data, often relying …