diff options
author | 2017-09-26 13:15:16 -0400 | |
---|---|---|
committer | 2017-09-27 17:08:08 +0000 | |
commit | 879ace3d3b238ec8db80f52ebfd556aa6f12b4c7 (patch) | |
tree | 1222ac207c4ffdad33ee52de5e151a053c78ac5c /extras/vagrant/update.sh | |
parent | 987abe9eeb65a3950401073c770012a7898593b7 (diff) |
Various fixes for issues found by Coverity (VPP-972)
174267: Revisit this string termination issue
174816: Add check for NULL when trace is enabled
177211: Add notation that mutex is not required here
177117: Added check for log2_page_size == 0 and returns an error if so
163697,163698: Added missing sw_if_index validation
Change-Id: I5a76fcf6505c785bfb3269e353360031c6a0fd0f
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'extras/vagrant/update.sh')
0 files changed, 0 insertions, 0 deletions