[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