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
unreachable code: don't warn about empty statements
2013-12-19
Dan Carpe
n
ter
un
r
eac
h
ab
l
e co
d
e: don't
warn
a
bout empty state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carp
e
nter
de
b
ug: intr
o
d
uce __smatch_buf_size
_
rl() which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: add __sma
t
ch_member
_
name
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an
C
arpen
t
er
kernel, db: add hweig
h
t() fu
n
ctions to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel, db: con
s
ide
r
x = htonl(10) and
x
= 1
0
equ
i
valent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
i
ntroduce: smatch_
d
ata/kernel
.
no_inline_funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpenter
*new* add
s
matc
h
_
d
ata
/
kernel
.
silenced_fun
c
tions
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common_functions
.
c: handle s
t
rlen(
)
a
nd str
n
l
en() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n Carpe
n
t
e
r
access_ok_ma
t
h
: r
e
st
r
i
c
t t
h
i
s check to --s
p
ammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpenter
*new* check_
c
ast_
a
ssign
.
c: check casting a sm
a
ller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
check_debug
:
f
i
x crashing bug on printi
n
g
non
-
exist
a
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
arpenter
b
u
f_size: buffer allocatio
n
s in the s
a
me fil
e
are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_si
z
e: ig
n
ore unkn
o
w
n
array
s
iz
e
s be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carpenter
st
r
len: record st
r
ing lengths across func
t
ion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
strlen: record assig
n
ed
s
trings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpen
t
er
s
t
r
l
en
:
a
d
d a comment an
d
rename some
things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strl
e
n: ha
n
dle string
literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
debug: introduc
e
__smatch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpe
n
ter
str
l
en: in
t
rod
u
ce get_i
m
p
lie
d
_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: re
v
ert
accidentally committed co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
buf_size: read a range_li
s
t from the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
en
t
er
buf
_
size: store
type_si
z
e in
two tables th
e
same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_s
i
ze: make size
_
from_db() work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf
_
size, strlen: separate buf_s
i
ze and strlen int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
overfl
o
w: use
f
uzzy_max
t
o warn
a
bout array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
ma
t
h:
f
ix get_fu
z
zy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
buf
_
size:
r
epresent b
u
ffer size as
a range list
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Ca
r
penter
buf_size:
handle p
l
aces
th
a
t dynamically alocate som
e
t
i
mes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
er
f
l
ow:
i
ntroduce __in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math
:
r
e
w
ork
h
o
w fu
z
z
y
m
a
x
i
s handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Car
p
enter
buf_size
:
handle d
e
vm_kmalloc(
)
allocat
i
ons
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Car
p
enter
k
e
rnel
.
ignored_macros: add RT_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
smdb: improve "where" o
u
tp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
nte
r
ranges: in
t
roduce rl_
h
a
s_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpenter
h
e
lper: work around c
r
ashin
g
bug in
g
et_member_
n
a
m
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
l
ocal_values:
pull
c
o
d
e in one
i
nd
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
C
a
rpenter
check_
s
igned: ignore things wi
t
h negativ
e
number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ignore structs and
u
nions in set_uns
e
t_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
modification_hooks: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nte
r
recurse:
i
ntroduce ha
s
_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
t
ype_val
:
fix a build
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an
Carpenter
typ
e
_
v
al
:
ac
t
u
a
lly run
the c
o
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
p
ent
e
r
s
mat
c
h: a c
o
uple crashin
g
bugs
on inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
all
o
w c
h
a
r
to
b
e
un
s
igned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
help
e
r: improve is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Ca
r
pe
n
ter
type_val
:
in
t
roduc
e
storing struct
m
ember limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
data_s
o
urc
e
:
l
o
a
d where
d
ata comes from in
t
o t
h
e data
b
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
pente
r
.
gi
t
ignor
e
:
ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fixup_kernel
.
sh: say that we only
have 64
CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
t
e
r
db
:
pres
e
r
ve
unmerged states
i
n
the ->possible
b
et
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
b
: g
r
oup function
poin
t
er retur
n
s
tates toge
t
her
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carp
e
n
ter
db:
ord
e
r the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_kernel
.
sh: ignore timer_list func
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_ker
n
el
.
sh
:
r
emove some
U
SER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpe
n
ter
db: i
m
prove
d
a
ta
b
ase debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
Carpent
e
r
smatch
.
h: shift some
struct mem
b
e
rs ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpent
e
r
f
l
o
w
:
clear_buffer
:
revert part of co
m
mit that us
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
C
arpenter
f
low: re
-
wr
i
te how stru
c
t members ar
e
init
i
alized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
r
p
enter
smatch_cle
a
r_buffer:
m
emcpy() should set
t
he des
t
ination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an
C
a
rpenter
s
m
atch_clear_buff
e
r: mak
e
a func
t
ion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
c
h
_
d
ata/kernel
.
cl
e
a
rs_argu
m
ent
:
re
m
ove mems
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpen
t
er
flow: introduce
o
utside_o
f
_
f
un
c
tion()
t
o fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db:
k
ernel: ign
o
re i40e_d
b
g_netdev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
flow
:
set m
e
m
ber
s
to zero by def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
d
b
, extra, user_data:
h
andle: *x = 1; re
t
urn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpe
n
ter
user_da
t
a:
r
emove kmemdup_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
us
e
r_data: ma
k
e a funct
i
on sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpenter
contain
e
r_of: p
e
ople chec
k
in
g
th
e
return v
a
lue of nla_
d
at
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan
C
arpenter
helper:
fix
c
ra
s
hing
bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
D
an C
a
rpenter
user
_
data: make a fu
n
c
t
i
o
n static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math
:
export get_const_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Ca
r
penter
math: handl
e
bitwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
m
ath: hand
l
e
LEFT
_
SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carp
e
nter
math: remove an
i
mpossib
l
e condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fi
x
--no-data
so it d
o
e
s
n't spe
w
database
e
r
rors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
ex
t
ra: fix a cr
a
sh pars
i
ng
inv
a
lid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof:
f
i
x ty
p
o in
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof: co
m
p
l
a
i
n
i
f
code does
s
izeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
arpenter
type: let get_real_base_ty
p
e
(
) take NULL p
a
rame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
D
a
n Ca
r
p
enter
db: rename add
_
r
eturned_state_ca
l
lback() =
>
a
d
d_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpent
e
r
r
o
s
enberg info leaks: c
h
eck __copy_t
o
_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
rosenber
g
info leak
s
:
use PAR
A
M_CLEARED data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
C
a
rpente
r
rosenberg info l
e
aks: use stripped dat
a
from cop
y
_to_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpent
e
r
r
o
s
enberg info leaks: make check_members_initi
a
lized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
extra: handle
"if (
a
& 0x1)" c
o
n
d
i
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carp
e
nter
flow: fa
k
e ass
i
g
ns better
for nested
s
tructs an
d
array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
h
e
lp
e
r: ge
t
_
membe
r
_name() could store union
s
(sort
o
f)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: fix crashing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carp
e
n
te
r
mat
h
: improve h
o
w cast
s
a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
ar
p
ent
e
r
math:
i
ntroduce get_absol
u
t
e
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pe
n
ter
ma
t
h: imp
r
ove how bit
w
i
s
e
A
ND
s
ar
e
han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpe
n
ter
ke
r
ne
l
data/
:
update to recent linu
x
-next (3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
db: declar
e
strnle
n
(
)
as
returning "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
n
t
er
user_data: export is_
u
s
e
r_mac
r
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_
d
ata: ma
r
k ntoh
l
()
d
at
a
a
s
us
e
r_d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: impro
v
e trackin
g
se
t
v
s passed i
n
u
ser data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Da
n
C
arpenter
implied
:
r
e
move some un
u
sed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Car
p
enter
check_overflow: silenc
e
some "not a
l
locating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan
Carpenter
compari
s
on: white space
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpen
t
er
extra: handle binop com
p
ari
s
o
n
s bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next