Soufflé is an open source programming framework that performs static program analysis
expressed in Datalog on very large code bases, including points-to analysis on OpenJDK7 …

We present Scallop, a language which combines the benefits of deep learning and logical
reasoning. Scallop enables users to write a wide range of neurosymbolic applications and …

Context sensitivity is an essential technique for ensuring high precision in Java pointer
analyses. It has been observed that applying context sensitivity partially, only on a select …

Smart contracts are increasingly being used to manage large numbers of high-value
cryptocurrency accounts. There is a strong demand for automated, efficient, and …

Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …

Datalog has witnessed promising applications in a variety of domains. We propose a
programming-by-example system, ALPS, to synthesize Datalog programs from input-output …

Context sensitivity is an essential technique for ensuring high precision in static analyses. It
has been observed that applying context sensitivity partially, only on a select subset of the …

Existing whole-program context-sensitive pointer analysis frameworks for Java, which were
open-sourced over one decade ago, were designed and implemented to support only …

Satisfiability modulo theories (SMT) solving has become a critical part of many static
analyses, including symbolic execution, refinement type checking, and model checking. We …

Java reflection has been widely used in a variety of applications and frameworks. It allows a
software system to inspect and change the behaviour of its classes, interfaces, methods, and …