clang_version diagnostics path kindevent location line11 col3 file0 ranges line11 col3 file0 line11 col10 file0 depth0 extended_message Calling 'zero' message Calling 'zero' kindevent location line5 col1 file0 depth1 extended_message Entered call from 'testZero' message Entered call from 'testZero' kindcontrol edges start line5 col1 file0 line5 col4 file0 end line6 col3 file0 line6 col3 file0 kindevent location line6 col3 file0 ranges line6 col3 file0 line6 col8 file0 depth1 extended_message Null pointer value stored to 'a' message Null pointer value stored to 'a' kindevent location line11 col3 file0 ranges line11 col3 file0 line11 col10 file0 depth0 extended_message Returning from 'zero' message Returning from 'zero' kindcontrol edges start line11 col3 file0 line11 col6 file0 end line14 col3 file0 line14 col3 file0 kindcontrol edges start line14 col3 file0 line14 col3 file0 end line14 col6 file0 line14 col6 file0 kindevent location line14 col6 file0 ranges line14 col4 file0 line14 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context52499a849b132453be19ec9167d8c021 issue_context_kindfunction issue_contexttestZero issue_hash_function_offset4 location line14 col6 file0 ExecutedLines 0 5 6 10 11 14 path kindcontrol edges start line19 col3 file0 line19 col4 file0 end line19 col7 file0 line19 col7 file0 kindevent location line19 col7 file0 ranges line19 col7 file0 line19 col7 file0 depth0 extended_message Assuming 'a' is null message Assuming 'a' is null kindcontrol edges start line19 col7 file0 line19 col7 file0 end line24 col3 file0 line24 col3 file0 kindcontrol edges start line24 col3 file0 line24 col3 file0 end line24 col6 file0 line24 col6 file0 kindevent location line24 col6 file0 ranges line24 col4 file0 line24 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextcb893891b6a08ee4b7dc3d0c11df856e issue_context_kindfunction issue_contexttestCheck issue_hash_function_offset6 location line24 col6 file0 ExecutedLines 0 18 19 24 path kindevent location line32 col3 file0 ranges line32 col3 file0 line32 col8 file0 depth0 extended_message 'a' initialized here message 'a' initialized here kindcontrol edges start line32 col3 file0 line32 col5 file0 end line34 col3 file0 line34 col4 file0 kindcontrol edges start line34 col3 file0 line34 col4 file0 end line34 col7 file0 line34 col7 file0 kindevent location line34 col7 file0 ranges line34 col7 file0 line34 col7 file0 depth0 extended_message Assuming 'a' is null message Assuming 'a' is null kindcontrol edges start line34 col7 file0 line34 col7 file0 end line39 col3 file0 line39 col3 file0 kindcontrol edges start line39 col3 file0 line39 col3 file0 end line39 col6 file0 line39 col6 file0 kindevent location line39 col6 file0 ranges line39 col4 file0 line39 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextec20b5e53a72c82d442b3ca04c81e138 issue_context_kindfunction issue_contexttestInitCheck issue_hash_function_offset8 location line39 col6 file0 ExecutedLines 0 31 32 34 39 path kindevent location line44 col3 file0 ranges line44 col3 file0 line44 col18 file0 depth0 extended_message Value assigned to 'a' message Value assigned to 'a' kindcontrol edges start line44 col3 file0 line44 col3 file0 end line46 col3 file0 line46 col4 file0 kindcontrol edges start line46 col3 file0 line46 col4 file0 end line46 col7 file0 line46 col7 file0 kindevent location line46 col7 file0 ranges line46 col7 file0 line46 col7 file0 depth0 extended_message Assuming 'a' is null message Assuming 'a' is null kindcontrol edges start line46 col7 file0 line46 col7 file0 end line51 col3 file0 line51 col3 file0 kindcontrol edges start line51 col3 file0 line51 col3 file0 end line51 col6 file0 line51 col6 file0 kindevent location line51 col6 file0 ranges line51 col4 file0 line51 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context1ae8e7c84d15f307abc1df9f5612078b issue_context_kindfunction issue_contexttestStoreCheck issue_hash_function_offset8 location line51 col6 file0 ExecutedLines 0 43 44 46 51 path kindevent location line65 col4 file0 ranges line65 col4 file0 line65 col12 file0 depth0 extended_message Calling 'getZero' message Calling 'getZero' kindevent location line56 col1 file0 depth1 extended_message Entered call from 'testReturnZero' message Entered call from 'testReturnZero' kindcontrol edges start line56 col1 file0 line56 col3 file0 end line57 col3 file0 line57 col5 file0 kindevent location line57 col3 file0 ranges line57 col3 file0 line57 col8 file0 depth1 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line57 col3 file0 line57 col5 file0 end line60 col3 file0 line60 col8 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line60 col10 file0 depth1 extended_message Returning null pointer (loaded from 'p') message Returning null pointer (loaded from 'p') kindevent location line65 col4 file0 ranges line65 col4 file0 line65 col12 file0 depth0 extended_message Returning from 'getZero' message Returning from 'getZero' kindcontrol edges start line65 col3 file0 line65 col3 file0 end line65 col14 file0 line65 col14 file0 kindevent location line65 col14 file0 ranges line65 col3 file0 line65 col16 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_contextd03346854b8f45b55cbd5efe29bf2c8e issue_context_kindfunction issue_contexttestReturnZero issue_hash_function_offset1 location line65 col14 file0 ExecutedLines 0 56 57 60 64 65 path kindcontrol edges start line72 col3 file0 line72 col8 file0 end line72 col11 file0 line72 col17 file0 kindevent location line72 col11 file0 ranges line72 col11 file0 line72 col19 file0 depth0 extended_message Calling 'getZero' message Calling 'getZero' kindevent location line56 col1 file0 depth1 extended_message Entered call from 'testReturnZero2' message Entered call from 'testReturnZero2' kindcontrol edges start line56 col1 file0 line56 col3 file0 end line57 col3 file0 line57 col5 file0 kindevent location line57 col3 file0 ranges line57 col3 file0 line57 col8 file0 depth1 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line57 col3 file0 line57 col5 file0 end line60 col3 file0 line60 col8 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line60 col10 file0 depth1 extended_message Returning null pointer (loaded from 'p') message Returning null pointer (loaded from 'p') kindevent location line72 col11 file0 ranges line72 col11 file0 line72 col19 file0 depth0 extended_message Returning from 'getZero' message Returning from 'getZero' kindevent location line72 col10 file0 ranges line72 col10 file0 line72 col19 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_context5a72f98932a4061a833287a12b28ba8b issue_context_kindfunction issue_contexttestReturnZero2 issue_hash_function_offset1 location line72 col10 file0 ExecutedLines 0 56 57 60 71 72 path kindcontrol edges start line79 col3 file0 line79 col5 file0 end line79 col12 file0 line79 col18 file0 kindevent location line79 col12 file0 ranges line79 col12 file0 line79 col20 file0 depth0 extended_message Calling 'getZero' message Calling 'getZero' kindevent location line56 col1 file0 depth1 extended_message Entered call from 'testInitZero' message Entered call from 'testInitZero' kindcontrol edges start line56 col1 file0 line56 col3 file0 end line57 col3 file0 line57 col5 file0 kindevent location line57 col3 file0 ranges line57 col3 file0 line57 col8 file0 depth1 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line57 col3 file0 line57 col5 file0 end line60 col3 file0 line60 col8 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line60 col10 file0 depth1 extended_message Returning null pointer (loaded from 'p') message Returning null pointer (loaded from 'p') kindevent location line79 col12 file0 ranges line79 col12 file0 line79 col20 file0 depth0 extended_message Returning from 'getZero' message Returning from 'getZero' kindcontrol edges start line79 col12 file0 line79 col18 file0 end line79 col3 file0 line79 col5 file0 kindevent location line79 col3 file0 ranges line79 col3 file0 line79 col8 file0 depth0 extended_message 'a' initialized to a null pointer value message 'a' initialized to a null pointer value kindcontrol edges start line79 col3 file0 line79 col5 file0 end line83 col3 file0 line83 col3 file0 kindcontrol edges start line83 col3 file0 line83 col3 file0 end line83 col6 file0 line83 col6 file0 kindevent location line83 col6 file0 ranges line83 col4 file0 line83 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context6d3745ba4b32e1858de16c61fecf8ed4 issue_context_kindfunction issue_contexttestInitZero issue_hash_function_offset5 location line83 col6 file0 ExecutedLines 0 56 57 60 78 79 83 path kindcontrol edges start line88 col3 file0 line88 col3 file0 end line88 col7 file0 line88 col13 file0 kindevent location line88 col7 file0 ranges line88 col7 file0 line88 col15 file0 depth0 extended_message Calling 'getZero' message Calling 'getZero' kindevent location line56 col1 file0 depth1 extended_message Entered call from 'testStoreZero' message Entered call from 'testStoreZero' kindcontrol edges start line56 col1 file0 line56 col3 file0 end line57 col3 file0 line57 col5 file0 kindevent location line57 col3 file0 ranges line57 col3 file0 line57 col8 file0 depth1 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line57 col3 file0 line57 col5 file0 end line60 col3 file0 line60 col8 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line60 col10 file0 depth1 extended_message Returning null pointer (loaded from 'p') message Returning null pointer (loaded from 'p') kindevent location line88 col7 file0 ranges line88 col7 file0 line88 col15 file0 depth0 extended_message Returning from 'getZero' message Returning from 'getZero' kindcontrol edges start line88 col7 file0 line88 col13 file0 end line88 col3 file0 line88 col3 file0 kindevent location line88 col3 file0 ranges line88 col3 file0 line88 col15 file0 depth0 extended_message Null pointer value stored to 'a' message Null pointer value stored to 'a' kindcontrol edges start line88 col3 file0 line88 col3 file0 end line92 col3 file0 line92 col3 file0 kindcontrol edges start line92 col3 file0 line92 col3 file0 end line92 col6 file0 line92 col6 file0 kindevent location line92 col6 file0 ranges line92 col4 file0 line92 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'a') message Dereference of null pointer (loaded from variable 'a') descriptionDereference of null pointer (loaded from variable 'a') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context2d25b170621486480ca76aaba4c7a0c0 issue_context_kindfunction issue_contexttestStoreZero issue_hash_function_offset5 location line92 col6 file0 ExecutedLines 0 56 57 60 87 88 92 path kindcontrol edges start line103 col3 file0 line103 col12 file0 end line103 col14 file0 line103 col20 file0 kindevent location line103 col14 file0 ranges line103 col14 file0 line103 col22 file0 depth0 extended_message Calling 'getZero' message Calling 'getZero' kindevent location line56 col1 file0 depth1 extended_message Entered call from 'testUseOfNullPointer' message Entered call from 'testUseOfNullPointer' kindcontrol edges start line56 col1 file0 line56 col3 file0 end line57 col3 file0 line57 col5 file0 kindevent location line57 col3 file0 ranges line57 col3 file0 line57 col8 file0 depth1 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line57 col3 file0 line57 col5 file0 end line60 col3 file0 line60 col8 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line60 col10 file0 depth1 extended_message Returning null pointer (loaded from 'p') message Returning null pointer (loaded from 'p') kindevent location line103 col14 file0 ranges line103 col14 file0 line103 col22 file0 depth0 extended_message Returning from 'getZero' message Returning from 'getZero' kindevent location line103 col14 file0 ranges line103 col14 file0 line103 col22 file0 depth0 extended_message Passing null pointer value via 1st parameter 'p' message Passing null pointer value via 1st parameter 'p' kindcontrol edges start line103 col14 file0 line103 col20 file0 end line103 col3 file0 line103 col12 file0 kindevent location line103 col3 file0 ranges line103 col3 file0 line103 col23 file0 depth0 extended_message Calling 'usePointer' message Calling 'usePointer' kindevent location line96 col1 file0 depth1 extended_message Entered call from 'testUseOfNullPointer' message Entered call from 'testUseOfNullPointer' kindcontrol edges start line96 col1 file0 line96 col4 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 depth1 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_context567151df0ae29b0f0e1a412114d544dc issue_context_kindfunction issue_contextusePointer issue_hash_function_offset1 location line97 col6 file0 ExecutedLines 0 56 57 60 96 97 101 103 path kindevent location line117 col3 file0 ranges line117 col3 file0 line117 col19 file0 depth0 extended_message Calling 'setFieldToNull' message Calling 'setFieldToNull' kindevent location line112 col1 file0 depth1 extended_message Entered call from 'testSetFieldToNull' message Entered call from 'testSetFieldToNull' kindcontrol edges start line112 col1 file0 line112 col4 file0 end line113 col2 file0 line113 col2 file0 kindevent location line113 col2 file0 ranges line113 col2 file0 line113 col9 file0 depth1 extended_message Null pointer value stored to field 'p' message Null pointer value stored to field 'p' kindevent location line117 col3 file0 ranges line117 col3 file0 line117 col19 file0 depth0 extended_message Returning from 'setFieldToNull' message Returning from 'setFieldToNull' kindcontrol edges start line117 col3 file0 line117 col16 file0 end line119 col3 file0 line119 col8 file0 kindcontrol edges start line119 col3 file0 line119 col8 file0 end line119 col10 file0 line119 col10 file0 kindevent location line119 col10 file0 ranges line119 col14 file0 line119 col14 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_context7849ab11af99aee1e3603a24ae95cdfd issue_context_kindfunction issue_contexttestSetFieldToNull issue_hash_function_offset3 location line119 col10 file0 ExecutedLines 0 112 113 116 117 119 path kindevent location line131 col3 file0 ranges line131 col3 file0 line131 col25 file0 depth0 extended_message Null pointer value stored to field 'p' message Null pointer value stored to field 'p' kindcontrol edges start line131 col3 file0 line131 col12 file0 end line132 col3 file0 line132 col3 file0 kindcontrol edges start line132 col3 file0 line132 col3 file0 end line132 col24 file0 line132 col24 file0 kindevent location line132 col24 file0 ranges line132 col22 file0 line132 col22 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_context3ccb5e7e2cc82aba5c28a1cc873c83a1 issue_context_kindfunction issue_contexttest issue_hash_function_offset2 location line132 col24 file0 ExecutedLines 0 130 131 132 path kindcontrol edges start line137 col3 file0 line137 col4 file0 end line137 col7 file0 line137 col7 file0 kindevent location line137 col7 file0 ranges line137 col7 file0 line137 col8 file0 depth0 extended_message Assuming pointer value is null message Assuming pointer value is null kindcontrol edges start line137 col7 file0 line137 col7 file0 end line139 col3 file0 line139 col3 file0 kindcontrol edges start line139 col3 file0 line139 col3 file0 end line139 col7 file0 line139 col7 file0 kindevent location line139 col7 file0 ranges line139 col3 file0 line139 col9 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_context19292468c6c6f83fbbdb2ff072bb2ae8 issue_context_kindfunction issue_contexttest4 issue_hash_function_offset3 location line139 col7 file0 ExecutedLines 0 136 137 139 path kindcontrol edges start line152 col3 file0 line152 col5 file0 end line153 col3 file0 line153 col19 file0 kindevent location line153 col3 file0 ranges line153 col3 file0 line153 col23 file0 depth0 extended_message Calling 'interestingCallee' message Calling 'interestingCallee' kindevent location line146 col1 file0 depth1 extended_message Entered call from 'testBoringCalleeOfInterestingCallee' message Entered call from 'testBoringCalleeOfInterestingCallee' kindcontrol edges start line146 col1 file0 line146 col4 file0 end line147 col3 file0 line147 col3 file0 kindevent location line147 col3 file0 ranges line147 col3 file0 line147 col8 file0 depth1 extended_message The value 0 is assigned to 'x' message The value 0 is assigned to 'x' kindcontrol edges start line147 col3 file0 line147 col3 file0 end line148 col3 file0 line148 col14 file0 kindevent location line153 col3 file0 ranges line153 col3 file0 line153 col23 file0 depth0 extended_message Returning from 'interestingCallee' message Returning from 'interestingCallee' kindcontrol edges start line153 col3 file0 line153 col19 file0 end line155 col12 file0 line155 col12 file0 kindevent location line155 col12 file0 ranges line155 col10 file0 line155 col14 file0 depth0 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_contextfcd480c0f73d071bac6f908387893e26 issue_context_kindfunction issue_contexttestBoringCalleeOfInterestingCallee issue_hash_function_offset4 location line155 col12 file0 ExecutedLines 0 143 146 147 148 151 152 153 155 files