slayer
Is this C program memory safe?
loading...
'►' shortcut: Alt+B
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.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct