Commit 44f84113 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[basic-cwe-examples] update oracles

parent f3833867
Pipeline #33128 passed with stage
in 46 minutes and 24 seconds
directory file line function property kind status property
. cwe761.c 21 contains_char precondition of free Invalid or unreachable freeable: p ≡ \null ∨ \freeable(p)
. cwe761.c 24 contains_char precondition of free Invalid or unreachable freeable: p ≡ \null ∨ \freeable(p)
FRAMAC_SHARE/libc stdlib.h 405 free precondition Invalid or unreachable freeable: p ≡ \null ∨ \freeable(p)
cwe761.c:21:[nonterm:stmt] warning: non-terminating function call
stack: contains_char :: cwe761.c:34 <- main
cwe761.c:24:[nonterm:stmt] warning: non-terminating function call
stack: contains_char :: cwe761.c:37 <- main
directory file line function property kind status property
. cwe761.c 18 contains_char initialization Unknown \initialized(str)
. cwe761.c 21 contains_char precondition of free Unknown freeable: p ≡ \null ∨ \freeable(p)
. cwe761.c 29 contains_char precondition of free Unknown freeable: p ≡ \null ∨ \freeable(p)
. cwe761.c 21 contains_char initialization Unknown \initialized(str)
. cwe761.c 24 contains_char precondition of free Unknown freeable: p ≡ \null ∨ \freeable(p)
. cwe761.c 32 contains_char precondition of free Unknown freeable: p ≡ \null ∨ \freeable(p)
FRAMAC_SHARE/libc stdlib.h 405 free precondition Unknown freeable: p ≡ \null ∨ \freeable(p)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment