repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
kernel.silenced_functions: add some more "asm goto" functions
2013-12-20
Dan Carpenter
kernel
.
si
l
enced_fun
c
t
i
o
n
s: a
d
d some more "asm goto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
extra: assume i
n
dexes are in boun
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
flow:
fix struct i
n
itialization bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
*
new* check_array_c
o
ndition
.
c:
a
rrays can
'
t
be NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carp
e
nter
bu
f
_size: st
o
re ranges in the
d
ataba
s
e
instead
o
f
sing
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
strl
e
n: remo
v
e som
e
blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreac
h
able code: don
'
t warn about unre
a
ch
a
b
le break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpente
r
un
r
eachable code: don't warn about empty
statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpen
t
er
d
e
bug: introduce __s
m
atch
_
b
u
f_size_r
l
() which i
s
more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
debug: add __smatch_me
m
ber
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
ke
r
nel, db: add hweight() functions to the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
e
r
nel, db: consi
d
er x =
ht
o
nl(10) and x = 10 equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpenter
i
ntroduce: sm
a
t
c
h
_
d
ata
/
ker
n
el
.
no_inline
_
fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan C
a
r
p
enter
*new* add sma
t
c
h
_data/kernel
.
sil
e
nced
_
f
u
n
c
t
i
ons t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common_fu
n
ctions
.
c: han
d
le strlen() and strnlen
(
) bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
r
p
ent
e
r
access_o
k
_
math: r
e
s
t
r
ict this
check to --spamm
y
ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
*new
*
che
c
k
_cast
_
ass
i
g
n
.
c: chec
k
casting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan C
a
rpen
t
er
c
heck_debug
:
fix crashing bug on p
r
inting non-ex
i
stant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: buffer allo
c
a
tions in t
h
e same file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpen
t
er
buf_size: ignore unknown arr
a
y sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpente
r
strlen: record stri
n
g
lengths across
f
u
n
ction ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: record
a
s
sig
n
ed strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
strlen: ad
d
a co
m
ment and r
e
n
a
me some
thin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carp
e
nter
strlen: handle string literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
d
e
bug: introd
u
ce __s
m
a
tch_
s
trlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
s
t
r
l
e
n: in
t
roduce get_
i
m
plied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
math: re
v
er
t
accidentally
c
ommitted code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
b
u
f
_
size: read a
r
a
nge_list
fr
o
m
t
h
e
d
a
tab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
buf_
s
ize: stor
e
type_size
i
n two t
a
b
l
e
s
the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_si
z
e: make size
_
from_
d
b() work again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
b
u
f_
s
i
ze, st
r
len: separat
e
b
u
f_size and strlen in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
o
verflow: us
e
fu
z
zy_max to warn about array overflo
w
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
math: fix get_
f
u
z
zy_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Ca
r
p
e
nter
buf
_
size
:
repres
e
nt buffer size
a
s a range list in
s
t
e
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
pe
n
t
e
r
buf_size
:
h
andle places that
d
ynamically alocate sometimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flo
w
: introdu
c
e __in_function_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
C
a
rpenter
extra, math
:
rework how fuzzy
max
i
s
handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpente
r
buf_size: ha
n
dle devm_km
a
lloc() a
l
location
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
k
e
r
nel
.
i
gnored_macro
s
: add
R
T
_ASSERT
a
nd SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
nte
r
smdb: impr
o
ve
"where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
t
er
ranges
:
introduce rl_h
a
s_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
h
el
p
er: work around cras
h
ing b
u
g in
g
e
t
_mem
b
er_nam
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
local_
v
alues: pu
l
l code in o
n
e indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
check_si
g
ned: i
g
nor
e
things with negative
number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
flow: i
g
nor
e
s
t
ru
c
ts
a
n
d
u
ni
o
ns in
set_
u
nset_
t
o_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
modification_hooks:
d
elete a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpen
t
er
recurse: intr
o
duce has_inc_
d
e
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
type_val: f
i
x
a b
u
ild warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_v
a
l: actually run th
e
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pen
t
er
smatch: a coup
l
e crashing bugs on invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow char to be unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
helper: improve is_err
o
r_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
ty
p
e_val: intr
o
duce stori
n
g st
r
uct member limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
data_source: loa
d
where d
a
ta come
s
from
i
n
t
o
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
p
e
n
te
r
.
gitign
o
re: ig
n
ore b
a
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nte
r
db: fix
u
p_ker
n
el
.
sh: say tha
t
we on
l
y have 64 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
db: preserve unmerged s
t
a
t
e
s
in the ->poss
i
ble better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpent
e
r
d
b: group functi
o
n poin
t
er return states together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
o
r
der th
e
return_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
C
arpen
t
er
db: fixup_k
e
rnel
.
s
h: ignore timer_list
fun
c
ti
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carp
e
nte
r
db: fix
u
p_kernel
.
s
h
: remove some
U
SER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Car
p
enter
db: improve database de
b
ugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Da
n
Car
p
enter
smatch
.
h: shif
t
some
struc
t
members
a
r
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
f
l
ow: clear_buffer: revert par
t
of c
o
mmit that us
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
flow:
r
e
-
wr
i
t
e how st
r
u
ct mem
b
ers are
i
nitializ
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpenter
sm
a
tch_c
l
ear
_
buffe
r
: me
m
cp
y
() should
set the destin
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carp
e
nter
smatch_
c
l
e
ar_buffer: mak
e
a
f
u
nction st
a
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_data/kernel
.
clea
r
s_argument:
r
emove memset(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpe
n
ter
flow: introduce out
s
ide_o
f
_fu
n
ction() to fix
global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan
Carpent
e
r
db: kerne
l
: i
g
n
o
re
i40e_dbg_netdev
_
ops_write
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
flow
:
set members to zero b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rp
e
nter
db, extra, us
e
r_dat
a
: ha
n
dle: *x = 1; ret
u
rn
x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
u
s
er_data
:
re
m
ove kme
m
dup_u
s
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user
_
data: make a function
s
tatic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
container_of:
p
eople check
i
ng the ret
u
rn val
u
e of nla_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan
C
arpe
n
ter
user
_
data:
make a
f
unction
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: exp
o
rt get_const_val
u
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
math: handle bitwise OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handl
e
LEFT_SHIF
T
(
a <
<
b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpen
t
er
math: rem
o
ve an im
p
ossibl
e
co
n
di
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Ca
r
penter
Fix --
n
o
-data
so it doesn't
sp
e
w da
t
a
b
ase e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
a
r
penter
extr
a
:
fix a crash pa
r
sing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: fix typo
in error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: complain if c
o
de
does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
type: le
t
get_real_base_t
y
pe()
t
ake NU
L
L parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db:
r
ename add_r
e
turned_state_callback() =>
add_split
_
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carp
e
nter
rosenbe
r
g
i
nfo leaks
:
check
__cop
y
_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carp
e
nter
rosenberg inf
o
leaks: use PARA
M
_C
L
EAR
E
D
d
a
ta from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
ar
p
enter
rosenberg info
leaks: use str
i
pped data from copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
rosenber
g
info l
e
aks: make check_members_initializ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
extra: ha
n
dle "if (a & 0x1)" conditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
flow: fake assig
n
s
bet
t
er
f
or
n
ested structs
a
n
d ar
r
ay
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpente
r
helper: get_member_na
m
e() could store unio
n
s
(
s
ort
o
f)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
user_d
a
ta:
fix crashin
g
bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
ma
t
h:
i
mprove how casts are h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
ma
t
h: int
r
oduce
g
e
t
_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: improve how bitwise
A
NDs are handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel data/: upda
t
e t
o
recent linux-
n
ex
t
(3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
r
p
e
nt
e
r
db
:
decl
a
re
strnlen()
a
s
return
i
n
g "0-s3
2
m
ax[<=p
1
]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next