SLAyer: Memory Safety for Systems-Level Code. SLAyer is a program analysis tool designed to automatically prove memory safety of industrial systems code. In this paper we describe SLAyer’s implementation, and its application to Windows device drivers. This paper accompanies the first release of SLAyer.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element