Synthesizing programs using example input/outputs is a classic problem in artificial intelligence.
We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation).
Furthermore, all three are computationally expensive; for a monovariant analysis, CFA2 is in $O(2^n)$, PDCFA is in $O(n^6)$, and AAC is in $O(n^9 log n)$.
Programming Languages D.3.4
We present Anadroid, a static malware analysis framework for Android apps.
Programming Languages Cryptography and Security D.2.0; F.3.2