Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatically proving termination and memory safety for programs with pointer arithmetic |
scientific article |
Statements
Automatically proving termination and memory safety for programs with pointer arithmetic (English)
0 references
10 July 2017
0 references
LLVM
0 references
C programs
0 references
termination
0 references
memory safety
0 references
symbolic execution
0 references
