| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-10-17 | Implement gross hack to make it possible to execute code compiled | Dan Liew | |
| with -m32 (i.e. for i386). Previously if this was attempt allocations in the program being executed by KLEE would hit an assertion because malloc() would return an address that doesn't fit in a 32-bit pointer. The interface of MemoryManager has been changed so that it is necessary to specify the pointer size on creation. The implementation has been changed to use a MASSIVE HACK when the pointer width is less than 64-bits. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |