Program analysis, in particular of dependencies and probabilistic correlation, with applications to language-based security and program slicing.
