1 code implementation • 5 Jul 2018 • Niki Vazou, Éric Tanter, David Van Horn
Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, making it unsuitable for inference of modular code components and prohibiting its applicability to library code, and (2) inference failure results in obscure error messages.
Programming Languages
no code implementations • 11 Jul 2015 • Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
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
no code implementations • 17 Nov 2013 • Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
We present Anadroid, a static malware analysis framework for Android apps.
Programming Languages Cryptography and Security D.2.0; F.3.2