Production-driven patch generation
Pages 23 - 26
Abstract
We present an original concept for patch generation: we propose to do it directly in production. Our idea is to generate patches on-the-fly based on automated analysis of the failure context. By doing this in production, the repair process has complete access to the system state at the point of failure. We propose to perform live regression testing of the generated patches directly on the production traffic, by feeding a sandboxed version of the application with a copy of the production traffic, the "shadow traffic". Our concept widens the applicability of program repair, because it removes the requirements of having a failing test case.
References
[1]
C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer, "Genprog: A generic method for automatic software repair," IEEE Transactions on Software Engineering, vol. 38, no. 1, pp. 54--72, 2012.
[2]
M. C. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee, "Enhancing server availability and security through failure-oblivious computing." in OSDI, vol. 4, 2004, pp. 21--21.
[3]
T. Durieux, Y. Hamadi, and M. Monperrus, "Production-driven patch generation and validation," arXiv preprint arXiv:1609.06848, 2016.
[4]
T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus, "Dynamic patch generation for null pointer exceptions using metaprogramming," in IEEE International Conference on Software Analysis, Evolution and Reengineering, 2017.
[5]
S. Sidiroglou, O. Laadan, C. Perez, N. Viennot, J. Nieh, and A. D. Keromytis, "Assure: automatic software self-healing using rescue points," ACM SIGARCH Computer Architecture News, vol. 37, no. 1, pp. 37--48, 2009.
[6]
F. Long, S. Sidiroglou-Douskos, and M. Rinard, "Automatic runtime error repair and containment via recovery shepherding," in ACM SIGPLAN Notices, vol. 49, no. 6. ACM, 2014, pp. 227--238.
[7]
T. Gu, C. Sun, X. Ma, J. Lü, and Z. Su, "Automatic runtime recovery via error handler synthesis," in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. ACM, 2016, pp. 684--695.
[8]
J. H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan et al., "Automatically patching errors in deployed software," in Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles. ACM, 2009, pp. 87--102.
[9]
P. Hosek and C. Cadar, "Safe software updates via multi-version execution," in Proceedings of the 2013 International Conference on Software Engineering. IEEE Press, 2013, pp. 612--621.
[10]
O. Trachsel and T. R. Gross, "Variant-based competitive parallel execution of sequential programs," in Proceedings of the 7th ACM International Conference on Computing Frontiers, 2010.
- Production-driven patch generation
Recommendations
Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications
SP '08: Proceedings of the 2008 IEEE Symposium on Security and PrivacyThe automatic patch-based exploit generation problem is: given a program P and a patched version of the program P, automatically generate an exploit for the potentially unknown vulnerability present in P but fixed in P. In this paper, we propose ...
Hallucinating face by position-patch
A novel face hallucination method is proposed in this paper for the reconstruction of a high-resolution face image from a low-resolution observation based on a set of high- and low-resolution training image pairs. Different from most of the established ...
A new low‐complexity patch‐based image super‐resolution
In this study, a novel single image super‐resolution (SR) method, which uses a generated dictionary from pairs of high‐resolution (HR) images and their corresponding low‐resolution (LR) representations, is proposed. First, HR and LR dictionaries are ...
Comments
Information & Contributors
Information
Published In
Sponsors
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE-CS: Computer Society
- SADIO: SADIO
Publisher
IEEE Press
Publication History
Published: 20 May 2017
Check for updates
Qualifiers
- Research-article
Conference
ICSE '17
Sponsor:
- SIGSOFT
- IEEE-CS
- SADIO
ICSE '17: 39th International Conference on Software Engineering
May 20 - 28, 2017
Buenos Aires, Argentina
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 71Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 24 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in