# Senx

The code was not available online, we asked the authors for it. For ethics considerations, we cannot share it here, which has been approaved by the AEC Chair. To get the code, please contact the first author of this paper "Using Safety Properties to Generate Vulnerability Patches", the author will share the virtualBox with you.