parser-cov: update explicitly defined key events

... to match the assignment used by Coverity's JSON v7 format

Related: https://issues.redhat.com/browse/OSH-552

Author: kdudka

src/lib/parser-cov.cc

@@ -227,10 +227,16 @@ KeyEventDigger::KeyEventDigger():
     d(new Private)
 {
     // register checker-specific key events
+    d->hMap["ALLOC_FREE_MISMATCH"]       .insert("free");
+    d->hMap["ARRAY_VS_SINGLETON"]        .insert("callee_ptr_arith");
+    d->hMap["ARRAY_VS_SINGLETON"]        .insert("ptr_arith");
     d->hMap["BAD_CHECK_OF_WAIT_COND"]    .insert("wait_cond_improperly_checked");
+    d->hMap["BAD_FREE"]                  .insert("incorrect_free");
     d->hMap["BAD_LOCK_OBJECT"]           .insert("boxed_lock");
     d->hMap["BAD_LOCK_OBJECT"]           .insert("lock_on_assigned_field");
     d->hMap["BAD_LOCK_OBJECT"]           .insert("single_thread_lock");
+    d->hMap["BAD_SHIFT"]                 .insert("large_shift");
+    d->hMap["BAD_SHIFT"]                 .insert("negative_shift");
     d->hMap["CALL_SUPER"]                .insert("missing_super_call");
     d->hMap["CHECKED_RETURN"]            .insert("check_return");
     d->hMap["CHROOT"]                    .insert("chroot_call");
@@ -248,37 +254,66 @@ KeyEventDigger::KeyEventDigger():
     d->hMap["EXPLICIT_THIS_EXPECTED"]    .insert("implicit_this_used");
     d->hMap["FORWARD_NULL"]              .insert("deref_parm");
     d->hMap["FORWARD_NULL"]              .insert("dereference");
+    d->hMap["FORWARD_NULL"]              .insert("property_access");
     d->hMap["FORWARD_NULL"]              .insert("var_deref_op");
     d->hMap["FORWARD_NULL"]              .insert("var_deref_model");
+    d->hMap["HARDCODED_CREDENTIALS"]     .insert("sink");
+    d->hMap["INVALIDATE_ITERATOR"]       .insert("increment_iterator");
     d->hMap["LOCK"]                      .insert("double_lock");
     d->hMap["LOCK"]                      .insert("double_unlock");
+    d->hMap["LOCK"]                      .insert("missing_unlock");
     d->hMap["LOCK_EVASION"]              .insert("thread1_overwrites_value_in_field");
     d->hMap["LOCK_EVASION"]              .insert("thread2_checks_field_early");
     d->hMap["MISSING_BREAK"]             .insert("unterminated_case");
     d->hMap["MISSING_RESTORE"]           .insert("end_of_path");
     d->hMap["MISSING_RESTORE"]           .insert("end_of_scope");
+    d->hMap["MULTIPLE_INIT_SMART_PTRS"]  .insert("multiple_init_smart_ptr");
     d->hMap["NESTING_INDENT_MISMATCH"]   .insert("actual_if");
     d->hMap["NESTING_INDENT_MISMATCH"]   .insert("multi_stmt_macro");
     d->hMap["NESTING_INDENT_MISMATCH"]   .insert("on_same_line");
     d->hMap["NESTING_INDENT_MISMATCH"]   .insert("uncle");
+    d->hMap["NULL_RETURNS"]              .insert("dereference");
     d->hMap["ORDER_REVERSAL"]            .insert("lock_order");
     d->hMap["OVERLAPPING_COPY"]          .insert("overlapping_assignment");
+    d->hMap["OVERLAPPING_COPY"]          .insert("overlapping_copy");
+    d->hMap["OVERRUN"]                   .insert("alloc_strlen");
+    d->hMap["OVERRUN"]                   .insert("illegal_address");
+    d->hMap["OVERRUN"]                   .insert("overrun-buffer-arg");
+    d->hMap["OVERRUN"]                   .insert("overrun-buffer-val");
+    d->hMap["OVERRUN"]                   .insert("overrun-call");
+    d->hMap["OVERRUN"]                   .insert("overrun-local");
     d->hMap["OVERRUN_STATIC"]            .insert("index_parm");
     d->hMap["OVERRUN_STATIC"]            .insert("overrun-buffer-arg");
     d->hMap["OVERRUN_STATIC"]            .insert("overrun-local");
+    d->hMap["RESOURCE_LEAK"]             .insert("leaked_handle");
+    d->hMap["RESOURCE_LEAK"]             .insert("leaked_storage");
+    d->hMap["RESOURCE_LEAK"]             .insert("overwrite_var");
     d->hMap["REVERSE_INULL"]             .insert("check_after_deref");
+    d->hMap["REVERSE_NEGATIVE"]          .insert("check_after_sink");
+    d->hMap["RETURN_LOCAL"]              .insert("return_local_addr_identity");
+    d->hMap["RETURN_LOCAL"]              .insert("use_invalid");
     d->hMap["STREAM_FORMAT_STATE"]       .insert("end_of_path");
     d->hMap["STRING_OVERFLOW"]           .insert("fixed_size_dest");
+    d->hMap["TAINTED_SCALAR"]            .insert("tainted_data");
     d->hMap["TOCTOU"]                    .insert("fs_check_call");
     d->hMap["UNEXPECTED_CONTROL_FLOW"]   .insert("continue_in_do_while_false");
     d->hMap["UNINIT"]                    .insert("uninit_use");
     d->hMap["UNINIT"]                    .insert("uninit_use_in_call");
+    d->hMap["UNINIT_CTOR"]               .insert("member_not_init_in_gen_ctor");
     d->hMap["UNINIT_CTOR"]               .insert("uninit_member");
+    d->hMap["UNUSED_VALUE"]              .insert("assigned_pointer");
+    d->hMap["UNUSED_VALUE"]              .insert("assigned_value");
+    d->hMap["UNUSED_VALUE"]              .insert("returned_pointer");
+    d->hMap["UNUSED_VALUE"]              .insert("returned_value");
     d->hMap["USE_AFTER_FREE"]            .insert("deref_after_free");
     d->hMap["USE_AFTER_FREE"]            .insert("deref_arg");
+    d->hMap["USE_AFTER_FREE"]            .insert("double_close");
     d->hMap["USE_AFTER_FREE"]            .insert("double_free");
     d->hMap["USE_AFTER_FREE"]            .insert("pass_freed_arg");
     d->hMap["USE_AFTER_FREE"]            .insert("use_after_free");
+    d->hMap["VARARGS"]                   .insert("missing_va_end");
+    d->hMap["WRAPPER_ESCAPE"]            .insert("escape");
+    d->hMap["WRAPPER_ESCAPE"]            .insert("use_after_free");
 
     // we use COMPILER_WARNING as checker for compiler errors/warnings
     d->hMap["COMPILER_WARNING"]     .insert("error");

tests/csdiff/CMakeLists.txt

@@ -81,5 +81,6 @@ test_csdiff(diff-misc 13-gcca-filt)
 test_csdiff(diff-misc 14-gitleaks-paths)
 test_csdiff(diff-misc 15-gcc-prof-filter)
 test_csdiff(diff-misc 16-cov-parser-key-event)
+test_csdiff(diff-misc 17-cov-parser-key-event)
 
 add_subdirectory(filter-file)