Code Quality - Memory Leak

Assign : mres = CC_send_query_append(...)

					 QR_get_cursor(self));
			movement = INT_MAX;
		}
		mres = CC_send_query(conn, movecmd, NULL, 0, stmt);
		if (!QR_command_maybe_successful(mres))
		{
			QR_Destructor(mres);

qresult.c:962: in QR_next_tuple()
959	QR_get_cursor(self));
960	movement = INT_MAX;
961	}
962	mres = CC_send_query(conn, movecmd, NULL, 0, stmt);
963	if (!QR_command_maybe_successful(mres))
964	{
965	QR_Destructor(mres);

Information

Instance Information	Class Information	Build Information
SCA Severity 3.0 SCA Confidence 5.0 Instance ID 6AD853A7742DB342DAEB5AF2932F5F70	SCA Default Severity 3.0 Analyzer controlflow Class ID B530C5D6-3C71-48C5-9512-72A7F4911822	Time Stamp 2014-06-17T11:24:54 (created) Base Path /home/symfo/dmm3_201406/v12_latest/TMP/psqlodbc-09.03.0300 Build ID v12_latest_ODBC

Analysis Trace

qresult.c:927 - BranchTaken : Branch taken: (0 != self->move_offset)
qresult.c:962 - Assign : mres = CC_send_query_append(...)
- connection.c:2792 - BranchNotTaken : Branch not taken: (self->sock != 0)
- connection.c:2801 - BranchNotTaken : Branch not taken: (SyncParseRequest(self) != 0)
- connection.c:2813 - BranchNotTaken : Branch not taken: (maxlen <= 0)
- connection.c:2820 - BranchNotTaken : Branch not taken: (NULL != query)
- connection.c:2820 - BranchNotTaken : Branch not taken: ((*query)[0] != 0)
- connection.c:2826 - BranchNotTaken : Branch not taken: (<inline expression> == 0)
- connection.c:2839 - BranchNotTaken : Branch not taken: (appendq == 0)
- connection.c:2864 - BranchNotTaken : Branch not taken: (query_rollback != 0)
- connection.c:2881 - BranchNotTaken : Branch not taken: (<inline expression> == 0)
- connection.c:2943 - BranchNotTaken : Branch not taken: (<inline expression> == 0)
- connection.c:2957 - BranchNotTaken : Branch not taken: (cmdres == 0)
- connection.c:2961 - Assign : cmdres = QR_Constructor()
  - qresult.c:174 - Assign : rv = malloc(...)
    
    Rule ID: B530C5D6-3C71-48C5-9512-72A7F4911822
  - qresult.c:174 - rv refers to dynamically allocated memory
  - qresult.c:176 - BranchTaken : Branch taken: (rv != NULL)
  - qresult.c:185 - BranchNotTaken : Branch not taken: ((NULL == fields) == 0)
  - qresult.c:243 - Return : return
- connection.c:2962 - BranchNotTaken : Branch not taken: (cmdres != 0)
- connection.c:2968 - res refers to dynamically allocated memory
- connection.c:2969 - BranchTaken : Branch taken: (ReadyToReturn == 0)
- connection.c:2974 - BranchNotTaken : Branch not taken: (<inline expression> == 0)
- connection.c:2974 - BranchNotTaken : Branch not taken: (id != -1)
- connection.c:3102 - BranchTaken : Branch taken: (id == 90)
- connection.c:3103 - BranchTaken : Branch taken: (empty_reqs == 0)
- connection.c:3106 - BranchTaken : Branch taken: (aborted != 0)
- connection.c:3107 - retres refers to dynamically allocated memory
- connection.c:3327 - Jump : goto
- connection.c:3347 - BranchNotTaken : Branch not taken: (kill_conn == 0)
- connection.c:3376 - BranchNotTaken : Branch not taken: (ReadyToReturn != 0)
- connection.c:3382 - BranchTaken : Branch taken: (cmdres != 0)
- connection.c:3387 - BranchTaken : Branch taken: (retres != 0)
- connection.c:3389 - BranchNotTaken : Branch not taken: (aborted == 0)
- connection.c:3429 - Return : return
qresult.c:963 - BranchNotTaken : Branch not taken: (mres != 0)
qresult.c:963 - BranchNotTaken : Branch not taken: <inline expression>
qresult.c:971 - BranchTaken : Branch taken: (sscanf(mres->command, "MOVE %lu", (&moved)) > 0)
qresult.c:974 - BranchTaken : Branch taken: (moved < movement)
qresult.c:993 - BranchTaken : Branch taken: (2 == self->move_direction)
qresult.c:998 - BranchTaken : Branch taken: (getNthValid(self, (<inline expression> - 1), 4, self->move_offset, (&backpt)) < 0)
qresult.c:1004 - EndScope : mres no longer refers to dynamically allocated memory
qresult.c:1004 - EndScope : mres end scope : Memory leaked

Rule ID: B530C5D6-3C71-48C5-9512-72A7F4911822