Conference Papers: Kombination von Slicing und Constraint-Solving für Software-Reengineering

[krinke99wsr]

Jens Krinke, Torsten Robschink, Kombination von Slicing und Constraint-Solving für Software-Reengineering, Workshop Software Reengineering. Fachberichte Informatik, pp. 133--140, Universität Koblenz-Landau, 1999.

Abstract

Um sicherheitsrelevante Software zu überprüfen, reichen herkömmliche Softwareanalyse-Verfahren nicht aus. Unser Softwareanalyse-System ValSoft setzt Datenflußanalysen und deduktive Verfahren ein, um Beeinflussungen von relevan- ten Informationspfaden innerhalb von Programmen zu erkennen und zu analysie- ren. Die Grundlage der Analyse bilden sog. Programmabhängigkeitsgraphen. Mit deren Hilfe berechnen wir konservativ approximierte Pfadbedingungen: diese ge- ben die Umstände an, unter denen es eine Abhängigkeit zwischen interessierenden Punkten im Programm geben kann.

Download

[Link]

BibTeX

@inproceedings{krinke99wsr,
  title = {Kombination von Slicing und Constraint-Solving f{\"u}r Software-Reengineering},
  booktitle = {Workshop Software Reengineering. Fachberichte Informatik},
  year = {1999},
  publisher = {Universit{\"a}t Koblenz-Landau},
  pages = {133--140},
  author = {Jens Krinke and Torsten Robschink},
  url = {http://www.dcs.kcl.ac.uk/staff/krinke/publications.php},
}

Authors at the institute

Former Staff Member
Prof. Dr. Jens Krinke
Dr. rer. nat. Torsten Robschink