clang_version diagnostics path kindevent location line52 col3 file0 ranges line52 col3 file0 line52 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line52 col3 file0 line52 col5 file0 end line53 col3 file0 line53 col3 file0 kindcontrol edges start line53 col3 file0 line53 col3 file0 end line53 col6 file0 line53 col6 file0 kindevent location line53 col6 file0 ranges line53 col4 file0 line53 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextdc9c2a657ca759f9744cde2e093cfd59 issue_context_kindfunction issue_contexttest_null_init issue_hash_function_offset2 location line53 col6 file0 ExecutedLines 0 51 52 53 path kindcontrol edges start line57 col3 file0 line57 col5 file0 end line58 col3 file0 line58 col3 file0 kindevent location line58 col3 file0 ranges line58 col3 file0 line58 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line58 col3 file0 line58 col3 file0 end line59 col3 file0 line59 col3 file0 kindcontrol edges start line59 col3 file0 line59 col3 file0 end line59 col6 file0 line59 col6 file0 kindevent location line59 col6 file0 ranges line59 col4 file0 line59 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context8f95d9681490a4e52c167969d0957b39 issue_context_kindfunction issue_contexttest_null_assign issue_hash_function_offset3 location line59 col6 file0 ExecutedLines 0 56 57 58 59 path kindcontrol edges start line63 col3 file0 line63 col5 file0 end line64 col3 file0 line64 col3 file0 kindevent location line64 col3 file0 ranges line64 col3 file0 line64 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line64 col3 file0 line64 col3 file0 end line65 col3 file0 line65 col5 file0 kindevent location line65 col3 file0 ranges line65 col3 file0 line65 col8 file0 depth0 extended_message 'q' initialized to a null pointer value message 'q' initialized to a null pointer value kindcontrol edges start line65 col3 file0 line65 col5 file0 end line66 col3 file0 line66 col3 file0 kindcontrol edges start line66 col3 file0 line66 col3 file0 end line66 col6 file0 line66 col6 file0 kindevent location line66 col6 file0 ranges line66 col4 file0 line66 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'q') message Dereference of null pointer (loaded from variable 'q') descriptionDereference of null pointer (loaded from variable 'q') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context94c43fbcad6aaff4ee7433f2d2db0bbe issue_context_kindfunction issue_contexttest_null_assign_transitive issue_hash_function_offset4 location line66 col6 file0 ExecutedLines 0 62 63 64 65 66 path kindcontrol edges start line70 col3 file0 line70 col4 file0 end line70 col7 file0 line70 col7 file0 kindevent location line70 col7 file0 ranges line70 col7 file0 line70 col8 file0 depth0 extended_message Assuming 'p' is null message Assuming 'p' is null kindcontrol edges start line70 col7 file0 line70 col7 file0 end line71 col5 file0 line71 col5 file0 kindcontrol edges start line71 col5 file0 line71 col5 file0 end line71 col8 file0 line71 col8 file0 kindevent location line71 col8 file0 ranges line71 col6 file0 line71 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context659f01507ffd7efd3ca3eab7179fd7d2 issue_context_kindfunction issue_contexttest_null_cond issue_hash_function_offset2 location line71 col8 file0 ExecutedLines 0 69 70 71 path kindcontrol edges start line76 col3 file0 line76 col4 file0 end line76 col7 file0 line76 col7 file0 kindevent location line76 col7 file0 ranges line76 col7 file0 line76 col8 file0 depth0 extended_message Assuming 'q' is null message Assuming 'q' is null kindcontrol edges start line76 col7 file0 line76 col7 file0 end line77 col5 file0 line77 col7 file0 kindevent location line77 col5 file0 ranges line77 col5 file0 line77 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line77 col5 file0 line77 col7 file0 end line78 col5 file0 line78 col5 file0 kindcontrol edges start line78 col5 file0 line78 col5 file0 end line78 col8 file0 line78 col8 file0 kindevent location line78 col8 file0 ranges line78 col6 file0 line78 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextc90d51e62139e614b57aff7021240a82 issue_context_kindfunction issue_contexttest_null_cond_transitive issue_hash_function_offset3 location line78 col8 file0 ExecutedLines 0 75 76 77 78 path kindcontrol edges start line83 col24 file0 line83 col24 file0 end line84 col3 file0 line84 col3 file0 kindevent location line84 col3 file0 ranges line84 col3 file0 line84 col9 file0 depth0 extended_message Null pointer value stored to 'x.p' message Null pointer value stored to 'x.p' kindcontrol edges start line84 col3 file0 line84 col3 file0 end line85 col3 file0 line85 col3 file0 kindcontrol edges start line85 col3 file0 line85 col3 file0 end line85 col10 file0 line85 col10 file0 kindevent location line85 col10 file0 ranges line85 col7 file0 line85 col7 file0 depth0 extended_message Dereference of null pointer (loaded from field 'p') message Dereference of null pointer (loaded from field 'p') descriptionDereference of null pointer (loaded from field 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context245408d2bc416e324064d990e6dd82a8 issue_context_kindfunction issue_contexttest_null_field issue_hash_function_offset3 location line85 col10 file0 ExecutedLines 0 82 83 84 85 path kindcontrol edges start line90 col3 file0 line90 col4 file0 end line90 col7 file0 line90 col7 file0 kindevent location line90 col7 file0 ranges line90 col7 file0 line90 col12 file0 depth0 extended_message Assuming 'a' is not equal to 0 message Assuming 'a' is not equal to 0 kindcontrol edges start line90 col7 file0 line90 col7 file0 end line93 col3 file0 line93 col4 file0 kindcontrol edges start line93 col3 file0 line93 col4 file0 end line93 col7 file0 line93 col7 file0 kindevent location line93 col7 file0 ranges line93 col7 file0 line93 col12 file0 depth0 extended_message Assuming 'b' is equal to 0 message Assuming 'b' is equal to 0 kindcontrol edges start line93 col7 file0 line93 col7 file0 end line96 col3 file0 line96 col5 file0 kindevent location line96 col3 file0 ranges line96 col3 file0 line96 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line96 col3 file0 line96 col5 file0 end line97 col3 file0 line97 col3 file0 kindcontrol edges start line97 col3 file0 line97 col3 file0 end line97 col6 file0 line97 col6 file0 kindevent location line97 col6 file0 ranges line97 col4 file0 line97 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextb12acffa40177b55b695aa2292533410 issue_context_kindfunction issue_contexttest_assumptions issue_hash_function_offset8 location line97 col6 file0 ExecutedLines 0 88 89 90 93 96 97 path kindcontrol edges start line102 col3 file0 line102 col5 file0 end line103 col3 file0 line103 col4 file0 kindcontrol edges start line103 col3 file0 line103 col4 file0 end line103 col8 file0 line103 col8 file0 kindevent location line103 col8 file0 ranges line103 col8 file0 line103 col28 file0 depth0 extended_message Value assigned to 'p' message Value assigned to 'p' kindevent location line103 col8 file0 ranges line103 col8 file0 line103 col8 file0 depth0 extended_message Assuming 'p' is null message Assuming 'p' is null kindevent location line103 col7 file0 ranges line103 col7 file0 line103 col29 file0 depth0 extended_message Assuming pointer value is null message Assuming pointer value is null kindcontrol edges start line103 col7 file0 line103 col7 file0 end line105 col3 file0 line105 col8 file0 kindcontrol edges start line105 col3 file0 line105 col8 file0 end line105 col10 file0 line105 col10 file0 kindevent location line105 col10 file0 ranges line105 col11 file0 line105 col11 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextc0a32b8291b0fc7230f847f05f415625 issue_context_kindfunction issue_contexttest_cond_assign issue_hash_function_offset4 location line105 col10 file0 ExecutedLines 0 101 102 103 105 path kindcontrol edges start line118 col3 file0 line118 col8 file0 end line119 col3 file0 line119 col13 file0 kindevent location line119 col23 file0 ranges line119 col23 file0 line119 col82 file0 depth0 extended_message Call to function 'CFNumberCreate' returns a Core Foundation object of type 'CFNumberRef' with a +1 retain count message Call to function 'CFNumberCreate' returns a Core Foundation object of type 'CFNumberRef' with a +1 retain count kindcontrol edges start line119 col3 file0 line119 col13 file0 end line120 col3 file0 line120 col4 file0 kindcontrol edges start line120 col3 file0 line120 col4 file0 end line120 col7 file0 line120 col7 file0 kindevent location line120 col7 file0 ranges line120 col7 file0 line120 col7 file0 depth0 extended_message Assuming 'x' is 0 message Assuming 'x' is 0 kindcontrol edges start line120 col7 file0 line120 col7 file0 end line122 col3 file0 line122 col3 file0 kindcontrol edges start line122 col3 file0 line122 col3 file0 end line123 col1 file0 line123 col1 file0 kindevent location line123 col1 file0 depth0 extended_message Object leaked: object allocated and stored into 'value' is not referenced later in this execution path and has a retain count of +1 message Object leaked: object allocated and stored into 'value' is not referenced later in this execution path and has a retain count of +1 descriptionPotential leak of an object stored into 'value' categoryMemory (Core Foundation/Objective-C/OSObject) typeLeak check_nameosx.cocoa.RetainCount issue_hash_content_of_line_in_context29a10ca4af622b6146ca082e49d919d6 issue_context_kindfunction issue_contextrdar8331641 issue_hash_function_offset2 location line123 col1 file0 ExecutedLines 0 117 118 119 120 122 123 path kindcontrol edges start line130 col3 file0 line130 col4 file0 end line131 col3 file0 line131 col5 file0 kindevent location line131 col8 file0 ranges line131 col8 file0 line131 col10 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line131 col3 file0 line131 col5 file0 end line132 col5 file0 line132 col5 file0 kindcontrol edges start line132 col5 file0 line132 col5 file0 end line132 col24 file0 line132 col24 file0 kindevent location line132 col24 file0 ranges line132 col5 file0 line132 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexted7251f5b34b8380abd60cddfd3db46b issue_context_kindfunction issue_contexttest_objc_fast_enumeration issue_hash_function_offset3 location line132 col24 file0 ExecutedLines 0 129 130 131 132 path kindevent location line140 col3 file0 ranges line140 col8 file0 line140 col8 file0 depth0 extended_message Value stored to 'x' is never read message Value stored to 'x' is never read descriptionValue stored to 'x' is never read categoryDead store typeDead increment check_namedeadcode.DeadStores issue_hash_content_of_line_in_contextdd09640bb87b201c2adcf5ef37bfcfaa issue_context_kindfunction issue_contexttest_objc_fast_enumeration_2 issue_hash_function_offset5 location line140 col3 file0 ExecutedLines 0 140 path kindevent location line136 col3 file0 ranges line136 col3 file0 line136 col7 file0 depth0 extended_message 'x' declared without an initial value message 'x' declared without an initial value kindcontrol edges start line136 col3 file0 line136 col5 file0 end line137 col3 file0 line137 col5 file0 kindevent location line137 col8 file0 ranges line137 col8 file0 line137 col13 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line137 col3 file0 line137 col5 file0 end line140 col3 file0 line140 col3 file0 kindcontrol edges start line140 col3 file0 line140 col3 file0 end line140 col5 file0 line140 col6 file0 kindevent location line140 col5 file0 ranges line140 col3 file0 line140 col3 file0 depth0 extended_message The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage message The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage descriptionThe left expression of the compound assignment is an uninitialized value. The computed value will also be garbage categoryLogic error typeAssigned value is garbage or undefined check_namecore.uninitialized.Assign issue_hash_content_of_line_in_context025372576cd3ba6716044f93a51c978c issue_context_kindfunction issue_contexttest_objc_fast_enumeration_2 issue_hash_function_offset5 location line140 col5 file0 ExecutedLines 0 135 136 137 140 path kindevent location line145 col24 file0 ranges line145 col24 file0 line145 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line145 col3 file0 line145 col5 file0 end line146 col4 file0 line146 col5 file0 kindcontrol edges start line146 col4 file0 line146 col5 file0 end line146 col8 file0 line146 col8 file0 kindpop-up location line146 col8 file0 ranges line146 col8 file0 line146 col8 file0 extended_message 'i' is not equal to 1 message 'i' is not equal to 1 kindcontrol edges start line146 col8 file0 line146 col8 file0 end line150 col3 file0 line150 col3 file0 kindcontrol edges start line150 col3 file0 line150 col3 file0 end line145 col3 file0 line145 col5 file0 kindevent location line145 col3 file0 ranges line145 col3 file0 line145 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line145 col24 file0 ranges line145 col24 file0 line145 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line145 col3 file0 line145 col5 file0 end line146 col4 file0 line146 col5 file0 kindcontrol edges start line146 col4 file0 line146 col5 file0 end line146 col8 file0 line146 col8 file0 kindpop-up location line146 col8 file0 ranges line146 col8 file0 line146 col8 file0 extended_message 'i' is equal to 1 message 'i' is equal to 1 kindcontrol edges start line146 col8 file0 line146 col8 file0 end line147 col5 file0 line147 col7 file0 kindevent location line147 col5 file0 ranges line147 col5 file0 line147 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line147 col5 file0 line147 col7 file0 end line148 col5 file0 line148 col5 file0 kindcontrol edges start line148 col5 file0 line148 col5 file0 end line148 col8 file0 line148 col8 file0 kindevent location line148 col8 file0 ranges line148 col6 file0 line148 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context08f9a01186cb2f1b78b08ec20260f1c1 issue_context_kindfunction issue_contextrdar12280665 issue_hash_function_offset4 location line148 col8 file0 ExecutedLines 0 144 145 146 147 148 150 path kindcontrol edges start line157 col3 file0 line157 col5 file0 end line158 col3 file0 line158 col5 file0 kindevent location line158 col3 file0 ranges line158 col3 file0 line158 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line158 col3 file0 line158 col5 file0 end line159 col3 file0 line159 col5 file0 kindcontrol edges start line159 col3 file0 line159 col5 file0 end line159 col24 file0 line159 col24 file0 kindevent location line159 col24 file0 ranges line159 col24 file0 line159 col28 file0 depth0 extended_message Assuming 'i' is >= 'x' message Assuming 'i' is >= 'x' kindevent location line159 col24 file0 ranges line159 col24 file0 line159 col28 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line159 col24 file0 line159 col24 file0 end line162 col3 file0 line162 col3 file0 kindcontrol edges start line162 col3 file0 line162 col3 file0 end line162 col6 file0 line162 col6 file0 kindevent location line162 col6 file0 ranges line162 col4 file0 line162 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context93a53e4c8f02d191b07477940ddcf89c issue_context_kindfunction issue_contextradar12322528_for issue_hash_function_offset6 location line162 col6 file0 ExecutedLines 0 156 157 158 159 162 path kindevent location line166 col3 file0 ranges line166 col3 file0 line166 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line166 col3 file0 line166 col5 file0 end line168 col3 file0 line168 col5 file0 kindcontrol edges start line168 col3 file0 line168 col5 file0 end line168 col11 file0 line168 col11 file0 kindevent location line168 col11 file0 ranges line168 col11 file0 line168 col15 file0 depth0 extended_message Assuming 'i' is >= 'x' message Assuming 'i' is >= 'x' kindevent location line168 col11 file0 ranges line168 col11 file0 line168 col15 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line168 col11 file0 line168 col11 file0 end line172 col3 file0 line172 col3 file0 kindcontrol edges start line172 col3 file0 line172 col3 file0 end line172 col6 file0 line172 col6 file0 kindevent location line172 col6 file0 ranges line172 col4 file0 line172 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextf2d2dbf579b0b21a6b68726df6a041fc issue_context_kindfunction issue_contextradar12322528_while issue_hash_function_offset7 location line172 col6 file0 ExecutedLines 0 165 166 167 168 172 path kindevent location line176 col3 file0 ranges line176 col3 file0 line176 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line176 col3 file0 line176 col5 file0 end line177 col3 file0 line177 col5 file0 kindevent location line177 col24 file0 ranges line177 col24 file0 line177 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line177 col3 file0 line177 col5 file0 end line178 col5 file0 line178 col6 file0 kindcontrol edges start line178 col5 file0 line178 col6 file0 end line178 col9 file0 line178 col9 file0 kindpop-up location line178 col9 file0 ranges line178 col9 file0 line178 col9 file0 extended_message 'i' is equal to 0 message 'i' is equal to 0 kindcontrol edges start line178 col9 file0 line178 col9 file0 end line179 col7 file0 line179 col14 file0 kindcontrol edges start line179 col7 file0 line179 col14 file0 end line185 col3 file0 line185 col3 file0 kindcontrol edges start line185 col3 file0 line185 col3 file0 end line177 col3 file0 line177 col5 file0 kindevent location line177 col3 file0 ranges line177 col3 file0 line177 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line177 col24 file0 ranges line177 col24 file0 line177 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line177 col3 file0 line177 col5 file0 end line178 col5 file0 line178 col6 file0 kindcontrol edges start line178 col5 file0 line178 col6 file0 end line178 col9 file0 line178 col9 file0 kindpop-up location line178 col9 file0 ranges line178 col9 file0 line178 col9 file0 extended_message 'i' is not equal to 0 message 'i' is not equal to 0 kindcontrol edges start line178 col9 file0 line178 col9 file0 end line181 col5 file0 line181 col6 file0 kindcontrol edges start line181 col5 file0 line181 col6 file0 end line181 col9 file0 line181 col9 file0 kindpop-up location line181 col9 file0 ranges line181 col9 file0 line181 col9 file0 extended_message 'i' is equal to 1 message 'i' is equal to 1 kindcontrol edges start line181 col9 file0 line181 col9 file0 end line183 col7 file0 line183 col11 file0 kindcontrol edges start line183 col7 file0 line183 col11 file0 end line186 col3 file0 line186 col3 file0 kindcontrol edges start line186 col3 file0 line186 col3 file0 end line186 col6 file0 line186 col6 file0 kindevent location line186 col6 file0 ranges line186 col4 file0 line186 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context95c7d39fb9d0d8c172b894e02855a07c issue_context_kindfunction issue_contextradar12322528_foo_2 issue_hash_function_offset11 location line186 col6 file0 ExecutedLines 0 175 176 177 178 179 181 183 185 186 path kindcontrol edges start line190 col3 file0 line190 col5 file0 end line191 col3 file0 line191 col5 file0 kindevent location line191 col19 file0 ranges line191 col19 file0 line191 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line191 col3 file0 line191 col5 file0 end line191 col33 file0 line191 col33 file0 kindcontrol edges start line191 col33 file0 line191 col33 file0 end line191 col40 file0 line191 col40 file0 kindcontrol edges start line191 col40 file0 line191 col40 file0 end line191 col3 file0 line191 col5 file0 kindevent location line191 col3 file0 ranges line191 col3 file0 line191 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line191 col19 file0 ranges line191 col19 file0 line191 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line191 col3 file0 line191 col5 file0 end line191 col33 file0 line191 col33 file0 kindevent location line191 col33 file0 ranges line191 col33 file0 line191 col37 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line191 col33 file0 line191 col33 file0 end line191 col40 file0 line191 col40 file0 kindcontrol edges start line191 col40 file0 line191 col40 file0 end line191 col3 file0 line191 col5 file0 kindevent location line191 col3 file0 ranges line191 col3 file0 line191 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line191 col3 file0 line191 col5 file0 end line192 col3 file0 line192 col3 file0 kindcontrol edges start line192 col3 file0 line192 col3 file0 end line192 col6 file0 line192 col6 file0 kindevent location line192 col6 file0 ranges line192 col4 file0 line192 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context4cbbc713c8267513fef8a33f1327d7ca issue_context_kindfunction issue_contexttest_loop_diagnostics issue_hash_function_offset3 location line192 col6 file0 ExecutedLines 0 189 190 191 192 path kindcontrol edges start line196 col3 file0 line196 col5 file0 end line198 col3 file0 line198 col5 file0 kindevent location line198 col19 file0 ranges line198 col19 file0 line198 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line198 col3 file0 line198 col5 file0 end line200 col5 file0 line200 col6 file0 kindcontrol edges start line200 col5 file0 line200 col6 file0 end line202 col5 file0 line202 col5 file0 kindcontrol edges start line202 col5 file0 line202 col5 file0 end line204 col3 file0 line204 col3 file0 kindcontrol edges start line204 col3 file0 line204 col3 file0 end line198 col3 file0 line198 col5 file0 kindevent location line198 col3 file0 ranges line198 col3 file0 line198 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line198 col19 file0 ranges line198 col19 file0 line198 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line198 col3 file0 line198 col5 file0 end line200 col5 file0 line200 col6 file0 kindcontrol edges start line200 col5 file0 line200 col6 file0 end line202 col5 file0 line202 col5 file0 kindevent location line202 col5 file0 ranges line202 col5 file0 line202 col9 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line202 col5 file0 line202 col5 file0 end line204 col3 file0 line204 col3 file0 kindcontrol edges start line204 col3 file0 line204 col3 file0 end line198 col3 file0 line198 col5 file0 kindevent location line198 col3 file0 ranges line198 col3 file0 line198 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line198 col3 file0 line198 col5 file0 end line206 col3 file0 line206 col3 file0 kindcontrol edges start line206 col3 file0 line206 col3 file0 end line206 col6 file0 line206 col6 file0 kindevent location line206 col6 file0 ranges line206 col4 file0 line206 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexta5aa7cf7ce6ba6683bebfff63df926fd issue_context_kindfunction issue_contexttest_loop_diagnostics_2 issue_hash_function_offset11 location line206 col6 file0 ExecutedLines 0 195 196 198 200 202 204 206 path kindcontrol edges start line210 col3 file0 line210 col5 file0 end line215 col3 file0 line215 col7 file0 kindevent location line215 col10 file0 ranges line215 col10 file0 line215 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line215 col3 file0 line215 col7 file0 end line216 col5 file0 line216 col6 file0 kindcontrol edges start line216 col5 file0 line216 col6 file0 end line217 col5 file0 line217 col5 file0 kindcontrol edges start line217 col5 file0 line217 col5 file0 end line218 col3 file0 line218 col3 file0 kindcontrol edges start line218 col3 file0 line218 col3 file0 end line215 col3 file0 line215 col7 file0 kindevent location line215 col3 file0 ranges line215 col3 file0 line215 col7 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line215 col10 file0 ranges line215 col10 file0 line215 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line215 col3 file0 line215 col7 file0 end line216 col5 file0 line216 col6 file0 kindcontrol edges start line216 col5 file0 line216 col6 file0 end line217 col5 file0 line217 col5 file0 kindevent location line217 col5 file0 ranges line217 col5 file0 line217 col9 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line217 col5 file0 line217 col5 file0 end line218 col3 file0 line218 col3 file0 kindcontrol edges start line218 col3 file0 line218 col3 file0 end line215 col3 file0 line215 col7 file0 kindevent location line215 col3 file0 ranges line215 col3 file0 line215 col7 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line215 col3 file0 line215 col7 file0 end line219 col3 file0 line219 col3 file0 kindcontrol edges start line219 col3 file0 line219 col3 file0 end line219 col7 file0 line219 col7 file0 kindevent location line219 col7 file0 ranges line219 col5 file0 line219 col5 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context940ba28399417701285cc8f80b1b8c2d issue_context_kindfunction issue_contexttest_loop_diagnostics_3 issue_hash_function_offset10 location line219 col7 file0 ExecutedLines 0 209 210 211 212 213 214 215 216 217 218 219 path kindcontrol edges start line223 col3 file0 line223 col10 file0 end line225 col3 file0 line225 col5 file0 kindcontrol edges start line225 col3 file0 line225 col5 file0 end line229 col5 file0 line229 col6 file0 kindcontrol edges start line229 col5 file0 line229 col6 file0 end line230 col5 file0 line230 col5 file0 kindcontrol edges start line230 col5 file0 line230 col5 file0 end line232 col12 file0 line232 col12 file0 kindcontrol edges start line232 col12 file0 line232 col12 file0 end line227 col3 file0 line227 col4 file0 kindevent location line227 col3 file0 ranges line227 col3 file0 line227 col4 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line227 col3 file0 line227 col4 file0 end line229 col5 file0 line229 col6 file0 kindcontrol edges start line229 col5 file0 line229 col6 file0 end line230 col5 file0 line230 col5 file0 kindevent location line230 col5 file0 ranges line230 col5 file0 line230 col9 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line230 col5 file0 line230 col5 file0 end line232 col12 file0 line232 col12 file0 kindcontrol edges start line232 col12 file0 line232 col12 file0 end line234 col3 file0 line234 col3 file0 kindcontrol edges start line234 col3 file0 line234 col3 file0 end line234 col6 file0 line234 col6 file0 kindevent location line234 col6 file0 ranges line234 col4 file0 line234 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context89eb0611013a66315f63bf4de8130c3d issue_context_kindfunction issue_contexttest_do_while issue_hash_function_offset12 location line234 col6 file0 ExecutedLines 0 222 223 225 227 229 230 232 234 path kindevent location line239 col3 file0 ranges line239 col3 file0 line239 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line239 col3 file0 line239 col5 file0 end line240 col3 file0 line240 col4 file0 kindcontrol edges start line240 col3 file0 line240 col4 file0 end line240 col7 file0 line240 col7 file0 kindcontrol edges start line240 col7 file0 line240 col7 file0 end line240 col12 file0 line240 col12 file0 kindcontrol edges start line240 col12 file0 line240 col12 file0 end line241 col5 file0 line241 col5 file0 kindcontrol edges start line241 col5 file0 line241 col5 file0 end line241 col8 file0 line241 col8 file0 kindevent location line241 col8 file0 ranges line241 col6 file0 line241 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context483f7a1c29cc32152ca2ea651443e16f issue_context_kindfunction issue_contexttest_logical_and issue_hash_function_offset3 location line241 col8 file0 ExecutedLines 0 238 239 240 241 path kindevent location line246 col3 file0 ranges line246 col3 file0 line246 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line246 col3 file0 line246 col5 file0 end line247 col3 file0 line247 col4 file0 kindcontrol edges start line247 col3 file0 line247 col4 file0 end line247 col7 file0 line247 col7 file0 kindcontrol edges start line247 col7 file0 line247 col7 file0 end line247 col12 file0 line247 col12 file0 kindcontrol edges start line247 col12 file0 line247 col12 file0 end line248 col5 file0 line248 col5 file0 kindcontrol edges start line248 col5 file0 line248 col5 file0 end line248 col8 file0 line248 col8 file0 kindevent location line248 col8 file0 ranges line248 col6 file0 line248 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context852b510b1e204194a9fe3045cabc952c issue_context_kindfunction issue_contexttest_logical_or issue_hash_function_offset3 location line248 col8 file0 ExecutedLines 0 245 246 247 248 path kindevent location line254 col3 file0 ranges line254 col3 file0 line254 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line254 col3 file0 line254 col5 file0 end line255 col3 file0 line255 col4 file0 kindcontrol edges start line255 col3 file0 line255 col4 file0 end line255 col12 file0 line255 col12 file0 kindcontrol edges start line255 col12 file0 line255 col12 file0 end line255 col17 file0 line255 col17 file0 kindcontrol edges start line255 col17 file0 line255 col17 file0 end line255 col7 file0 line255 col10 file0 kindevent location line255 col7 file0 ranges line255 col7 file0 line255 col18 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line255 col7 file0 line255 col10 file0 end line256 col5 file0 line256 col5 file0 kindcontrol edges start line256 col5 file0 line256 col5 file0 end line256 col8 file0 line256 col8 file0 kindevent location line256 col8 file0 ranges line256 col6 file0 line256 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexta5081bea3b0e9f4f8132ecdb2c17991b issue_context_kindfunction issue_contexttest_logical_or_call issue_hash_function_offset4 location line256 col8 file0 ExecutedLines 0 252 254 255 256 path kindevent location line261 col3 file0 ranges line261 col3 file0 line261 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line261 col3 file0 line261 col5 file0 end line263 col3 file0 line263 col4 file0 kindcontrol edges start line263 col3 file0 line263 col4 file0 end line263 col8 file0 line263 col8 file0 kindcontrol edges start line263 col8 file0 line263 col8 file0 end line263 col13 file0 line263 col13 file0 kindcontrol edges start line263 col13 file0 line263 col13 file0 end line263 col19 file0 line263 col22 file0 kindevent location line263 col19 file0 ranges line263 col19 file0 line263 col22 file0 depth0 extended_message Assuming 'coin' is not equal to 0 message Assuming 'coin' is not equal to 0 kindcontrol edges start line263 col19 file0 line263 col22 file0 end line264 col5 file0 line264 col5 file0 kindcontrol edges start line264 col5 file0 line264 col5 file0 end line264 col8 file0 line264 col8 file0 kindevent location line264 col8 file0 ranges line264 col6 file0 line264 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context16c21155317ccfddb4f482db43b6c635 issue_context_kindfunction issue_contexttest_nested_logicals issue_hash_function_offset4 location line264 col8 file0 ExecutedLines 0 260 261 263 264 path kindevent location line261 col3 file0 ranges line261 col3 file0 line261 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line261 col3 file0 line261 col5 file0 end line263 col3 file0 line263 col4 file0 kindcontrol edges start line263 col3 file0 line263 col4 file0 end line263 col8 file0 line263 col8 file0 kindcontrol edges start line263 col8 file0 line263 col8 file0 end line263 col13 file0 line263 col13 file0 kindcontrol edges start line263 col13 file0 line263 col13 file0 end line263 col19 file0 line263 col22 file0 kindevent location line263 col19 file0 ranges line263 col19 file0 line263 col22 file0 depth0 extended_message Assuming 'coin' is 0 message Assuming 'coin' is 0 kindcontrol edges start line263 col19 file0 line263 col22 file0 end line267 col3 file0 line267 col4 file0 kindcontrol edges start line267 col3 file0 line267 col4 file0 end line267 col7 file0 line267 col7 file0 kindcontrol edges start line267 col7 file0 line267 col7 file0 end line267 col13 file0 line267 col13 file0 kindcontrol edges start line267 col13 file0 line267 col13 file0 end line267 col18 file0 line267 col18 file0 kindpop-up location line267 col19 file0 ranges line267 col19 file0 line267 col22 file0 extended_message 'coin' is 0 message 'coin' is 0 kindcontrol edges start line267 col19 file0 line267 col22 file0 end line268 col5 file0 line268 col5 file0 kindcontrol edges start line268 col5 file0 line268 col5 file0 end line268 col8 file0 line268 col8 file0 kindevent location line268 col8 file0 ranges line268 col6 file0 line268 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context16c21155317ccfddb4f482db43b6c635 issue_context_kindfunction issue_contexttest_nested_logicals issue_hash_function_offset8 location line268 col8 file0 ExecutedLines 0 260 261 263 267 268 path kindevent location line274 col3 file0 ranges line274 col3 file0 line274 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line274 col3 file0 line274 col5 file0 end line276 col3 file0 line276 col4 file0 kindcontrol edges start line276 col3 file0 line276 col4 file0 end line276 col7 file0 line276 col7 file0 kindcontrol edges start line276 col8 file0 line276 col8 file0 end line276 col14 file0 line276 col14 file0 kindcontrol edges start line276 col14 file0 line276 col14 file0 end line276 col19 file0 line276 col19 file0 kindcontrol edges start line276 col19 file0 line276 col19 file0 end line276 col30 file0 line276 col30 file0 kindcontrol edges start line276 col31 file0 line276 col31 file0 end line276 col36 file0 line276 col36 file0 kindcontrol edges start line276 col36 file0 line276 col36 file0 end line276 col46 file0 line276 col46 file0 kindcontrol edges start line276 col46 file0 line276 col46 file0 end line276 col51 file0 line276 col51 file0 kindcontrol edges start line276 col51 file0 line276 col51 file0 end line276 col41 file0 line276 col44 file0 kindcontrol edges start line276 col41 file0 line276 col44 file0 end line276 col7 file0 line276 col7 file0 kindevent location line276 col7 file0 ranges line276 col7 file0 line276 col57 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line276 col7 file0 line276 col7 file0 end line278 col5 file0 line278 col5 file0 kindcontrol edges start line278 col5 file0 line278 col5 file0 end line278 col8 file0 line278 col8 file0 kindevent location line278 col8 file0 ranges line278 col6 file0 line278 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context5fec1fd2724e271bb73fa4dd4be2a7f5 issue_context_kindfunction issue_contexttest_deeply_nested_logicals issue_hash_function_offset6 location line278 col8 file0 ExecutedLines 0 272 274 276 278 path kindcontrol edges start line283 col3 file0 line283 col5 file0 end line283 col11 file0 line283 col11 file0 kindevent location line283 col11 file0 ranges line283 col11 file0 line283 col11 file0 depth0 extended_message Assuming 'x' is not equal to 0 message Assuming 'x' is not equal to 0 kindcontrol edges start line283 col11 file0 line283 col11 file0 end line283 col15 file0 line283 col15 file0 kindcontrol edges start line283 col15 file0 line283 col15 file0 end line283 col3 file0 line283 col5 file0 kindcontrol edges start line283 col3 file0 line283 col5 file0 end line285 col3 file0 line285 col5 file0 kindcontrol edges start line285 col3 file0 line285 col5 file0 end line285 col12 file0 line285 col12 file0 kindpop-up location line285 col12 file0 ranges line285 col12 file0 line285 col12 file0 extended_message 'z' is 0 message 'z' is 0 kindcontrol edges start line285 col12 file0 line285 col12 file0 end line285 col20 file0 line285 col20 file0 kindcontrol edges start line285 col20 file0 line285 col20 file0 end line285 col3 file0 line285 col5 file0 kindevent location line285 col3 file0 ranges line285 col3 file0 line285 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line285 col3 file0 line285 col5 file0 end line287 col3 file0 line287 col3 file0 kindcontrol edges start line287 col3 file0 line287 col3 file0 end line287 col6 file0 line287 col6 file0 kindevent location line287 col6 file0 ranges line287 col4 file0 line287 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextc4ebf7f3e8a792521541ffae22ae2378 issue_context_kindfunction issue_contexttest_ternary issue_hash_function_offset5 location line287 col6 file0 ExecutedLines 0 282 283 285 287 path kindcontrol edges start line291 col3 file0 line291 col4 file0 end line291 col7 file0 line291 col7 file0 kindevent location line291 col7 file0 ranges line291 col7 file0 line291 col7 file0 depth0 extended_message Assuming 'y' is null message Assuming 'y' is null kindcontrol edges start line291 col7 file0 line291 col7 file0 end line294 col3 file0 line294 col4 file0 kindcontrol edges start line294 col3 file0 line294 col4 file0 end line294 col7 file0 line294 col7 file0 kindpop-up location line294 col7 file0 ranges line294 col7 file0 line294 col7 file0 extended_message 'y' is null message 'y' is null kindcontrol edges start line294 col7 file0 line294 col7 file0 end line297 col3 file0 line297 col5 file0 kindevent location line297 col3 file0 ranges line297 col3 file0 line297 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line297 col3 file0 line297 col5 file0 end line298 col3 file0 line298 col3 file0 kindcontrol edges start line298 col3 file0 line298 col3 file0 end line298 col6 file0 line298 col6 file0 kindevent location line298 col6 file0 ranges line298 col4 file0 line298 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context137a2333a17b5eecff7ff7a4b56d38d9 issue_context_kindfunction issue_contexttestUseless issue_hash_function_offset8 location line298 col6 file0 ExecutedLines 0 290 291 294 297 298 path kindcontrol edges start line310 col3 file0 line310 col4 file0 end line310 col7 file0 line310 col7 file0 kindevent location line310 col7 file0 ranges line310 col7 file0 line310 col7 file0 depth0 extended_message Assuming 'x' is nil message Assuming 'x' is nil kindcontrol edges start line310 col7 file0 line310 col7 file0 end line312 col3 file0 line312 col8 file0 kindcontrol edges start line312 col3 file0 line312 col8 file0 end line312 col12 file0 line312 col12 file0 kindevent location line312 col12 file0 ranges line312 col12 file0 line312 col12 file0 depth0 extended_message 'returnsPointer' not called because the receiver is nil message 'returnsPointer' not called because the receiver is nil kindevent location line312 col10 file0 ranges line312 col10 file0 line312 col28 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextd1a1b27348a9c4d0abaaea4a4df9b649 issue_context_kindfunction issue_contexttestFoo issue_hash_function_offset3 location line312 col10 file0 ExecutedLines 0 309 310 312 path kindevent location line320 col3 file0 ranges line320 col3 file0 line320 col10 file0 depth0 extended_message 'x' initialized to nil message 'x' initialized to nil kindcontrol edges start line320 col3 file0 line320 col7 file0 end line321 col3 file0 line321 col3 file0 kindevent location line321 col5 file0 ranges line321 col5 file0 line321 col5 file0 depth0 extended_message 'getPointer' not called because the receiver is nil message 'getPointer' not called because the receiver is nil kindcontrol edges start line321 col3 file0 line321 col3 file0 end line321 col19 file0 line321 col19 file0 kindevent location line321 col19 file0 ranges line321 col3 file0 line321 col21 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context1d7470f8b42e1cff6ab697162911b488 issue_context_kindfunction issue_contexttest1_IPA_X issue_hash_function_offset2 location line321 col19 file0 ExecutedLines 0 319 320 321 path kindcontrol edges start line337 col3 file0 line337 col4 file0 end line337 col7 file0 line337 col7 file0 kindevent location line337 col7 file0 ranges line337 col7 file0 line337 col7 file0 depth0 extended_message Assuming 'y' is nil message Assuming 'y' is nil kindcontrol edges start line337 col7 file0 line337 col7 file0 end line340 col3 file0 line340 col7 file0 kindcontrol edges start line340 col3 file0 line340 col7 file0 end line340 col16 file0 line340 col16 file0 kindevent location line340 col16 file0 ranges line340 col16 file0 line340 col16 file0 depth0 extended_message 'opaque' not called because the receiver is nil message 'opaque' not called because the receiver is nil kindevent location line340 col15 file0 ranges line340 col15 file0 line340 col24 file0 depth0 extended_message 'getX' not called because the receiver is nil message 'getX' not called because the receiver is nil kindcontrol edges start line340 col15 file0 line340 col15 file0 end line340 col3 file0 line340 col7 file0 kindevent location line340 col3 file0 ranges line340 col3 file0 line340 col10 file0 depth0 extended_message 'x' initialized to nil message 'x' initialized to nil kindcontrol edges start line340 col3 file0 line340 col7 file0 end line341 col3 file0 line341 col3 file0 kindevent location line341 col5 file0 ranges line341 col5 file0 line341 col5 file0 depth0 extended_message 'getPointer' not called because the receiver is nil message 'getPointer' not called because the receiver is nil kindcontrol edges start line341 col3 file0 line341 col3 file0 end line341 col19 file0 line341 col19 file0 kindevent location line341 col19 file0 ranges line341 col3 file0 line341 col21 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context3fda62f72d88e4bc250c415cbc45a9e2 issue_context_kindfunction issue_contexttest_IPA_Y issue_hash_function_offset5 location line341 col19 file0 ExecutedLines 0 336 337 340 341 path kindcontrol edges start line352 col3 file0 line352 col5 file0 end line354 col3 file0 line354 col22 file0 kindevent location line354 col3 file0 ranges line354 col3 file0 line354 col25 file0 depth0 extended_message Calling 'causeDivByZeroInMain' message Calling 'causeDivByZeroInMain' kindevent location line345 col1 file0 depth1 extended_message Entered call from 'mainPlusMain' message Entered call from 'mainPlusMain' kindcontrol edges start line345 col1 file0 line345 col4 file0 end line346 col3 file0 line346 col5 file0 kindevent location line346 col3 file0 ranges line346 col3 file0 line346 col7 file0 depth1 extended_message 'm' initialized to 0 message 'm' initialized to 0 kindcontrol edges start line346 col3 file0 line346 col5 file0 end line347 col9 file0 line347 col9 file0 kindevent location line347 col9 file0 ranges line347 col7 file0 line347 col10 file0 depth1 extended_message Division by zero message Division by zero descriptionDivision by zero categoryLogic error typeDivision by zero check_namecore.DivideZero issue_hash_content_of_line_in_contextd0d513aa4710781c2b56c44226354403 issue_context_kindfunction issue_contextcauseDivByZeroInMain issue_hash_function_offset2 location line347 col9 file0 ExecutedLines 0 345 346 347 351 352 353 354 path kindevent location line383 col3 file0 ranges line383 col3 file0 line383 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line383 col3 file0 line383 col3 file0 end line384 col3 file0 line384 col3 file0 kindcontrol edges start line384 col3 file0 line384 col3 file0 end line384 col6 file0 line384 col6 file0 kindevent location line384 col6 file0 ranges line384 col4 file0 line384 col4 file0 depth0 extended_message Dereference of null pointer (loaded from ivar 'p') message Dereference of null pointer (loaded from ivar 'p') descriptionDereference of null pointer (loaded from ivar 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextb21eba78798501dc6b716bb91e3f7f01 issue_context_kindObjective-C method issue_contexttest issue_hash_function_offset2 location line384 col6 file0 ExecutedLines 0 382 383 384 path kindevent location line392 col3 file0 ranges line392 col3 file0 line392 col25 file0 depth0 extended_message 's.i' initialized to a null pointer value message 's.i' initialized to a null pointer value kindcontrol edges start line392 col3 file0 line392 col8 file0 end line394 col3 file0 line394 col16 file0 kindevent location line394 col3 file0 ranges line394 col18 file0 line394 col22 file0 depth0 extended_message Null pointer passed to 1st parameter expecting 'nonnull' message Null pointer passed to 1st parameter expecting 'nonnull' descriptionNull pointer passed to 1st parameter expecting 'nonnull' categoryAPI typeArgument with 'nonnull' attribute passed null check_namecore.NonNullParamChecker issue_hash_content_of_line_in_contextc0b359a043c633f1b8d1581f68743361 issue_context_kindfunction issue_contextRDar13295437 issue_hash_function_offset3 location line394 col3 file0 ExecutedLines 0 391 392 393 394 path kindcontrol edges start line400 col3 file0 line400 col4 file0 end line400 col7 file0 line400 col10 file0 kindevent location line400 col7 file0 ranges line400 col7 file0 line400 col10 file0 depth0 extended_message Assuming 'coin' is not equal to 0 message Assuming 'coin' is not equal to 0 kindcontrol edges start line400 col7 file0 line400 col10 file0 end line401 col5 file0 line401 col5 file0 kindcontrol edges start line401 col5 file0 line401 col5 file0 end line404 col5 file0 line404 col5 file0 kindcontrol edges start line404 col5 file0 line404 col5 file0 end line404 col24 file0 line404 col24 file0 kindevent location line404 col24 file0 ranges line404 col5 file0 line404 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context573a1a599cc8abe987f5227676d04abc issue_context_kindfunction issue_contexttestCast issue_hash_function_offset5 location line404 col24 file0 ExecutedLines 0 399 400 401 402 403 404 path kindcontrol edges start line420 col3 file0 line420 col4 file0 end line420 col7 file0 line420 col7 file0 kindevent location line420 col7 file0 ranges line420 col7 file0 line420 col14 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line420 col7 file0 line420 col7 file0 end line421 col5 file0 line421 col7 file0 kindevent location line421 col5 file0 ranges line421 col5 file0 line421 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line421 col5 file0 line421 col7 file0 end line422 col5 file0 line422 col5 file0 kindcontrol edges start line422 col5 file0 line422 col5 file0 end line422 col8 file0 line422 col8 file0 kindevent location line422 col8 file0 ranges line422 col6 file0 line422 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextea1d5db6b4c380a432c88139fdd18f42 issue_context_kindObjective-C method issue_contexttest issue_hash_function_offset3 location line422 col8 file0 ExecutedLines 0 419 420 421 422 path kindevent location line431 col8 file0 ranges line431 col8 file0 line431 col10 file0 line431 col14 file0 line431 col40 file0 depth0 extended_message Value stored to 'foo' during its initialization is never read message Value stored to 'foo' during its initialization is never read descriptionValue stored to 'foo' during its initialization is never read categoryDead store typeDead initialization check_namedeadcode.DeadStores issue_hash_content_of_line_in_context3dd1ebf91fa4e92eeec82faaeb48beda issue_context_kindObjective-C method issue_contexttest2 issue_hash_function_offset2 location line431 col8 file0 ExecutedLines 0 431 path kindcontrol edges start line430 col3 file0 line430 col4 file0 end line430 col7 file0 line430 col21 file0 kindevent location line430 col7 file0 ranges line430 col7 file0 line430 col23 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line430 col7 file0 line430 col21 file0 end line431 col5 file0 line431 col6 file0 kindevent location line431 col14 file0 ranges line431 col14 file0 line431 col40 file0 depth0 extended_message Method returns an instance of RDar10797980 with a +1 retain count message Method returns an instance of RDar10797980 with a +1 retain count kindcontrol edges start line431 col5 file0 line431 col6 file0 end line433 col9 file0 line433 col9 file0 kindevent location line433 col9 file0 depth0 extended_message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 descriptionPotential leak of an object stored into 'foo' categoryMemory (Core Foundation/Objective-C/OSObject) typeLeak check_nameosx.cocoa.RetainCount issue_hash_content_of_line_in_contextf533db5cbb9c20d171f9f92105789dc4 issue_context_kindObjective-C method issue_contexttest2 issue_hash_function_offset2 location line433 col9 file0 ExecutedLines 0 429 430 431 433 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line445 col3 file0 line445 col7 file0 end line446 col5 file0 line446 col8 file0 kindcontrol edges start line446 col5 file0 line446 col8 file0 end line449 col5 file0 line449 col5 file0 kindcontrol edges start line449 col5 file0 line449 col5 file0 end line449 col24 file0 line449 col24 file0 kindevent location line449 col24 file0 ranges line449 col5 file0 line449 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset11 location line449 col24 file0 ExecutedLines 0 438 445 446 447 448 449 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line453 col3 file0 line453 col4 file0 kindevent location line453 col3 file0 ranges line453 col3 file0 line453 col4 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line453 col3 file0 line453 col4 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 0 message 'first' is 0 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line458 col7 file0 line458 col7 file0 kindcontrol edges start line458 col7 file0 line458 col7 file0 end line458 col26 file0 line458 col26 file0 kindevent location line458 col26 file0 ranges line458 col7 file0 line458 col28 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexta76c8ba29cdedecd0dfa5e24711cd236 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset20 location line458 col26 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 458 459 460 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line462 col19 file0 line462 col19 file0 end line463 col5 file0 line463 col8 file0 kindcontrol edges start line463 col5 file0 line463 col8 file0 end line464 col5 file0 line464 col5 file0 kindcontrol edges start line464 col5 file0 line464 col5 file0 end line464 col24 file0 line464 col24 file0 kindevent location line464 col24 file0 ranges line464 col5 file0 line464 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset26 location line464 col24 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 463 464 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line462 col19 file0 line462 col19 file0 end line467 col3 file0 line467 col5 file0 kindevent location line467 col8 file0 ranges line467 col8 file0 line467 col11 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line467 col3 file0 line467 col5 file0 end line468 col5 file0 line468 col8 file0 kindcontrol edges start line468 col5 file0 line468 col8 file0 end line472 col5 file0 line472 col5 file0 kindcontrol edges start line472 col5 file0 line472 col5 file0 end line472 col24 file0 line472 col24 file0 kindevent location line472 col24 file0 ranges line472 col5 file0 line472 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset34 location line472 col24 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 467 468 469 470 471 472 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line462 col19 file0 line462 col19 file0 end line467 col3 file0 line467 col5 file0 kindevent location line467 col8 file0 ranges line467 col8 file0 line467 col11 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line467 col3 file0 line467 col5 file0 end line475 col3 file0 line475 col5 file0 kindcontrol edges start line475 col3 file0 line475 col5 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line476 col3 file0 line476 col5 file0 end line484 col3 file0 line484 col5 file0 kindevent location line484 col14 file0 ranges line484 col14 file0 line484 col14 file0 depth0 extended_message Loop body skipped when range is empty message Loop body skipped when range is empty kindcontrol edges start line484 col3 file0 line484 col5 file0 end line491 col3 file0 line491 col5 file0 kindevent location line491 col3 file0 ranges line491 col3 file0 line491 col5 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line491 col3 file0 line491 col5 file0 end line492 col5 file0 line492 col8 file0 kindcontrol edges start line492 col5 file0 line492 col8 file0 end line493 col5 file0 line493 col6 file0 kindcontrol edges start line493 col5 file0 line493 col6 file0 end line493 col9 file0 line493 col9 file0 kindevent location line493 col9 file0 ranges line493 col9 file0 line493 col16 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line493 col9 file0 line493 col9 file0 end line494 col7 file0 line494 col11 file0 kindcontrol edges start line494 col7 file0 line494 col11 file0 end line497 col3 file0 line497 col5 file0 kindcontrol edges start line497 col3 file0 line497 col5 file0 end line498 col3 file0 line498 col5 file0 kindcontrol edges start line498 col3 file0 line498 col5 file0 end line498 col15 file0 line498 col15 file0 kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line498 col15 file0 line498 col15 file0 end line499 col5 file0 line499 col8 file0 kindcontrol edges start line499 col5 file0 line499 col8 file0 end line500 col5 file0 line500 col5 file0 kindcontrol edges start line500 col5 file0 line500 col5 file0 end line500 col24 file0 line500 col24 file0 kindevent location line500 col24 file0 ranges line500 col5 file0 line500 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset62 location line500 col24 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 467 475 476 477 478 479 480 481 483 484 491 492 493 494 497 498 499 500 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line462 col19 file0 line462 col19 file0 end line467 col3 file0 line467 col5 file0 kindevent location line467 col8 file0 ranges line467 col8 file0 line467 col11 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line467 col3 file0 line467 col5 file0 end line475 col3 file0 line475 col5 file0 kindcontrol edges start line475 col3 file0 line475 col5 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line476 col3 file0 line476 col5 file0 end line484 col3 file0 line484 col5 file0 kindevent location line484 col14 file0 ranges line484 col14 file0 line484 col14 file0 depth0 extended_message Loop body skipped when range is empty message Loop body skipped when range is empty kindcontrol edges start line484 col3 file0 line484 col5 file0 end line491 col3 file0 line491 col5 file0 kindevent location line491 col3 file0 ranges line491 col3 file0 line491 col5 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line491 col3 file0 line491 col5 file0 end line492 col5 file0 line492 col8 file0 kindcontrol edges start line492 col5 file0 line492 col8 file0 end line493 col5 file0 line493 col6 file0 kindcontrol edges start line493 col5 file0 line493 col6 file0 end line493 col9 file0 line493 col9 file0 kindevent location line493 col9 file0 ranges line493 col9 file0 line493 col16 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line493 col9 file0 line493 col9 file0 end line494 col7 file0 line494 col11 file0 kindcontrol edges start line494 col7 file0 line494 col11 file0 end line497 col3 file0 line497 col5 file0 kindcontrol edges start line497 col3 file0 line497 col5 file0 end line498 col3 file0 line498 col5 file0 kindcontrol edges start line498 col3 file0 line498 col5 file0 end line498 col15 file0 line498 col15 file0 kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line498 col15 file0 line498 col15 file0 end line503 col3 file0 line503 col5 file0 kindcontrol edges start line503 col3 file0 line503 col5 file0 end line503 col10 file0 line503 col10 file0 kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line503 col10 file0 line503 col10 file0 end line504 col5 file0 line504 col8 file0 kindcontrol edges start line504 col5 file0 line504 col8 file0 end line505 col5 file0 line505 col5 file0 kindcontrol edges start line505 col5 file0 line505 col5 file0 end line505 col24 file0 line505 col24 file0 kindevent location line505 col24 file0 ranges line505 col5 file0 line505 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset67 location line505 col24 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 467 475 476 477 478 479 480 481 483 484 491 492 493 494 497 498 503 504 505 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line462 col19 file0 line462 col19 file0 end line467 col3 file0 line467 col5 file0 kindevent location line467 col8 file0 ranges line467 col8 file0 line467 col11 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line467 col3 file0 line467 col5 file0 end line475 col3 file0 line475 col5 file0 kindcontrol edges start line475 col3 file0 line475 col5 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line476 col3 file0 line476 col5 file0 end line484 col3 file0 line484 col5 file0 kindevent location line484 col14 file0 ranges line484 col14 file0 line484 col14 file0 depth0 extended_message Loop body skipped when range is empty message Loop body skipped when range is empty kindcontrol edges start line484 col3 file0 line484 col5 file0 end line491 col3 file0 line491 col5 file0 kindevent location line491 col3 file0 ranges line491 col3 file0 line491 col5 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line491 col3 file0 line491 col5 file0 end line492 col5 file0 line492 col8 file0 kindcontrol edges start line492 col5 file0 line492 col8 file0 end line493 col5 file0 line493 col6 file0 kindcontrol edges start line493 col5 file0 line493 col6 file0 end line493 col9 file0 line493 col9 file0 kindevent location line493 col9 file0 ranges line493 col9 file0 line493 col16 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line493 col9 file0 line493 col9 file0 end line494 col7 file0 line494 col11 file0 kindcontrol edges start line494 col7 file0 line494 col11 file0 end line497 col3 file0 line497 col5 file0 kindcontrol edges start line497 col3 file0 line497 col5 file0 end line498 col3 file0 line498 col5 file0 kindcontrol edges start line498 col3 file0 line498 col5 file0 end line498 col15 file0 line498 col15 file0 kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line498 col15 file0 line498 col15 file0 end line503 col3 file0 line503 col5 file0 kindcontrol edges start line503 col3 file0 line503 col5 file0 end line503 col10 file0 line503 col10 file0 kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line503 col10 file0 line503 col10 file0 end line508 col3 file0 line508 col5 file0 kindcontrol edges start line508 col3 file0 line508 col5 file0 end line508 col10 file0 line508 col10 file0 kindevent location line508 col10 file0 ranges line508 col10 file0 line508 col17 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindevent location line508 col10 file0 ranges line508 col10 file0 line508 col17 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line508 col10 file0 line508 col10 file0 end line509 col5 file0 line509 col8 file0 kindcontrol edges start line509 col5 file0 line509 col8 file0 end line510 col5 file0 line510 col6 file0 kindcontrol edges start line510 col5 file0 line510 col6 file0 end line510 col9 file0 line510 col9 file0 kindevent location line510 col9 file0 ranges line510 col9 file0 line510 col16 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindcontrol edges start line510 col9 file0 line510 col9 file0 end line512 col5 file0 line512 col5 file0 kindcontrol edges start line512 col5 file0 line512 col5 file0 end line512 col24 file0 line512 col24 file0 kindevent location line512 col24 file0 ranges line512 col5 file0 line512 col26 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextbfb65e90e76fe7a219616d1d0b36f958 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset74 location line512 col24 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 467 475 476 477 478 479 480 481 483 484 491 492 493 494 497 498 503 508 509 510 512 path kindevent location line445 col10 file0 ranges line445 col10 file0 line445 col12 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line445 col3 file0 line445 col7 file0 end line452 col3 file0 line452 col5 file0 kindcontrol edges start line452 col3 file0 line452 col5 file0 end line454 col5 file0 line454 col8 file0 kindcontrol edges start line454 col5 file0 line454 col8 file0 end line457 col5 file0 line457 col6 file0 kindcontrol edges start line457 col5 file0 line457 col6 file0 end line457 col10 file0 line457 col14 file0 kindpop-up location line457 col10 file0 ranges line457 col10 file0 line457 col14 file0 extended_message 'first' is 1 message 'first' is 1 kindcontrol edges start line457 col10 file0 line457 col14 file0 end line459 col5 file0 line459 col9 file0 kindcontrol edges start line459 col5 file0 line459 col9 file0 end line460 col12 file0 line460 col12 file0 kindcontrol edges start line460 col12 file0 line460 col12 file0 end line462 col3 file0 line462 col5 file0 kindcontrol edges start line462 col3 file0 line462 col5 file0 end line462 col19 file0 line462 col19 file0 kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line462 col19 file0 ranges line462 col19 file0 line462 col26 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line462 col19 file0 line462 col19 file0 end line467 col3 file0 line467 col5 file0 kindevent location line467 col8 file0 ranges line467 col8 file0 line467 col11 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line467 col3 file0 line467 col5 file0 end line475 col3 file0 line475 col5 file0 kindcontrol edges start line475 col3 file0 line475 col5 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line476 col14 file0 ranges line476 col14 file0 line476 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line476 col3 file0 line476 col5 file0 end line477 col5 file0 line477 col8 file0 kindcontrol edges start line477 col5 file0 line477 col8 file0 end line480 col5 file0 line480 col5 file0 kindcontrol edges start line480 col5 file0 line480 col5 file0 end line481 col3 file0 line481 col3 file0 kindcontrol edges start line481 col3 file0 line481 col3 file0 end line476 col3 file0 line476 col5 file0 kindevent location line476 col3 file0 ranges line476 col3 file0 line481 col3 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line476 col3 file0 line476 col5 file0 end line484 col3 file0 line484 col5 file0 kindevent location line484 col14 file0 ranges line484 col14 file0 line484 col14 file0 depth0 extended_message Loop body skipped when range is empty message Loop body skipped when range is empty kindcontrol edges start line484 col3 file0 line484 col5 file0 end line491 col3 file0 line491 col5 file0 kindevent location line491 col3 file0 ranges line491 col3 file0 line491 col5 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line491 col3 file0 line491 col5 file0 end line492 col5 file0 line492 col8 file0 kindcontrol edges start line492 col5 file0 line492 col8 file0 end line493 col5 file0 line493 col6 file0 kindcontrol edges start line493 col5 file0 line493 col6 file0 end line493 col9 file0 line493 col9 file0 kindevent location line493 col9 file0 ranges line493 col9 file0 line493 col16 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line493 col9 file0 line493 col9 file0 end line494 col7 file0 line494 col11 file0 kindcontrol edges start line494 col7 file0 line494 col11 file0 end line497 col3 file0 line497 col5 file0 kindcontrol edges start line497 col3 file0 line497 col5 file0 end line498 col3 file0 line498 col5 file0 kindcontrol edges start line498 col3 file0 line498 col5 file0 end line498 col15 file0 line498 col15 file0 kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line498 col15 file0 ranges line498 col15 file0 line498 col22 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line498 col15 file0 line498 col15 file0 end line503 col3 file0 line503 col5 file0 kindcontrol edges start line503 col3 file0 line503 col5 file0 end line503 col10 file0 line503 col10 file0 kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line503 col10 file0 ranges line503 col10 file0 line503 col17 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line503 col10 file0 line503 col10 file0 end line508 col3 file0 line508 col5 file0 kindcontrol edges start line508 col3 file0 line508 col5 file0 end line508 col10 file0 line508 col10 file0 kindevent location line508 col10 file0 ranges line508 col10 file0 line508 col17 file0 depth0 extended_message Assuming the condition is false message Assuming the condition is false kindevent location line508 col10 file0 ranges line508 col10 file0 line508 col17 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line508 col10 file0 line508 col10 file0 end line515 col3 file0 line515 col5 file0 kindevent location line515 col3 file0 ranges line515 col3 file0 line515 col5 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line515 col3 file0 line515 col5 file0 end line516 col5 file0 line516 col8 file0 kindcontrol edges start line516 col5 file0 line516 col8 file0 end line517 col5 file0 line517 col6 file0 kindcontrol edges start line517 col5 file0 line517 col6 file0 end line517 col9 file0 line517 col9 file0 kindevent location line517 col9 file0 ranges line517 col9 file0 line517 col16 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line517 col9 file0 line517 col9 file0 end line518 col7 file0 line518 col11 file0 kindcontrol edges start line518 col7 file0 line518 col11 file0 end line521 col3 file0 line521 col3 file0 kindcontrol edges start line521 col3 file0 line521 col3 file0 end line521 col22 file0 line521 col22 file0 kindevent location line521 col22 file0 ranges line521 col3 file0 line521 col24 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context6c3e2dd10c375325a3089b996dd460c3 issue_context_kindfunction issue_contextvariousLoops issue_hash_function_offset83 location line521 col22 file0 ExecutedLines 0 438 445 452 453 454 455 456 457 459 460 462 467 475 476 477 478 479 480 481 483 484 491 492 493 494 497 498 503 508 515 516 517 518 521 path kindevent location line529 col23 file0 ranges line529 col23 file0 line529 col33 file0 depth0 extended_message Memory is allocated message Memory is allocated kindcontrol edges start line529 col3 file0 line529 col6 file0 end line531 col3 file0 line531 col5 file0 kindevent location line531 col16 file0 ranges line531 col16 file0 line531 col38 file0 depth0 extended_message Attempt to reallocate memory message Attempt to reallocate memory kindcontrol edges start line531 col3 file0 line531 col5 file0 end line532 col3 file0 line532 col4 file0 kindcontrol edges start line532 col3 file0 line532 col4 file0 end line532 col7 file0 line532 col7 file0 kindevent location line532 col7 file0 ranges line532 col7 file0 line532 col10 file0 depth0 extended_message Assuming 'tmp' is null message Assuming 'tmp' is null kindevent location line532 col7 file0 ranges line532 col7 file0 line532 col10 file0 depth0 extended_message Reallocation failed message Reallocation failed kindcontrol edges start line532 col7 file0 line532 col7 file0 end line533 col5 file0 line533 col10 file0 kindevent location line533 col5 file0 depth0 extended_message Potential leak of memory pointed to by 'buf' message Potential leak of memory pointed to by 'buf' descriptionPotential leak of memory pointed to by 'buf' categoryMemory error typeMemory leak check_nameunix.Malloc issue_hash_content_of_line_in_context51180616cd69dc1776be708299ec90fb issue_context_kindfunction issue_contextreallocDiagnostics issue_hash_function_offset1 location line533 col5 file0 ExecutedLines 0 528 529 530 531 532 533 path kindcontrol edges start line548 col3 file0 line548 col5 file0 end line551 col3 file0 line551 col12 file0 kindevent location line551 col21 file0 ranges line551 col21 file0 line551 col30 file0 depth0 extended_message Memory is allocated message Memory is allocated kindcontrol edges start line551 col3 file0 line551 col12 file0 end line553 col5 file0 line553 col6 file0 kindcontrol edges start line553 col5 file0 line553 col6 file0 end line555 col1 file0 line555 col1 file0 kindevent location line555 col1 file0 depth0 extended_message Calling '~unique_ptr' message Calling '~unique_ptr' kindevent location line544 col3 file0 depth1 extended_message Entered call from 'test' message Entered call from 'test' kindcontrol edges start line544 col3 file0 line544 col3 file0 end line544 col19 file0 line544 col24 file0 kindevent location line544 col19 file0 ranges line544 col26 file0 line544 col28 file0 depth1 extended_message Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete' message Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete' descriptionMemory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete' categoryMemory error typeBad deallocator check_nameunix.MismatchedDeallocator issue_hash_content_of_line_in_context046c88d1c91ff46d6506dff5ff880756 issue_hash_function_offset0 location line544 col19 file0 ExecutedLines 0 543 544 547 548 549 551 553 555 path kindevent location line558 col12 file0 ranges line558 col12 file0 line558 col34 file0 depth0 extended_message Method returns an instance of NSObject with a +1 retain count message Method returns an instance of NSObject with a +1 retain count kindcontrol edges start line558 col3 file0 line558 col4 file0 end line559 col3 file0 line559 col4 file0 kindcontrol edges start line559 col3 file0 line559 col4 file0 end line560 col12 file0 line560 col12 file0 kindevent location line560 col12 file0 ranges line560 col12 file0 line560 col23 file0 line560 col13 file0 line560 col15 file0 depth0 extended_message Reference count incremented. The object now has a +2 retain count message Reference count incremented. The object now has a +2 retain count kindcontrol edges start line560 col12 file0 line560 col12 file0 end line561 col3 file0 line561 col3 file0 kindevent location line561 col3 file0 ranges line561 col3 file0 line561 col15 file0 line561 col4 file0 line561 col6 file0 depth0 extended_message Reference count decremented. The object now has a +1 retain count message Reference count decremented. The object now has a +1 retain count kindcontrol edges start line561 col3 file0 line561 col3 file0 end line562 col3 file0 line562 col4 file0 kindcontrol edges start line562 col3 file0 line562 col4 file0 end line562 col12 file0 line562 col12 file0 kindevent location line562 col12 file0 ranges line562 col12 file0 line563 col21 file0 line562 col13 file0 line562 col15 file0 depth0 extended_message Reference count incremented. The object now has a +2 retain count message Reference count incremented. The object now has a +2 retain count kindcontrol edges start line562 col12 file0 line562 col12 file0 end line562 col3 file0 line562 col4 file0 kindcontrol edges start line562 col3 file0 line562 col4 file0 end line564 col3 file0 line564 col3 file0 kindevent location line564 col3 file0 ranges line564 col3 file0 line564 col15 file0 line564 col4 file0 line564 col6 file0 depth0 extended_message Reference count decremented. The object now has a +1 retain count message Reference count decremented. The object now has a +1 retain count kindcontrol edges start line564 col3 file0 line564 col3 file0 end line566 col3 file0 line566 col4 file0 kindcontrol edges start line566 col3 file0 line566 col4 file0 end line566 col15 file0 line566 col15 file0 kindevent location line566 col15 file0 ranges line566 col15 file0 line566 col87 file0 line566 col16 file0 line566 col18 file0 depth0 extended_message Reference count incremented. The object now has a +2 retain count message Reference count incremented. The object now has a +2 retain count kindcontrol edges start line566 col15 file0 line566 col15 file0 end line566 col3 file0 line566 col4 file0 kindcontrol edges start line566 col3 file0 line566 col4 file0 end line567 col3 file0 line567 col3 file0 kindevent location line567 col3 file0 ranges line567 col3 file0 line567 col18 file0 line567 col4 file0 line567 col9 file0 depth0 extended_message Reference count decremented. The object now has a +1 retain count message Reference count decremented. The object now has a +1 retain count kindcontrol edges start line567 col3 file0 line567 col3 file0 end line568 col1 file0 line568 col1 file0 kindevent location line568 col1 file0 depth0 extended_message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 descriptionPotential leak of an object stored into 'foo' categoryMemory (Core Foundation/Objective-C/OSObject) typeLeak check_nameosx.cocoa.RetainCount issue_hash_content_of_line_in_context5616a7601faa1a8c2ac56fa1b595b172 issue_context_kindfunction issue_contextlongLines issue_hash_function_offset1 location line568 col1 file0 ExecutedLines 0 557 558 559 560 561 562 564 566 567 568 path kindevent location line572 col3 file0 ranges line572 col3 file0 line572 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line572 col3 file0 line572 col5 file0 end line573 col3 file0 line573 col3 file0 kindcontrol edges start line573 col3 file0 line573 col3 file0 end line573 col6 file0 line573 col6 file0 kindevent location line573 col6 file0 ranges line573 col4 file0 line573 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextdff4970e681578e07d0512d3258aeddd issue_context_kindfunction issue_contexttestMacroInFunctionDecl issue_hash_function_offset2 location line573 col6 file0 ExecutedLines 0 571 572 573 path kindcontrol edges start line584 col9 file0 line584 col9 file0 end line585 col9 file0 line585 col9 file0 kindcontrol edges start line585 col9 file0 line585 col9 file0 end line587 col7 file0 line587 col8 file0 kindcontrol edges start line587 col7 file0 line587 col8 file0 end line587 col11 file0 line587 col11 file0 kindcontrol edges start line587 col11 file0 line587 col11 file0 end line587 col11 file0 line587 col11 file0 kindpop-up location line587 col11 file0 extended_message Field 'b' is equal to 2 message Field 'b' is equal to 2 kindcontrol edges start line587 col11 file0 line587 col11 file0 end line588 col9 file0 line588 col9 file0 kindcontrol edges start line588 col9 file0 line588 col9 file0 end line588 col28 file0 line588 col28 file0 kindevent location line588 col28 file0 ranges line588 col9 file0 line588 col30 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextde83c7c8cc706cf47429f220bfa49458 issue_hash_function_offset3 location line588 col28 file0 ExecutedLines 0 583 584 585 587 588 files