tree:   git://github.com/cschaufler/smack-next smack-for-4.3
head:   1eddfe8edb8f85a0d7f793090abcbdf8741455de
commit: 21abb1ec414c75abe32c3854848ff30e2b4a6113 [4/5] Smack: IPv6 host labeling

New smatch warnings:
security/smack/smack_lsm.c:2779 smack_socket_connect() warn: variable 
dereferenced before check 'sock->sk' (see line 2776)

Old smatch warnings:
security/smack/smack_lsm.c:3425 smack_d_instantiate() warn: missing break? 
reassigning 'final->list.next'
security/smack/smack_lsm.c:3907 smack_socket_sock_rcv_skb() error: we 
previously assumed 'skb' could be null (see line 3883)
security/smack/smack_lsm.c:3928 smack_socket_sock_rcv_skb() warn: variable 
dereferenced before check 'skb' (see line 3924)
security/smack/smack_lsm.c:4027 smack_socket_getpeersec_dgram() error: we 
previously assumed 'skb' could be null (see line 4009)
security/smack/smack_lsm.c:4145 smack_inet_conn_request() error: we previously 
assumed 'skb' could be null (see line 4124)

git remote add cschaufler git://github.com/cschaufler/smack-next
git remote update cschaufler
git checkout 21abb1ec414c75abe32c3854848ff30e2b4a6113
vim +2779 security/smack/smack_lsm.c

c6739443 Casey Schaufler 2013-05-22  2770       int rc = 0;
21abb1ec Casey Schaufler 2015-07-22  2771  #if IS_ENABLED(CONFIG_IPV6)
21abb1ec Casey Schaufler 2015-07-22  2772       struct sockaddr_in6 *sip = 
(struct sockaddr_in6 *)sap;
21abb1ec Casey Schaufler 2015-07-22  2773  #endif
21abb1ec Casey Schaufler 2015-07-22  2774  #ifdef SMACK_IPV6_SECMARK_LABELING
21abb1ec Casey Schaufler 2015-07-22  2775       struct smack_known *rsp;
21abb1ec Casey Schaufler 2015-07-22 @2776       struct socket_smack *ssp = 
sock->sk->sk_security;
21abb1ec Casey Schaufler 2015-07-22  2777  #endif
c6739443 Casey Schaufler 2013-05-22  2778  
c6739443 Casey Schaufler 2013-05-22 @2779       if (sock->sk == NULL)
6d3dc07c Casey Schaufler 2008-12-31  2780               return 0;
c6739443 Casey Schaufler 2013-05-22  2781  
c6739443 Casey Schaufler 2013-05-22  2782       switch (sock->sk->sk_family) {

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation
_______________________________________________
kbuild mailing list
kbuild@lists.01.org
https://lists.01.org/mailman/listinfo/kbuild

Reply via email to