Abstract
Static Analysis, Software Security, Trusted Applications, Legacy software.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chess, B., West, J.: Secure programming with static analysis. Addison-Wesley Professional (2007)
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)
Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Not 39, 92–106 (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Stroggylos, K. et al. (2014). TRACER: A Platform for Securing Legacy Code. In: Holz, T., Ioannidis, S. (eds) Trust and Trustworthy Computing. Trust 2014. Lecture Notes in Computer Science, vol 8564. Springer, Cham. https://doi.org/10.1007/978-3-319-08593-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-08593-7_20
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08592-0
Online ISBN: 978-3-319-08593-7
eBook Packages: Computer ScienceComputer Science (R0)