source: CIVL/examples/robustness/string_memory_storage.cvl@ 397ae5f

main test-branch
Last change on this file since 397ae5f was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 290 bytes
Line 
1/*
2 * "SOME_STRING" has dy-scope Id -1 and Variable Id 0
3 * It should not be considered in heap memory because its dy-scope Id is less than 0.
4 */
5
6static char * x2s() {
7 return "SOME_STRING";
8}
9
10int main() {
11 int *p = (int*)$malloc($here, sizeof(int));
12 char *q = x2s();
13 $free(p);
14}
Note: See TracBrowser for help on using the repository browser.