Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
The polyvariance of a static analysis is the degree to which it structurally differentiates
approximations of program values. Polyvariant techniques come in a number of different …
approximations of program values. Polyvariant techniques come in a number of different …
Abstract allocation as a unified approach to polyvariance in control-flow analyses
In higher order settings, control-flow analysis aims to model the propagation of both data
and control by finitely approximating program behaviors across all possible executions. The …
and control by finitely approximating program behaviors across all possible executions. The …
A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages
P Aldous, M Might - 2016 IEEE Security and Privacy …, 2016 - ieeexplore.ieee.org
We previously presented a theory of analysis for expressive low-level languages that is
capable of proving non-interference for expressive languages. We now provide an …
capable of proving non-interference for expressive languages. We now provide an …
[PDF][PDF] Scalable and precise abstractions of programs for trustworthy software
M Might, D Van Horn - 2012 - cs.umd.edu
Scalable and precise abstractions of programs for trustworthy software Page 1 Scalable and
precise abstractions of programs for trustworthy software Matthew Might University of Utah …
precise abstractions of programs for trustworthy software Matthew Might University of Utah …
Improving trace-based jit optimisation using whole-program information
M Vandercammen, C De Roover - … of the 8th International Workshop on …, 2016 - dl.acm.org
Trace-based just-in-time compilers use program analyses to optimise execution traces.
These analyses are limited in scope to the parts of the program that have been traced. In this …
These analyses are limited in scope to the parts of the program that have been traced. In this …
[PDF][PDF] Introspective Polyvariance for Control-Flow Analyses.
T Gilray - 2017 - thomas.gilray.org
Static analysis aims to approximate dynamic program behaviors statically. This task brings
one up against the fundamental limits of computability. As identifying any nontrivial program …
one up against the fundamental limits of computability. As identifying any nontrivial program …
[PDF][PDF] Allocation Characterizes Polyvariance
The polyvariance of a static analysis is the degree to which it structurally differentiates
approximations of program values. Polyvariant techniques come in a number of different …
approximations of program values. Polyvariant techniques come in a number of different …