A method and a system is disclosed herein for model checker based efficient elimination of
false positives from static analysis warnings generated during static analysis of an …

In general, in one aspect, the invention relates to a method for static analysis. The method
includes: obtaining source code: constructing a control flow graph (CFG) corresponding to …

Ranking technique embodiments are presented that use statistical and machine learning
techniques to learn the desired ranking function for use in inductive program synthesis for …

(57) ABSTRACT A system and method is provided for verifying an access control policy
against a particular constraint for a multi-step operation. In disclosed embodiments, the …

Technology for optimizing policy evaluation is disclosed. A policy may include an ordered
rule set. When evaluated, the highest priority rule in the order that does not skip may control …

Abstract Systems and methods for protecting the privacy of users by controlling access to the
users' data. In particular, some embodiments provide for a higher-level declarative language …

Abstract Systems and methods for software verification. In some embodiments, an
application architecture model is generated for a software application, wherein: the …

Jayaraman et al.,“Automatic Error Finding in Access-Control Policies”. CCS II, Oct. 17-21,
2011, 12 pages, ACM 978-1-4503 0948-6/11/10, Chicago, IL.“Mohawk: A tool for verifying …

A system that facilitates computing a symbolic bound with respect to a procedure that is
executable by a processor on a computing device is described herein. The system includes …

BACKGROUND As the Internet becomes integrated into almost every aspect of people's
lives, the amount of content available is growing at an exponential rate. It is common for web …