{{{
CHECKED_RETURN
3. nunc-stans-0.1.5/liblfds/src/ringbuffer/ringbuffer_get_and_put.c:13:
check_return: Calling "queue_dequeue" without checking return value
(as is done elsewhere 6 out of 7 times).

TAINTED_SCALAR
56. nunc-stans-0.1.5/ns_thrpool.c:925:5:
a_loop_bound: Using tainted variable "tp_config->initial_threads" as a loop boundary.
51. nunc-stans-0.1.5/liblfds/src/freelist/freelist_new.c:64:3:
a_loop_bound: Using tainted variable "number_elements" as a loop boundary.

ASSERT_SIDE_EFFECT
1. nunc-stans-0.1.5/liblfds/src/slist/slist_link.c:39:
assert_side_effect: Argument "se" of assert() has a side effect because the variable is volatile. The containing function might work differently in a non-debug build.
1. nunc-stans-0.1.5/liblfds/src/slist/slist_link.c:38:
assert_side_effect: Argument "slist_in_list_element" of assert() has a side effect because the variable is volatile.
The containing function might work differently in a non-debug build.
1. nunc-stans-0.1.5/liblfds/src/slist/slist_link.c:14:
assert_side_effect: Argument "se" of assert() has a side effect because the variable is volatile.
The containing function might work differently in a non-debug build.
}}}