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
*new* check_array_condition.c: arrays can't be NULL
2013-12-19
Dan Carp
e
nt
e
r
*
n
ew* check_array
_
condition
.
c: arr
a
ys can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpenter
buf
_
size:
store ranges in
the database instea
d
of sin
g
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
enter
st
r
le
n
:
remov
e
some
blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpente
r
unreac
h
able code
:
don't warn about unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
u
n
r
e
achable code: do
n
'
t
warn
about empty state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carp
e
nter
d
e
bug
:
intro
d
uce __smatch_buf_size_rl() which is
m
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: add __smatch
_
m
e
m
be
r
_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Ca
r
penter
kernel, db: add h
w
ei
g
h
t() functions to
t
h
e
datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpen
t
er
kernel
,
db: consider
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 Carpenter
introd
u
ce: sm
a
tch_data/ke
r
nel
.
no_i
n
line_functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpente
r
*
n
ew*
a
d
d
smatch_data/k
e
rnel
.
silenced_functions t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
c
o
mmo
n
_functions
.
c
:
han
d
le strlen()
a
nd st
r
n
l
en() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
a
c
cess_ok_ma
t
h
: restrict this check to
--spammy
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Ca
r
p
e
nter
*ne
w
* check_cast_assign
.
c: che
c
k castin
g
a
sm
a
ller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
check_debug: fix crashing bug on printing n
o
n-exi
s
t
a
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
Ca
r
penter
buf_size: buffer allocations in
t
he
same file
are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpent
e
r
buf
_
size: i
g
no
r
e
u
nknown array sizes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
str
l
en: record str
i
ng lengths
a
cros
s
fun
c
tion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
a
rpenter
strlen: re
c
ord as
s
i
gned strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
s
trl
e
n: add a comment a
n
d
rename some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen:
h
andle strin
g
litera
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
deb
u
g: introdu
c
e
__s
m
atch
_
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n C
a
rpenter
strlen: intr
o
duce get_implied_
s
trlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
math: revert accidentally c
o
m
mitte
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpent
e
r
b
u
f_size
:
read a
range_list
f
rom the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf
_
size: store typ
e
_siz
e
in two tables
the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make size
_
f
r
o
m
_db(
)
work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
r
penter
buf_size, strlen:
s
e
p
arate buf_size and
strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
o
v
erflow: use fuzzy_ma
x
to warn
about array
o
ve
r
flows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
nter
math: fix
g
et_fuzzy_
m
in
/
max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpen
t
er
b
u
f
_size: repres
e
nt buf
f
er
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
bu
f
_size: handle pla
c
es that dynamically alocate
s
ometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpenter
flow: intro
d
uce
_
_
in_func
t
i
on_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
penter
ext
r
a,
math: r
e
work how fu
z
zy max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpente
r
buf_size: handle devm_km
a
llo
c
() alloca
t
ions
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
p
e
nter
ke
r
nel
.
ignored_macros:
add RT_ASS
E
RT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carp
e
n
ter
smd
b
: improve
"
w
here" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges: int
r
oduce r
l
_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpent
e
r
helper
:
work aro
u
n
d
crashing b
u
g in get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
local_values: p
u
ll code in one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed: ig
n
ore t
h
ings with negative number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
flow: ignore structs and u
n
ions in s
e
t_unse
t
_to_z
e
ro
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
ente
r
modif
i
c
a
tion_hooks
:
delete a
b
lank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse:
int
r
oduce has_inc_
d
e
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
rpenter
type_val: fix a
b
uild warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
r
penter
t
ype_
v
al: actual
l
y
r
u
n t
h
e
c
ode
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n C
a
rpenter
smatch: a
co
u
ple cra
s
hi
n
g
bugs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow char to be u
n
signed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
help
e
r: improve is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
type_
v
al:
i
n
troduce
s
toring struct member limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
p
e
nter
data
_
so
u
r
c
e:
l
oad where data c
o
m
es
f
r
o
m into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
en
t
er
.
g
i
tignore: ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
db: fixup_kernel
.
sh: sa
y
that
w
e onl
y
ha
v
e 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
db: preserve unmerged
stat
e
s i
n
the
-
>possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
d
b
:
g
roup
function pointer
r
et
u
rn s
t
ates toget
h
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
db: ord
e
r th
e
return
_
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_kernel
.
sh: ig
n
ore ti
m
er_l
i
st functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpente
r
d
b: fix
u
p_k
e
rnel
.
sh: remove some USER_D
A
T
A calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
p
enter
d
b
:
i
m
p
rov
e
d
a
tabase
d
ebugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
D
an C
a
rpenter
smatch
.
h: shift some struc
t
members around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
D
a
n Carpenter
flow: clear_buffer
:
r
e
ve
r
t part of commit
th
a
t uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
f
low:
r
e-wr
i
te how struct members are in
i
tialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
C
arpenter
smatch_cle
a
r_buffer
:
memc
p
y() sho
u
ld s
e
t the
d
e
s
ti
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpe
n
te
r
smatc
h
_c
l
ear_buf
f
er: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
smatch_data/ke
r
n
e
l
.
clears_a
r
gument: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
C
arpenter
flow: introduc
e
outs
i
de_of_fu
n
ction() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
D
an Carpent
e
r
db: kernel: ignore i40e_dbg
_
ne
t
dev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Car
p
enter
flow: set membe
r
s to zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
db, extra, user_data: handle: *x =
1
; ret
u
rn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user
_
data: remove kmemdup_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpen
t
er
user
_
data: make a func
t
i
o
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
container_
o
f: pe
o
ple check
i
n
g
the return
v
alue of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
hel
p
er: fix
cra
s
hing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carp
e
nter
user_d
a
ta: make
a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: export get_
c
ons
t
_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
C
a
rpent
e
r
ma
t
h: handle bitwise O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpente
r
math: handle 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 impos
s
ible condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan C
a
r
penter
Fi
x
--no
-
data so
it
doesn't
spew database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: f
i
x a crash parsi
n
g
invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
rpenter
sizeo
f
: fi
x
typo in
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
C
arpente
r
sizeof
:
co
m
pla
i
n if c
o
de
d
oes sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
type: let get_real
_
base_typ
e
(
) ta
k
e
NULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan C
a
rpenter
d
b
: rename add_r
e
turned_st
a
t
e_cal
l
b
a
ck
(
)
=> add_
s
plit_
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
rosenberg in
f
o
leaks: che
c
k __
c
opy_to_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
ar
p
enter
r
osenberg inf
o
leaks: use
PARAM_CLE
A
RED data
f
rom the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
pent
e
r
rosenberg
info leaks: use st
r
ipped da
t
a
f
ro
m
co
p
y_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info leaks:
make check_members_initia
l
i
z
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
e
xtr
a
:
handle "i
f
(a & 0x1)" condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
C
ar
p
enter
flo
w
: fake assigns better for neste
d
structs and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
e
n
ter
h
elper: get_member_name()
could st
o
re
u
nions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
user_data: fi
x
c
ras
h
ing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
math: i
m
p
r
ove how casts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
math:
introduce
g
et_absolut
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpenter
math: improve how bitwi
s
e ANDs
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Ca
r
p
e
nter
k
e
rne
l
data/: updat
e
to recent linux-next (3
.
11-
r
c
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
db: declare strnlen() a
s
return
i
n
g
"0-s
3
2m
a
x[<=p
1
]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpenter
u
s
er_data: ex
p
ort is_user_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
user_
d
ata: mark ntohl()
data
a
s user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
ar
p
enter
user_
d
ata: impr
o
ve tracking set vs passed in use
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next