Active Learning for Inference and Regeneration of Applications that Access Databases
Abstract
We present K onure , a new system that uses active learning to infer models of applications that retrieve data from relational databases. K onure comprises a domain-specific language (each model is a program in this language) and associated inference algorithm that infers models of applications whose behavior can be expressed in this language. The inference algorithm generates inputs and database contents, runs the application, then observes the resulting database traffic and outputs to progressively refine its current model hypothesis. Because the technique works with only externally observable inputs, outputs, and database contents, it can infer the behavior of applications written in arbitrary languages using arbitrary coding styles (as long as the behavior of the application is expressible in the domain-specific language). K onure also implements a regenerator that produces a translated Python implementation of the application that systematically includes relevant security and error checks.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Dec 31, 2020
- Source ID
- 10.1145/3430952
Entities
People
- Jiasi Shen
- Martin C. Rinard
Organizations
- Boeing
- Defense Advanced Research Projects Agency
- Massachusetts Institute of Technology