clang_version diagnostics path kindcontrol edges start line12 col3 file0 line12 col5 file0 end line13 col3 file0 line13 col4 file0 kindcontrol edges start line13 col3 file0 line13 col4 file0 end line13 col7 file0 line13 col7 file0 kindevent location line13 col7 file0 ranges line13 col7 file0 line13 col12 file0 depth0 extended_message Assuming 'x' is equal to 0 message Assuming 'x' is equal to 0 kindcontrol edges start line13 col7 file0 line13 col7 file0 end line18 col11 file0 line18 col11 file0 kindevent location line18 col11 file0 ranges line18 col10 file0 line18 col12 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_context8bca94f2f862468bb877fb70e66a3304 issue_context_kindfunction issue_contextfoo issue_hash_function_offset7 location line18 col11 file0 ExecutedLines 0 6 7 11 12 13 18 path kindevent location line27 col11 file0 ranges line27 col11 file0 line27 col11 file0 depth0 extended_message Passing null pointer value via 1st parameter 'p' message Passing null pointer value via 1st parameter 'p' kindevent location line27 col3 file0 ranges line27 col3 file0 line27 col12 file0 depth0 extended_message Calling 'has_bug' message Calling 'has_bug' kindevent location line22 col1 file0 depth1 extended_message Entered call from 'test_has_bug' message Entered call from 'test_has_bug' kindcontrol edges start line22 col1 file0 line22 col4 file0 end line23 col3 file0 line23 col3 file0 kindcontrol edges start line23 col3 file0 line23 col3 file0 end line23 col6 file0 line23 col6 file0 kindevent location line23 col6 file0 ranges line23 col4 file0 line23 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_context62ddaf4e66ff527b230b474b98791ced issue_context_kindfunction issue_contexthas_bug issue_hash_function_offset1 location line23 col6 file0 ExecutedLines 0 22 23 26 27 path kindcontrol edges start line39 col3 file0 line39 col4 file0 end line39 col7 file0 line39 col7 file0 kindevent location line39 col7 file0 ranges line39 col7 file0 line39 col9 file0 depth0 extended_message Assuming 'p' is null message Assuming 'p' is null kindcontrol edges start line39 col7 file0 line39 col7 file0 end line45 col3 file0 line45 col4 file0 kindcontrol edges start line45 col3 file0 line45 col4 file0 end line45 col7 file0 line45 col7 file0 kindpop-up location line45 col7 file0 ranges line45 col7 file0 line45 col7 file0 extended_message 'p' is equal to null message 'p' is equal to null kindcontrol edges start line45 col7 file0 line45 col7 file0 end line48 col5 file0 line48 col16 file0 kindevent location line48 col18 file0 ranges line48 col18 file0 line48 col18 file0 depth0 extended_message Passing null pointer value via 1st parameter 'p' message Passing null pointer value via 1st parameter 'p' kindevent location line48 col5 file0 ranges line48 col5 file0 line48 col19 file0 depth0 extended_message Calling 'triggers_bug' message Calling 'triggers_bug' kindevent location line32 col1 file0 depth1 extended_message Entered call from 'bar' message Entered call from 'bar' kindcontrol edges start line32 col1 file0 line32 col4 file0 end line33 col3 file0 line33 col3 file0 kindcontrol edges start line33 col3 file0 line33 col3 file0 end line33 col6 file0 line33 col6 file0 kindevent location line33 col6 file0 ranges line33 col4 file0 line33 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_context1ee3fb0b2fbd9c66e0cc34ca1181ece3 issue_context_kindfunction issue_contexttriggers_bug issue_hash_function_offset1 location line33 col6 file0 ExecutedLines 0 32 33 38 39 45 48 path kindevent location line59 col3 file0 ranges line59 col3 file0 line59 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line59 col3 file0 line59 col5 file0 end line60 col3 file0 line60 col3 file0 kindevent location line60 col3 file0 ranges line60 col3 file0 line62 col5 file0 depth0 extended_message Calling anonymous block message Calling anonymous block kindevent location line60 col3 file0 depth1 extended_message Entered call from 'test_block__capture_null' message Entered call from 'test_block__capture_null' kindcontrol edges start line60 col3 file0 line60 col3 file0 end line61 col5 file0 line61 col5 file0 kindcontrol edges start line61 col5 file0 line61 col5 file0 end line61 col8 file0 line61 col8 file0 kindevent location line61 col8 file0 ranges line61 col6 file0 line61 col6 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_contexta2e7504f29818834127c44ba841f4da8 location line61 col8 file0 ExecutedLines 0 58 59 60 61 path kindcontrol edges start line67 col3 file0 line67 col5 file0 end line67 col12 file0 line67 col12 file0 kindevent location line67 col12 file0 ranges line67 col12 file0 line70 col5 file0 depth0 extended_message Calling anonymous block message Calling anonymous block kindevent location line67 col12 file0 depth1 extended_message Entered call from 'test_block_ret' message Entered call from 'test_block_ret' kindcontrol edges start line67 col12 file0 line67 col12 file0 end line68 col5 file0 line68 col7 file0 kindevent location line68 col5 file0 ranges line68 col5 file0 line68 col10 file0 depth1 extended_message 'q' initialized to a null pointer value message 'q' initialized to a null pointer value kindcontrol edges start line68 col5 file0 line68 col7 file0 end line69 col5 file0 line69 col10 file0 kindevent location line69 col5 file0 ranges line69 col5 file0 line69 col12 file0 depth1 extended_message Returning null pointer (loaded from 'q') message Returning null pointer (loaded from 'q') kindevent location line67 col12 file0 ranges line67 col12 file0 line70 col5 file0 depth0 extended_message Returning to caller message Returning to caller kindcontrol edges start line67 col12 file0 line67 col12 file0 end line67 col3 file0 line67 col5 file0 kindevent location line67 col3 file0 ranges line67 col3 file0 line67 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line67 col3 file0 line67 col5 file0 end line71 col3 file0 line71 col3 file0 kindcontrol edges start line71 col3 file0 line71 col3 file0 end line71 col6 file0 line71 col6 file0 kindevent location line71 col6 file0 ranges line71 col4 file0 line71 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_context931be9c3a45b61c0a9c99b4772bd6fca issue_context_kindfunction issue_contexttest_block_ret issue_hash_function_offset5 location line71 col6 file0 ExecutedLines 0 66 67 68 69 71 path kindcontrol edges start line75 col3 file0 line75 col9 file0 end line76 col3 file0 line76 col3 file0 kindevent location line76 col3 file0 ranges line76 col3 file0 line78 col5 file0 depth0 extended_message Calling anonymous block message Calling anonymous block kindevent location line76 col3 file0 depth1 extended_message Entered call from 'test_block_blockvar' message Entered call from 'test_block_blockvar' kindcontrol edges start line76 col3 file0 line76 col3 file0 end line77 col5 file0 line77 col5 file0 kindevent location line77 col5 file0 ranges line77 col5 file0 line77 col9 file0 depth1 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindevent location line76 col3 file0 ranges line76 col3 file0 line78 col5 file0 depth0 extended_message Returning to caller message Returning to caller kindcontrol edges start line76 col3 file0 line76 col3 file0 end line79 col3 file0 line79 col3 file0 kindcontrol edges start line79 col3 file0 line79 col3 file0 end line79 col6 file0 line79 col6 file0 kindevent location line79 col6 file0 ranges line79 col4 file0 line79 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_context524a8647c40f017409d858ff70900c1a issue_context_kindfunction issue_contexttest_block_blockvar issue_hash_function_offset5 location line79 col6 file0 ExecutedLines 0 74 75 76 77 79 path kindcontrol edges start line83 col3 file0 line83 col5 file0 end line84 col3 file0 line84 col3 file0 kindevent location line84 col3 file0 ranges line84 col3 file0 line86 col7 file0 depth0 extended_message Calling anonymous block message Calling anonymous block kindevent location line84 col3 file0 depth1 extended_message Entered call from 'test_block_arg' message Entered call from 'test_block_arg' kindcontrol edges start line84 col3 file0 line84 col3 file0 end line85 col5 file0 line85 col5 file0 kindevent location line85 col5 file0 ranges line85 col5 file0 line85 col10 file0 depth1 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindevent location line84 col3 file0 ranges line84 col3 file0 line86 col7 file0 depth0 extended_message Returning to caller message Returning to caller kindcontrol edges start line84 col3 file0 line84 col3 file0 end line87 col3 file0 line87 col3 file0 kindcontrol edges start line87 col3 file0 line87 col3 file0 end line87 col6 file0 line87 col6 file0 kindevent location line87 col6 file0 ranges line87 col4 file0 line87 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_context0efdf891fbddf2932f9d434968b94164 issue_context_kindfunction issue_contexttest_block_arg issue_hash_function_offset5 location line87 col6 file0 ExecutedLines 0 82 83 84 85 86 87 files