slayer
by Microsoft
Is this C program memory safe?
loading...
home
permalink
'►' shortcut: Alt+B
samples
free_local
deref_NULL2
free_free
malloc
malloc_free_struct
if_pointer
create
reverse
copy
about SLAyer - Automatic formal verification for programs with heaps.
SLAyer is an automatic, separation-logic-based memory safety checker. It checks that its input C code doesn't deference dangling pointers, do double frees, nor leak memory.
tools
developer
about
rise4fun © 2013 Microsoft Corporation -
terms of use
-
privacy & cookies
-
code of conduct