Chaoqiang Deng and Patrick Cousot.<bR> Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng and Patrick Cousot.
Responsibility Analysis by Abstract Interpretation.
In arXiv:1907.08251 arxiv.org/abs/1907.08251.
PDF: PDF (885 KB)

Keywords: Abstract Interpretation, Causality, Dependency, Program Security, Static Analysis, Responsibility.

Abstract: 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 static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its analysis on programs imprecise.
In this paper, a novel definition of responsibility based on the abstraction of event trace semantics is proposed, which can be applied in program security and other scientific fields. Briefly speaking, an entity E_R is responsible for behavior B, if and only if E_R is free to choose its input value, and such a choice is the first one that ensures the occurrence of B in the forthcoming execution. Compared to current analysis methods, the responsibility analysis is more precise. In addition, our definition of responsibility takes into account the cognizance of the observer, which, to the best of our knowledge, is a new innovative idea in program analysis.

Bibliographic reference:

@article{DBLP:journals/corr/abs-1907-08251,
  author    = {Chaoqiang Deng and
               Patrick Cousot},
  title     = {Responsibility Analysis by Abstract Interpretation},
  journal   = {CoRR},
  volume    = {abs/1907.08251},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.08251},
  archivePrefix = {arXiv},
  eprint    = {1907.08251},
}

This is the extended version (33 pages) of a paper to be appeared in the Static Analysis Symposium (SAS) 2019.

copyright notice
Last modified: Fri Jul 26 09:40:43 EDT 2019 Friday, 26-Jul-2019 11:56:05 EDT