Modular collaborative program analysis in OPAL

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Abstract

Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations.

BibTeX

@inproceedings{Helm-al:FSE20,
  author    = {Dominik Helm and
               Florian K{\"{u}}bler and
               Michael Reif and
               Michael Eichberg and
               Mira Mezini},
  title     = {Modular collaborative program analysis in {OPAL}},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {184--196},
  publisher = {{ACM}},
  year      = {2020},
}

Modular collaborative program analysis in OPAL

Abstract

Related papers