digraph iCFG { 11 [label="11: DeclStmt \n n$7=_fun___objc_alloc_no_fail(sizeof(class NSString ):unsigned long ) [line 31]\n *&s:class NSString *=n$7 [line 31]\n REMOVE_TEMPS(n$7); [line 31]\n " shape="box"] 11 -> 8 ; 11 -> 9 ; 10 [label="10: Return Stmt \n NULLIFY(&s,false); [line 33]\n n$4=_fun_NSString_stringWithUTF8String:(\"Something is not right exception\":char *) [line 33]\n n$5=_fun_NSString_stringWithUTF8String:(\"Can't perform this operation because of this or that\":char *) [line 34]\n n$6=_fun_NSException_exceptionWithName:reason:userInfo:(n$4:class NSString *,n$5:class NSString *,0:class NSDictionary *) [line 33]\n *&return:void =n$6 [line 33]\n REMOVE_TEMPS(n$4,n$5,n$6); [line 33]\n APPLY_ABSTRACTION; [line 33]\n " shape="box"] 10 -> 6 ; 9 [label="9: Prune (false branch) \n n$3=*&s:class NSString * [line 32]\n PRUNE((n$3 == 0), false); [line 32]\n REMOVE_TEMPS(n$3); [line 32]\n " shape="invhouse"] 9 -> 7 ; 8 [label="8: Prune (true branch) \n n$3=*&s:class NSString * [line 32]\n PRUNE((n$3 != 0), true); [line 32]\n REMOVE_TEMPS(n$3); [line 32]\n " shape="invhouse"] 8 -> 10 ; 7 [label="7: + \n NULLIFY(&s,false); [line 32]\n " ] 7 -> 6 ; 6 [label="6: Exit ExceptionExample_test1 \n " color=yellow style=filled] 5 [label="5: Start ExceptionExample_test1\nFormals: self:class ExceptionExample *\nLocals: s:class NSString * \n DECLARE_LOCALS(&return,&s); [line 30]\n NULLIFY(&s,false); [line 30]\n NULLIFY(&self,false); [line 30]\n " color=yellow style=filled] 5 -> 11 ; 4 [label="4: DeclStmt \n n$2=_fun___objc_alloc_no_fail(sizeof(class NSString ):unsigned long ) [line 21]\n *&s:class NSString *=n$2 [line 21]\n REMOVE_TEMPS(n$2); [line 21]\n NULLIFY(&s,false); [line 21]\n " shape="box"] 4 -> 3 ; 3 [label="3: Message Call: description \n n$0=*&self:class ExceptionExample * [line 26]\n n$1=_fun_ExceptionExample_description(n$0:class ExceptionExample *) virtual [line 26]\n REMOVE_TEMPS(n$0,n$1); [line 26]\n NULLIFY(&self,false); [line 26]\n APPLY_ABSTRACTION; [line 26]\n " shape="box"] 3 -> 2 ; 2 [label="2: Exit ExceptionExample_test \n " color=yellow style=filled] 1 [label="1: Start ExceptionExample_test\nFormals: self:class ExceptionExample *\nLocals: s:class NSString * \n DECLARE_LOCALS(&return,&s); [line 19]\n NULLIFY(&s,false); [line 19]\n " color=yellow style=filled] 1 -> 4 ; }