Name
Abstract | ||
|---|---|---|
We introduce a segment-offset-plane memory model for symbolic execution that supports symbolic pointers, allocations of memory blocks of symbolic sizes, and multi-writes. We further describe our efficient implementation of the model in a free open-source project Bugst. Experimental results provide empirical evidence that the implemented memory model effectively tackles the variable storage-referencing problem of symbolic execution. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-11936-6_27 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Pointer (computer programming),Programming language,Memory block,Empirical evidence,Computer science,Theoretical computer science,Memory model,Symbolic execution | Conference | 8837 |
ISSN | Citations | PageRank |
0302-9743 | 4 | 0.41 |
References | Authors | |
8 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marek Trtík | 1 | 27 | 5.06 |
| Jan Strejcek | 2 | 99 | 13.83 |