User Tools

Site Tools


sv-comp_2015_memory-safety

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sv-comp_2015_memory-safety [2015/01/14 12:16]
dneville
sv-comp_2015_memory-safety [2015/01/14 12:16] (current)
dneville
Line 135: Line 135:
 </​code>​ </​code>​
  
-Alloca ​correction code:+alloca ​correction code:
  
  
-Into src/​ansi-c/​library/​stdlib.c ​insert:+Add the following to **./src/​ansi-c/​library/​stdlib.c**
 <​code>​ <​code>​
 /* FUNCTION: __builtin_alloca */ /* FUNCTION: __builtin_alloca */
sv-comp_2015_memory-safety.txt ยท Last modified: 2015/01/14 12:16 by dneville