|
|
|
@ -90,7 +90,7 @@ digraph iCFG {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_22" -> "NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_16" ;
|
|
|
|
|
"NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_23" [label="23: DeclStmt \n n$33=_fun_NSString_stringWithUTF8String:(\"shared/assertions/NSAssert_example.m\":char*) [line 24]\n _fun___objc_retain(n$33:class NSString*) [line 24]\n *&__assert_file__:class NSString*=n$33 [line 24]\n " shape="box"]
|
|
|
|
|
"NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_23" [label="23: DeclStmt \n n$33=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 24]\n _fun___objc_retain(n$33:class NSString*) [line 24]\n *&__assert_file__:class NSString*=n$33 [line 24]\n " shape="box"]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_23" -> "NSAssert_initWithRequest:instance.5013facd97881754f192867cc14cda52_18" ;
|
|
|
|
@ -185,7 +185,7 @@ digraph iCFG {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_22" -> "NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_16" ;
|
|
|
|
|
"NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_23" [label="23: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"shared/assertions/NSAssert_example.m\":char*) [line 19]\n _fun___objc_retain(n$16:class NSString*) [line 19]\n *&__assert_file__:class NSString*=n$16 [line 19]\n " shape="box"]
|
|
|
|
|
"NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_23" [label="23: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 19]\n _fun___objc_retain(n$16:class NSString*) [line 19]\n *&__assert_file__:class NSString*=n$16 [line 19]\n " shape="box"]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_23" -> "NSAssert_addTarget:instance.ef92ae23a24cf8063db0d913a051ea02_18" ;
|
|
|
|
@ -280,7 +280,7 @@ digraph iCFG {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"test1.5a105e8b9d40e1329780d62ea2265d8a_22" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_16" ;
|
|
|
|
|
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: DeclStmt \n n$15=_fun_NSString_stringWithUTF8String:(\"shared/assertions/NSAssert_example.m\":char*) [line 31]\n _fun___objc_retain(n$15:class NSString*) [line 31]\n *&__assert_file__:class NSString*=n$15 [line 31]\n " shape="box"]
|
|
|
|
|
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: DeclStmt \n n$15=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 31]\n _fun___objc_retain(n$15:class NSString*) [line 31]\n *&__assert_file__:class NSString*=n$15 [line 31]\n " shape="box"]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_18" ;
|
|
|
|
@ -400,7 +400,7 @@ digraph iCFG {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"test2.ad0234829205b9033196ba818f7a872b_21" -> "test2.ad0234829205b9033196ba818f7a872b_15" ;
|
|
|
|
|
"test2.ad0234829205b9033196ba818f7a872b_22" [label="22: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"shared/assertions/NSAssert_example.m\":char*) [line 36]\n _fun___objc_retain(n$16:class NSString*) [line 36]\n *&__assert_file__:class NSString*=n$16 [line 36]\n " shape="box"]
|
|
|
|
|
"test2.ad0234829205b9033196ba818f7a872b_22" [label="22: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char*) [line 36]\n _fun___objc_retain(n$16:class NSString*) [line 36]\n *&__assert_file__:class NSString*=n$16 [line 36]\n " shape="box"]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"test2.ad0234829205b9033196ba818f7a872b_22" -> "test2.ad0234829205b9033196ba818f7a872b_17" ;
|
|
|
|
|