MONITORED SOURCE FILE : kcore.c

  0   0   24 FUNCTION open_kcore()
  0       26 return capable ( 17 ) ? 0 : - 1
*** TER   0%  (  0/  2) of FUNCTION open_kcore()


  0   0  114 FUNCTION get_kcore_size()
  0   0  121 if (! vmlist)
  0      123   return ( size )
  0   0  126 for (;m;)
  0   0  128   if (try > size)
  0      136 return ( size - ( ( unsigned long ) ( 0xC0000..
*** TER   0%  (  0/  9) of FUNCTION get_kcore_size()


  0   0  144 FUNCTION notesize()
  0      152 return sz
*** TER   0%  (  0/  2) of FUNCTION notesize()


  0   0  159 FUNCTION storenote()
         169 do
  0   0  169 do-while (0)
         170 do
  0   0  170 do-while (0)
         174 do
  0   0  174 do-while (0)
  0      179 return bufp
*** TER   0%  (  0/  8) of FUNCTION storenote()


  0   0  186 FUNCTION elf_kcore_store_hdr()
  0   0  246 for (;m;)
  0   0  247   if (m -> flags & 0x00000001)
  0      248     continue
*** TER   0%  (  0/  6) of FUNCTION elf_kcore_store_hdr()


  0   0  312 FUNCTION read_kcore()
  0   0  322 if (buflen == 0 || * fpos >= size)
  0      322   T || _
  0      322   F || T
      0  322   F || F
         323   do
  0   0  323   do-while (0)
  0      324   return 0
  0   0  328 if (buflen > size - * fpos)
  0   0  332 if (* fpos < elf_buflen)
  0   0  336   if (buflen < tsz)
  0   0  339   if (! elf_buf)
         340     do
  0   0  340     do-while (0)
  0      341     return - 12
         345   do
  0   0  345   do-while (0)
  0   0  346   if (( __builtin_constant_p ( tsz ) ? __cons..
  0      348     return - 14
  0   0  357   if (buflen == 0)
  0      358     return acc
         359 else
         360   do
  0   0  360   do-while (0)
  0   0  364 if (* fpos < ( 1UL << 12 ) + elf_buflen)
  0   0  367   if (buflen < tsz)
  0   0  371   if (clear_user ( buffer , tsz ))
  0      372     return - 14
  0   0  379   if (buflen == 0)
  0      380     return tsz
  0   0  385 if (( tsz = ( ( 1UL << 12 ) - ( start & ~ ( ~..
  0   0  388 while (buflen)
  0   0  389   if (( start >= ( ( ( unsigned long ) high_m..
  0      389     (T) && (T)
      0  389     (T) && (F)
      0  389     (F) && (_)
  0   0  396     if (! elf_buf)
  0      397       return - 12
  0   0  401     for (;m && cursize;)
  0      401       T && T
      0  401       T && F
      0  401       F && _
  0   0  407       if (( ( unsigned long ) m -> addr + msi..
  0      408         continue
  0   0  410       if (( unsigned long ) m -> addr > ( cur..
  0      411         break
  0   0  415       if (( ( unsigned long ) m -> addr + msi..
         417       else
  0   0  423       if (m -> flags & 0x00000001)
  0      424         continue
         428     do
  0   0  428     do-while (0)
  0   0  429     if (( __builtin_constant_p ( tsz ) ? __co..
  0      431       return - 14
  0   0  435   else if (( start > ( ( unsigned long ) ( 0x..
  0      435     (T) && (T)
      0  435     (T) && (F)
      0  435     (F) && (_)
  0   0  436     if (( 1 ))
  0   0  437       if (( __builtin_constant_p ( tsz ) ? __..
  0      438         return - 14
         439     else
  0   0  440       if (clear_user ( buffer , tsz ))
  0      441         return - 14
         443   else
  0   0  444     if (clear_user ( buffer , tsz ))
  0      445       return - 14
  0      455 return acc
*** TER   0%  (  0/ 90) of FUNCTION read_kcore()


*** TER   0%  (  0/117) of SOURCE FILE kcore.c


MONITORED SOURCE FILE : attr.c

1E4   0   18 FUNCTION inode_change_ok()
  0 1E4   24 if (ia_valid & 512)
  0       25   goto fine
  0 1E4   30 if (( ia_valid & 2 ) && ( get_current ( ) -> ..
  0       30   (T) && (T || _) && T
  0       30   (T) && (F || T) && T
      0   30   (T) && (T || _) && F
      0   30   (T) && (F || T) && F
    114   30   (T) && (F || F) && _
    1E4   30   (F) && (_ || _) && _
  0       31   goto error
  0 1E4   36 if (( ia_valid & 4 ) && ( ! in_group_p ( attr..
  0       36   (T) && (T && T) && T
      2   36   (T) && (T && T) && F
     18   36   (T) && (T && F) && _
     94   36   (T) && (F && _) && _
    1E4   36   (F) && (_ && _) && _
  0       37   goto error
 49 1E4   40 if (ia_valid & 1)
  0  49   41   if (( get_current ( ) -> fsuid != inode -> ..
  0       41     (T) && T
      0   41     (T) && F
     49   41     (F) && _
  0       42     goto error
  0  49   45   if (! in_group_p ( ( ia_valid & 4 ) ? attr ..
  0       45     T && T
     19   45     T && F
     30   45     F && _
  1 1E4   50 if (ia_valid & ( 256 | 128 ))
  0   1   51   if (get_current ( ) -> fsuid != inode -> i_..
  0       51     T && T
      0   51     T && F
      1   51     F && _
  0       52     goto error
1E4       57 return retval
*** TER  51%  ( 22/ 43) of FUNCTION inode_change_ok()


1E4 1E4   60 FUNCTION inode_setattr()
114 1E4   64 if (ia_valid & 2)
114 1E4   66 if (ia_valid & 4)
1E4 165   68 if (ia_valid & 8)
  2 1E4   70 if (ia_valid & 16)
  2 1E4   72 if (ia_valid & 32)
1E4   0   74 if (ia_valid & 64)
 49 1E4   76 if (ia_valid & 1)
  0  49   78   if (! in_group_p ( inode -> i_gid ) && ! ca..
  0       78     T && T
     19   78     T && F
     30   78     F && _
*** TER  85%  ( 17/ 20) of FUNCTION inode_setattr()


1E4   0   84 FUNCTION setattr_mask()
114 1E4   88 if (ia_valid & 2)
114 1E4   90 if (ia_valid & 4)
1E4 165   92 if (ia_valid & 8)
  2 1E4   95 if (( ia_valid & ( 16 | 32 ) ) == ( 16 | 32 ))
  0 1E4   97 else if (ia_valid & 16)
  0 1E4   99 else if (ia_valid & 32)
 49 1E4  101 if (ia_valid & 1)
1E4      103 return dn_mask
*** TER  88%  ( 14/ 16) of FUNCTION setattr_mask()


1E4   0  106 FUNCTION notify_change()
  0 1E4  113 if (! inode)
         114   do
  0   0  114   do-while (0)
1E4   1  117 if (! ( ia_valid & 128 ))
1E4   1  119 if (! ( ia_valid & 256 ))
         122 do
  0 1E4  122 do-while (0)
  0 1E4  123 if (inode -> i_op && inode -> i_op -> setattr)
  0      123   T && T
    1E4  123   T && F
      0  123   F && _
         125 else
1E4   0  127   if (! error)
         130 do
  0 1E4  130 do-while (0)
1E4   0  131 if (! error)
1E4   0  133   if (dn_mask)
1E4      136 return error
*** TER  56%  ( 14/ 25) of FUNCTION notify_change()


*** TER  64%  ( 67/104) of SOURCE FILE attr.c


MONITORED SOURCE FILE : ksyms.c

*** TER 100%  (  0/  0) of SOURCE FILE ksyms.c


MONITORED SOURCE FILE : sysctl_net_802.c

*** TER 100%  (  0/  0) of SOURCE FILE sysctl_net_802.c


MONITORED SOURCE FILE : tcp_minisocks.c

  0   0   41 FUNCTION tcp_in_window()
  0   0   43 if (seq == s_win)
  0       44   return 1
  0   0   45 if (after ( end_seq , s_win ) && before ( seq..
  0       45   T && T
      0   45   T && F
      0   45   F && _
  0       46   return 1
  0       47 return ( seq == e_win && seq == end_seq )
*** TER   0%  (  0/ 11) of FUNCTION tcp_in_window()


  0   0   56 FUNCTION tcp_timewait_kill()
  0   0   65 if (! tw -> pprev)
          66   do
  0   0   66   do-while (0)
  0       67   return
  0   0   69 if (tw -> next)
          73 do
  0   0   73 do-while (0)
  0   0   78 if (( tb = tw -> tb ) != ( ( void * ) 0 ))
  0   0   79   if (tw -> bind_next)
  0   0   83   if (tb -> owners == ( ( void * ) 0 ))
  0   0   84     if (tb -> next)
          90 do
  0   0   90 do-while (0)
*** TER   0%  (  0/ 20) of FUNCTION tcp_timewait_kill()


  0   0  129 FUNCTION tcp_timewait_state_process()
  0   0  136 if (th -> doff > ( sizeof ( struct tcphdr ) >..
  0      136   T && T
      0  136   T && F
      0  136   F && _
  0   0  139   if (tp . saw_tstamp)
  0   0  146 if (tw -> substate == TCP_FIN_WAIT2)
  0   0  152   if (paws_reject || ! tcp_in_window ( ( ( st..
  0      152     T || _
  0      152     F || T
      0  152     F || F
  0      153     return TCP_TW_ACK
  0   0  155   if (th -> rst)
  0      156     goto kill
  0   0  158   if (th -> syn && ( ( struct tcp_skb_cb * ) ..
  0      158     T && T
      0  158     T && F
      0  158     F && _
  0      159     goto kill_with_rst
  0   0  163   if (! after ( ( ( struct tcp_skb_cb * ) & (..
  0      163     T || _
  0      163     F || T
      0  163     F || F
  0      165     return TCP_TW_SUCCESS
  0   0  171   if (! th -> fin || ( ( struct tcp_skb_cb * ..
  0      171     T || _
  0      171     F || T
      0  171     F || F
  0      176     return TCP_TW_RST
  0   0  182   if (tp . saw_tstamp)
  0   0  194   if (tw -> family == 2 && sysctl_tcp_tw_recy..
  0      194     T && T && T && T
      0  194     T && T && T && F
      0  194     T && T && F && _
      0  194     T && F && _ && _
      0  194     F && _ && _ && _
         196   else
  0      198   return TCP_TW_ACK
  0   0  220 if (! paws_reject && ( ( ( struct tcp_skb_cb ..
  0      220   T && (T && (T || _))
  0      220   T && (T && (F || T))
      0  220   T && (T && (F || F))
      0  220   T && (F && (_ || _))
      0  220   F && (_ && (_ || _))
  0   0  223   if (th -> rst)
  0   0  228     if (sysctl_tcp_rfc1337 == 0)
  0      233       return TCP_TW_SUCCESS
  0   0  238   if (tp . saw_tstamp)
  0      244   return TCP_TW_SUCCESS
  0   0  266 if (th -> syn && ! th -> rst && ! th -> ack &..
  0      266   T && T && T && T && (T || (_ && _))
  0      266   T && T && T && T && (F || (T && T))
      0  266   T && T && T && T && (F || (T && F))
      0  266   T && T && T && T && (F || (F && _))
      0  266   T && T && T && F && (_ || (_ && _))
      0  266   T && T && F && _ && (_ || (_ && _))
      0  266   T && F && _ && _ && (_ || (_ && _))
      0  266   F && _ && _ && _ && (_ || (_ && _))
  0   0  268   if (isn == 0)
  0      271   return TCP_TW_SYN
  0   0  274 if (paws_reject)
  0   0  277 if (! th -> rst)
  0   0  284   if (paws_reject || th -> ack)
  0      284     T || _
  0      284     F || T
      0  284     F || F
  0      290   return TCP_TW_ACK
  0      293 return TCP_TW_SUCCESS
*** TER   0%  (  0/ 86) of FUNCTION tcp_timewait_state_process()


  0   0  301 FUNCTION __tcp_tw_hashdance()
  0   0  310 if (sk -> pprev)
  0   0  311   if (sk -> next)
  0   0  321 if (( sktw -> next = * head ) != ( ( void * )..
         327 do
  0   0  327 do-while (0)
  0   0  336 if (! ( sk -> prev != ( ( void * ) 0 ) ))
  0   0  337 if (( tw -> bind_next = tw -> tb -> owners ) ..
         341 do
  0   0  341 do-while (0)
*** TER   0%  (  0/ 15) of FUNCTION __tcp_tw_hashdance()


  0   0  347 FUNCTION tcp_time_wait()
  0   0  353 if (sysctl_tcp_tw_recycle && tp -> ts_recent_..
  0      353   T && T
      0  353   T && F
      0  353   F && _
  0   0  356 if (tcp_tw_count < sysctl_tcp_max_tw_buckets)
  0   0  359 if (tw != ( ( void * ) 0 ))
  0   0  399   if (timeo < rto)
  0   0  402   if (recycle_ok)
         404   else
  0   0  406     if (state == TCP_TIME_WAIT)
         411 else
  0   0  416   if (net_ratelimit ( ))
*** TER   0%  (  0/ 18) of FUNCTION tcp_time_wait()


  0   0  433 FUNCTION tcp_twkill()
  0   0  446 if (tcp_tw_count == 0)
  0      447   goto out
  0   0  449 while (( tw = tcp_tw_death_row [ tcp_tw_death..
         452   do
  0   0  452   do-while (0)
  0   0  464 if (( tcp_tw_count -= killed ) != 0)
         468 do
  0   0  468 do-while (0)
*** TER   0%  (  0/ 12) of FUNCTION tcp_twkill()


  0   0  478 FUNCTION tcp_tw_deschedule()
  0   0  481 if (tw -> pprev_death)
  0   0  482   if (tw -> next_death)
  0   0  487   if (-- tcp_tw_count == 0)
         490 do
  0   0  490 do-while (0)
*** TER   0%  (  0/  9) of FUNCTION tcp_tw_deschedule()


  0   0  501 FUNCTION tcp_tw_schedule()
  0   0  535 if (tw -> pprev_death)
  0   0  536   if (tw -> next_death)
         541 else
  0   0  544 if (slot >= ( 1 << 5 ))
  0   0  546   if (timeo >= ( 60 * 100 ))
         548   else
  0   0  550     if (slot >= 8)
         556 else
  0   0  559   if (tcp_twcal_hand < 0)
         564   else
  0   0  565     if (( long ) ( tcp_twcal_timer . expires ..
  0   0  572 if (( tw -> next_death = * tpp ) != ( ( void ..
  0   0  577 if (tcp_tw_count ++ == 0)
         579 do
  0   0  579 do-while (0)
*** TER   0%  (  0/ 21) of FUNCTION tcp_tw_schedule()


  0   0  582 FUNCTION tcp_twcal_tick()
  0   0  591 if (tcp_twcal_hand < 0)
  0      592   goto out
  0   0  597 for (;n < ( 1 << 5 );)
  0   0  598   if (( long ) ( j - now ) <= 0)
  0   0  601     while (( tw = tcp_twcal_row [ slot ] ) !=..
         609   else
  0   0  610     if (! adv)
  0   0  616     if (tcp_twcal_row [ slot ] != ( ( void * ..
  0      618       goto out
  0   0  627 if (( tcp_tw_count -= killed ) == 0)
         630 do
  0   0  630 do-while (0)
*** TER   0%  (  0/ 19) of FUNCTION tcp_twcal_tick()


  0   0  642 FUNCTION tcp_create_openreq_child()
  0   0  646 if (newsk != ( ( void * ) 0 ))
         662   do
         662     do
  0   0  662     do-while (0)
  0   0  662   do-while (0)
  0   0  754   if (newsk -> keepopen)
  0   0  760   if (( newtp -> sack_ok = req -> sack_ok ) !..
  0   0  761     if (sysctl_tcp_fack)
  0   0  768   if (newtp -> wscale_ok)
         771   else
  0   0  778   if (newtp -> tstamp_ok)
         782   else
  0   0  786   if (skb -> len >= 536 + newtp -> tcp_header..
         789   do
  0   0  789   do-while (0)
  0      791 return newsk
*** TER   0%  (  0/ 22) of FUNCTION tcp_create_openreq_child()


  0   0  799 FUNCTION tcp_check_req()
  0   0  811 if (th -> doff > ( sizeof ( struct tcphdr ) >..
  0   0  814   if (ttp . saw_tstamp)
  0   0  828 if (( ( struct tcp_skb_cb * ) & ( ( skb ) -> ..
  0      828   T && T && T
      0  828   T && T && F
      0  828   T && F && _
      0  828   F && _ && _
  0      847   return ( ( void * ) 0 )
  0   0  869 if (paws_reject || ! tcp_in_window ( ( ( stru..
  0      869   T || _
  0      869   F || T
      0  869   F || F
  0   0  871   if (! ( flg & TCP_FLAG_RST ))
  0   0  873   if (paws_reject)
  0      875   return ( ( void * ) 0 )
  0   0  880 if (ttp . saw_tstamp && ! after ( ( ( struct ..
  0      880   T && T
      0  880   T && F
      0  880   F && _
  0   0  883 if (( ( struct tcp_skb_cb * ) & ( ( skb ) -> ..
  0   0  892 if (flg & ( TCP_FLAG_RST | TCP_FLAG_SYN ))
  0      893   goto embryonic_reset
  0   0  897 if (! ( flg & TCP_FLAG_ACK ))
  0      898   return ( ( void * ) 0 )
  0   0  901 if (( ( struct tcp_skb_cb * ) & ( ( skb ) -> ..
  0      902   return sk
  0   0  909 if (tp -> defer_accept && ( ( struct tcp_skb_..
  0      909   T && T
      0  909   T && F
      0  909   F && _
  0      911   return ( ( void * ) 0 )
  0   0  921 if (child == ( ( void * ) 0 ))
  0      922   goto listen_overflow
  0      928 return child
  0   0  931 if (! sysctl_tcp_abort_on_overflow)
  0      933   return ( ( void * ) 0 )
  0   0  938 if (! ( flg & TCP_FLAG_RST ))
  0      942 return ( ( void * ) 0 )
*** TER   0%  (  0/ 54) of FUNCTION tcp_check_req()


  0   0  951 FUNCTION tcp_child_process()
  0   0  957 if (child -> lock . users == 0)
  0   0  961   if (state == TCP_SYN_RECV && child -> state..
  0      961     T && T
      0  961     T && F
      0  961     F && _
         963 else
         968   do
  0   0  968     if (( child ) -> backlog . tail == ( ( vo..
         968     else
  0   0  968   do-while (0)
         971 do
  0   0  971 do-while (0)
  0      973 return ret
*** TER   0%  (  0/ 15) of FUNCTION tcp_child_process()


*** TER   0%  (  0/302) of SOURCE FILE tcp_minisocks.c


MONITORED SOURCE FILE : blkpg.c

  0   0   58 FUNCTION get_gendisk()
  0   0   62 for (;g;)
  0   0   63   if (g -> major == m)
  0       64     break
  0       65 return g
*** TER   0%  (  0/  7) of FUNCTION get_gendisk()


  0   0   77 FUNCTION add_partition()
  0   0   89 if (pstart != ppstart || plength != pplength ..
  0       89   T || _ || _ || _
  0       89   F || T || _ || _
  0       89   F || F || T || _
  0       89   F || F || F || T
      0   89   F || F || F || F
  0       90   return - 22
  0   0   94 if (! g)
  0       95   return - 6
  0   0  101 if (drive >= g -> nr_real)
  0      102   return - 6
  0   0  105 if (first_minor != ( ( unsigned int ) ( ( dev..
  0      105   T || _ || _
  0      105   F || T || _
  0      105   F || F || T
      0  105   F || F || F
  0      106   return - 22
  0   0  110 if (g -> part [ minor ] . nr_sects != 0)
  0      111   return - 16
  0   0  114 for (;i < end_minor;)
  0   0  116   if (! ( pstart + plength <= g -> part [ i ]..
  0      116     !(F || F)
      0  116     !(T || _)
      0  116     !(F || T)
  0      117     return - 16
  0   0  122 if (g -> sizes)
  0      124 return 0
*** TER   0%  (  0/ 36) of FUNCTION add_partition()


  0   0  137 FUNCTION del_partition()
  0   0  144 if (! g)
  0      145   return - 6
  0   0  150 if (first_minor != ( ( unsigned int ) ( ( dev..
  0      150   T || _ || _
  0      150   F || T || _
  0      150   F || F || T
      0  150   F || F || F
  0      151   return - 22
  0   0  155 if (drive >= g -> nr_real || g -> part [ mino..
  0      155   T || _
  0      155   F || T
      0  155   F || F
  0      156   return - 6
  0   0  161 if (get_super ( devp ) || is_swap_partition (..
  0      161   T || _
  0      161   F || T
      0  161   F || F
  0      162   return - 16
  0   0  170 if (g -> sizes)
  0      173 return 0
*** TER   0%  (  0/ 26) of FUNCTION del_partition()


  0   0  176 FUNCTION blkpg_ioctl()
  0   0  182 if (( __builtin_constant_p ( sizeof ( struct ..
  0      183   return - 14
         185 switch ( a . op )
  0      186 case 1:
  0      187 case 2:
  0   0  189   if (len < sizeof ( struct blkpg_partition ))
  0      190     return - 22
  0   0  191   if (( __builtin_constant_p ( sizeof ( struc..
  0      192     return - 14
  0   0  193   if (! capable ( 21 ))
  0      194     return - 13
  0   0  195   if (a . op == 1)
  0      196     return add_partition ( dev , & p )
         197   else
  0      198     return del_partition ( dev , & p )
  0      199 default:
  0      200   return - 22
*** TER   0%  (  0/ 21) of FUNCTION blkpg_ioctl()


  0   0  208 FUNCTION blk_ioctl()
         212 switch ( cmd )
  0      213 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0   0  214   if (! capable ( 21 ))
  0      215     return - 13
  0   0  216   if (( { int __ret_gu , __val_gu ;switch ( s..
  0      217     return - 14
  0      219   return 0
  0      220 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0      222   return ( { long __pu_err = - 14 ; __typeof_..
  0      224 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0   0  225   if (! capable ( 21 ))
  0      226     return - 13
  0   0  227   if (! dev || arg > 0xff)
  0      227     T || _
  0      227     F || T
      0  227     F || F
  0      228     return - 22
  0      230   return 0
  0      231 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0   0  232   if (! arg)
  0      233     return - 22
  0      234   return ( { long __pu_err = - 14 ; __typeof_..
  0      236 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0   0  237   if (! capable ( 21 ))
  0      238     return - 13
  0   0  239   if (! dev)
  0      240     return - 22
  0      243   return 0
  0      245 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0      248   return ( { long __pu_err = - 14 ; __typeof_..
  0      268 case ( ( ( 0U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0      269   return blkpg_ioctl ( dev , ( struct blkpg_i..
  0      271 case ( ( ( 2U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0      273   return blkelvget_ioctl ( & blk_get_queue ( ..
  0      274 case ( ( ( 1U ) << ( ( ( 0 + 8 ) + 8 ) + 14 )..
  0      276   return blkelvset_ioctl ( & blk_get_queue ( ..
  0      278 default:
  0      279   return - 22
*** TER   0%  (  0/ 45) of FUNCTION blk_ioctl()


*** TER   0%  (  0/135) of SOURCE FILE blkpg.c


MONITORED SOURCE FILE : rz1000.c

  0   0   37 FUNCTION ide_init_rz1000()
  0   0   44 if (! pci_read_config_word ( dev , 0x40 , & r..
  0       44   T && T
      0   44   T && F
      0   44   F && _
          47 else
*** TER   0%  (  0/  6) of FUNCTION ide_init_rz1000()


*** TER   0%  (  0/  6) of SOURCE FILE rz1000.c


MONITORED SOURCE FILE : i386_ksyms.c

*** TER 100%  (  0/  0) of SOURCE FILE i386_ksyms.c