Portal de Periódicos da CAPES

SLAyer: Memory Safety for Systems-Level Code

2011; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-22110-1_15

1611-3349

Josh Berdine, Byron Cook, Samin Ishtiaq,

Software Testing and Debugging Techniques

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.