Imperial College London
Professor Cristian Cadar

ProfessorCristianCadar

Faculty of Engineering, Department of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Arras:2022:10.1007/s10009-021-00644-w,
author = {Arras, P-A and Andronidis, A and Pina, L and Mituzas, K and Shu, Q and Grumberg, D and Cadar, C},
doi = {10.1007/s10009-021-00644-w},
journal = {International Journal on Software Tools for Technology Transfer},
pages = {205--223},
title = {SaBRe: load-time selective binary rewriting},
url = {http://dx.doi.org/10.1007/s10009-021-00644-w},
volume = {24},
year = {2022}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Binary rewriting consists in disassembling a program to modify its instructions. However, existing solutions suffer from shortcomings in terms of soundness and performance. We present SaBRe, a load-time system for selective binary rewriting. SaBRe rewrites specific constructs—particularly system calls and functions—when the program is loaded into memory, and intercepts them using plugins through a simple API. We also discuss the theoretical underpinnings of disassembling and rewriting. We developed two backends—for x86_64 and RISC-V—which were used to implement three plugins: a fast system call tracer, a multi-version executor, and a fault injector. Our evaluation shows that SaBRe imposes little overhead, typically below 3%.
AU  - Arras,P-A
AU  - Andronidis,A
AU  - Pina,L
AU  - Mituzas,K
AU  - Shu,Q
AU  - Grumberg,D
AU  - Cadar,C
DO  - 10.1007/s10009-021-00644-w
EP  - 223
PY  - 2022///
SN  - 0945-8115
SP  - 205
TI  - SaBRe: load-time selective binary rewriting
T2  - International Journal on Software Tools for Technology Transfer
UR  - http://dx.doi.org/10.1007/s10009-021-00644-w
UR  - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000745444900001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
UR  - https://link.springer.com/article/10.1007/s10009-021-00644-w
UR  - http://hdl.handle.net/10044/1/94548
VL  - 24
ER  -
Download