Retrofitting Legacy Code for Security
Abstract elided by the publisher.
Related papers
- Tradeoffs in retrofitting security: an experience report DLS 2007
- CCured: type-safe retrofitting of legacy software TOPLAS 2005
- CCured: type-safe retrofitting of legacy code POPL 2002
- C to checked C by 3c OOPSLA 2022
- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security CAV 2021
- TeJaS: retrofitting type systems for JavaScript DLS 2013
- From fine- to coarse-grained dynamic information flow control and back POPL 2019
- Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security CGO 2025