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.