TRACER: A Platform for Securing Legacy Code

  • Kostantinos Stroggylos
  • Dimitris Mitropoulos
  • Zacharias Tzermias
  • Panagiotis Papadopoulos
  • Fotios Rafailidis
  • Diomidis Spinellis
  • Sotiris Ioannidis
  • Panagiotis Katsaros
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8564)

Abstract

Static Analysis, Software Security, Trusted Applications, Legacy software.

References

  1. 1.
    Chess, B., West, J.: Secure programming with static analysis. Addison-Wesley Professional (2007)Google Scholar
  2. 2.
    Gousios, G., Spinellis, D.: Alitheia core: An extensible software quality monitoring platform. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 579–582. IEEE Computer Society, Washington, DC (2009)CrossRefGoogle Scholar
  3. 3.
    Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Not 39, 92–106 (2004)CrossRefGoogle Scholar
  4. 4.
    Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-c: A software analysis perspective. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 233–247. Springer, Heidelberg (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Kostantinos Stroggylos
    • 1
  • Dimitris Mitropoulos
    • 1
  • Zacharias Tzermias
    • 2
  • Panagiotis Papadopoulos
    • 2
  • Fotios Rafailidis
    • 3
  • Diomidis Spinellis
    • 1
  • Sotiris Ioannidis
    • 2
  • Panagiotis Katsaros
    • 3
  1. 1.Department of Management Science and TechnologyAthens University of Economics and BusinessGreece
  2. 2.Institute of Computer ScienceFoundation for Research and Technology - HellasGreece
  3. 3.Department of InformaticsAristotle University of ThessalonikiGreece

Personalised recommendations