After the last enabled port has been seen, and the last time we
evaluate the loop condition, there is an out of bounds read in
ports[p].enabled because p is equal to size, which is the length of
ports.
Signed-off-by: Julien Cretin
---
app/test-pmd/testpmd.c | 2 +-
1 file changed, 1 insertion
Hi all!
I took a look at the scan-results from Keith to compare with my analysis. My
analysis is on test-pmd (called with a specific command-line and with start
tx_first at the prompt) and scans exhaustively for all undefined behaviors
(overflow, division by zero, invalid pointer dereference or
With GNU Make 3.81 on Ubuntu 14.04, I get:
lib/librte_eal/linuxapp/kni/Makefile:49: *** unterminated call to function
`shell': missing `)'. Stop.
Signed-off-by: Julien Cretin
---
lib/librte_eal/linuxapp/kni/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff -
int when used in the
ellipsis notation of a function.
These minor bugs were found using TrustInSoft Analyzer.
Signed-off-by: Julien Cretin
---
app/test-pmd/config.c | 16
app/test-pmd/testpmd.c | 2 +-
2 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/app/test-pmd
ition was found using TrustInSoft Analyzer.
Signed-off-by: Julien Cretin
---
lib/librte_mempool/rte_mempool.c | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/lib/librte_mempool/rte_mempool.c b/lib/librte_mempool/rte_mempool.c
index fdc1586..8e6c86a 100644
--- a/lib
s defined as
(192 x 2^24) % (UINT_MAX + 1)
This minor bug was found using TrustInSoft Analyzer.
Signed-off-by: Julien Cretin
---
app/test-pmd/txonly.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/app/test-pmd/txonly.c b/app/test-pmd/txonly.c
index 1cf2574..5bbd34f 1006
without
actually running it.
Julien Cretin (3):
app/testpmd: fix minor signed overflow in a constant
mem: remove redundant check in optimize_object_size
app/testpmd: fix incompatible sign for printf arguments
app/test-pmd/config.c| 16
app/test-pmd/testpmd.c
7 matches
Mail list logo