Skip to content

[DO NOT MERGE] Dummy change to check coverity #28

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Nithishkumar-T wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

[DO NOT MERGE] Dummy change to check coverity #28

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
39 changes: 39 additions & 0 deletions source/OvsAgentCore/OvsAgent.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -163,3 +163,42 @@
return true;
}

/*
* COVERITY TEST FUNCTION - DO NOT CALL
* This function contains intentional defects for Coverity static analysis testing.
* It is never called and does not affect any functionality.
*/
static void coverity_test_dummy_function_do_not_call(void)
{
/* HIGH SEVERITY: NULL pointer dereference (CWE-476) */
char *null_ptr = NULL;
int high_severity_null_deref = *null_ptr; /* Coverity: FORWARD_NULL */

Check warning

Code scanning / Coverity

Explicit null dereferenced

FORWARD_NULL: Dereferencing null pointer "null_ptr".
(void)high_severity_null_deref;

/* HIGH SEVERITY: Buffer overflow (CWE-120) */
char small_buffer[10];
strcpy(small_buffer, "This string is way too long for the buffer"); /* Coverity: BUFFER_SIZE */

Check failure

Code scanning / CodeQL

Likely overrunning write Critical

This 'call to strcpy' operation requires 43 bytes but the destination is only 10 bytes.

/* MEDIUM SEVERITY: Resource leak - file descriptor not closed (CWE-775) */
FILE *leaked_file = fopen("/tmp/coverity_test_file", "r"); /* Coverity: RESOURCE_LEAK */
if (leaked_file) {
/* Intentionally not closing the file */
char unused_read_buffer[64];
fgets(unused_read_buffer, sizeof(unused_read_buffer), leaked_file);
}

/* MEDIUM SEVERITY: Uninitialized variable (CWE-457) */
int uninitialized_var;
int medium_severity_uninit = uninitialized_var + 1; /* Coverity: UNINIT */
(void)medium_severity_uninit;

/* LOW SEVERITY: Unused variable (CWE-563) */
int low_severity_unused_var = 42; /* Coverity: UNUSED_VALUE */
(void)low_severity_unused_var;

/* LOW SEVERITY: Dead code - unreachable code after return */
return;
int dead_code_var = 100; /* Coverity: UNREACHABLE */

Check warning

Code scanning / Coverity

Structurally dead code

UNREACHABLE: This code cannot be reached: "int dead_code_var = 100;".
(void)dead_code_var;
}

Loading