We propose a framework for dependence analyses, adapted --among others-- to the understanding of static analyzers outputs. Static analyzers like Astrée are sound but not complete; hence, they may yield false alarms, that is report not being able to prove part of the properties of interest. Helping the user in the alarm inspection task is a major challenge for current static analyzers. Semantic slicing, i.e. the computation of precise abstract invariants for a set of erroneous traces, provides a useful characterization of a possible error context. We propose to enhance semantic slicing with information about abstract dependences. Abstract dependences should be more informative than mere dependences: first, we propose to restrict to the dependences that can be observed in a slice; second, we define dependences among abstract properties, so as to isolate abnormal behaviors as source of errors. Last, stronger notions of slicing should allow to restrict slices to such dependences. postscript , compressed postscript , PDF , compressed PDF

@InProceedings{xr:05:aplas,
  author =       {X{.} Rival},
  title =        {Abstract Dependences for Alarm Diagnosis},
  booktitle =    {6th Asian Symposium on Programming Languages
                  and Systems (APLAS'05)},
  pages =        {347--363},
  year =         {2005},
  volume =       {3780},
  series =       {LNCS},
  address =      {Tsukuba (Japan)},
  month =        nov,
  publisher =    {Springer}
}