Responsibility Analysis by Abstract Interpretation

Chaoqiang Deng, Patrick Cousot

Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical…