[dev] New Defects reported by Coverity Scan for freerangerouting/frr

scan-admin at coverity.com scan-admin at coverity.com
Mon May 13 21:17:05 EDT 2019


Hi,

Please find the latest report on new defect(s) introduced to freerangerouting/frr found with Coverity Scan.

3 new defect(s) introduced to freerangerouting/frr found with Coverity Scan.
9 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 3 of 3 defect(s)


** CID 1480218:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1577 in lsp_update_internal()


________________________________________________________________________________________________________
*** CID 1480218:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1577 in lsp_update_internal()
1571     
1572     	if (ret == AOK)
1573     		result = ZEBRA_DPLANE_REQUEST_QUEUED;
1574     	else {
1575     		atomic_fetch_add_explicit(&zdplane_info.dg_lsp_errors, 1,
1576     					  memory_order_relaxed);
>>>     CID 1480218:  Null pointer dereferences  (REVERSE_INULL)
>>>     Null-checking "ctx" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.
1577     		if (ctx)
1578     			dplane_ctx_free(&ctx);
1579     	}
1580     
1581     	return result;
1582     }

** CID 1480217:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1740 in intf_addr_update_internal()


________________________________________________________________________________________________________
*** CID 1480217:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1740 in intf_addr_update_internal()
1734     	if (ret == AOK)
1735     		result = ZEBRA_DPLANE_REQUEST_QUEUED;
1736     	else {
1737     		/* Error counter */
1738     		atomic_fetch_add_explicit(&zdplane_info.dg_intf_addr_errors,
1739     					  1, memory_order_relaxed);
>>>     CID 1480217:  Null pointer dereferences  (REVERSE_INULL)
>>>     Null-checking "ctx" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.
1740     		if (ctx)
1741     			dplane_ctx_free(&ctx);
1742     	}
1743     
1744     	return result;
1745     }

** CID 1480216:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1612 in pw_update_internal()


________________________________________________________________________________________________________
*** CID 1480216:  Null pointer dereferences  (REVERSE_INULL)
/zebra/zebra_dplane.c: 1612 in pw_update_internal()
1606     
1607     	if (ret == AOK)
1608     		result = ZEBRA_DPLANE_REQUEST_QUEUED;
1609     	else {
1610     		atomic_fetch_add_explicit(&zdplane_info.dg_pw_errors, 1,
1611     					  memory_order_relaxed);
>>>     CID 1480216:  Null pointer dereferences  (REVERSE_INULL)
>>>     Null-checking "ctx" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.
1612     		if (ctx)
1613     			dplane_ctx_free(&ctx);
1614     	}
1615     
1616     	return result;
1617     }


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05UPxvVjWch-2Bd2MGckcRa7dJ8klHLUFWVd2fqpS-2B-2FHaN43B-2FQ11ntcKmbKat2WeDU1AdI-2FBBrnda9ub5tlg3U-3D_d-2Fi2nRutHp-2FDWtw8JRg-2Bc1m9CS4-2B5uVbodfDyLsp-2FJnAdlAiNEtDolLFH9O-2BaBGZ-2FqVWrhwnTeK3Y9HB2O4xNSk34KyoVIA9fKK1bNe0NiUD8y5mA-2F2nH57aw4VfxUO7KojWCZGeAViJN3zTR5X0DxEdZumtCfXF1-2Fgu1n5uu40OyRhbEu9FfitdDeV9OntBieIhyAUw9VQhB4aJdXbxqw-3D-3D




More information about the dev mailing list