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
flow: handle struct initialization better
2015-03-04
Dan Carpen
t
e
r
flow: handle s
t
ruct
i
n
itializati
o
n
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
esta
t
e: add a NU
L
L check
i
n es
t
ates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
pe
n
ter
param_us
e
d: store w
h
en a p
a
rameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpen
t
e
r
extr
a
: ignore
mor
e
__in_fake
_
assign da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
com
p
a
r
iso
n
: fix
a
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: a
d
d an
e
x
pr_signed() f
u
nction that match
e
s expr_uns
i
gn
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
s
mdb
.
py: add functions to
s
how fun
c
tions implementi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
extra
:
handl
e
temporary sho
r
t
h
and poi
n
ters bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
der
e
fer
e
nces_par
a
m: look for po
i
nters used as
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
ch
e
ck_inden
t
ing: warn about mi
s
s
i
ng curly brace
s
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleared: add a c
o
m
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
an
C
a
rpenter
validation: cor
r
ect s
o
m
e
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aa
r
o
Kos
k
inen
build: allow use of
P
K
G
_
C
O
NFI
G
to o
v
e
rride pkg-c
o
nfig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: buil
d
indexes fast
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpenter
sli
s
t: fix compi
l
e
b
r
eaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpenter
kernel_printf: silence some f
a
lse p
o
sitives
usin
g
smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpenter
strings: rec
o
rd which
s
tri
n
gs a
r
e being use
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
u
ser_data
2
: turn on skb->da
t
a tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
db
:
rename
F
ILTER_VALUE
,
LIMITED_VALUE, and
A
DDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
kernel_prin
t
f: si
l
ence some "stru
c
t sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
t
y
pe: ad
d
unions to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpent
e
r
ty
p
e_value: speed up
loa
d
i
ng the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* return_cast: complain about return -E
I
NVA
L
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
Car
p
enter
for
m
at_st
r
ing: delete this be
c
ause check_kernel_prin
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
fu
n
ction_ho
o
ks: add some debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
e
x
tra: clea
n
u
p db_par
a
m_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
p
e
n
t
er
extra: separ
a
te
PARA
M
_LIMIT a
n
d PARAM_F
I
LTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
functi
o
n_hooks: don't ta
k
e a short
c
ut for
"
ne
e
dless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helpe
r
: intr
o
duce alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
nter
math:
handle "if (likely(1
)
)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math: fix/
c
leanup do_
c
om
p
ariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capped: don't recor
d
s
i
n
gle values as capped in
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
te
r
db:
e
x
p
ort get_s
t
atic_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carp
e
nter
user_d
a
ta
2
: wrong
p
aramet
e
r tagged as user
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpenter
r
o
senberg:
d
e
lete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
arpenter
rosenberg:
strip away
s
o
me
cast
i
ng
(
e
l
iminat
e
s a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
rosenberg: don't save u
n
neede
d
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_s
i
z
e
:
don't save
u
se
l
ess informa
t
ion i
n
t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
struct_assignment: ignore more f
a
ke assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpe
n
t
er
slist:
f
ix debuggin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
enter
param_cleared, rosenberg:
a
dd
u
nderscored mems
e
t/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
param_
f
i
l
t
er/s
e
t: don't recor
d
fake ass
i
gnme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
ente
r
slist, d
e
b
u
gging: don't
p
rint ->
p
ossible list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
y
pe_v
a
l: add more stu
f
f to igno
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
db/reload_p
a
r
t
i
al
.
sh
:
change database in
f
o
fo
r
one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an Jegen
Doc
u
mentation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carp
e
nter
kernel_printf
:
put l
o
ts of s
i
ngle
quot
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
Merge b
r
anch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
m
u
s V
i
ll
e
moes
c
heck_kerne
l
_printf
.
c: Allow const char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_pr
i
n
t
f
.
c: Handle 'fmt
?
: "defau
l
t
"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_
k
ernel_printf
.
c: Simplify re
c
ursi
v
e
c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
e
nter
check
_
k
e
rnel_
p
r
i
n
t
f
.
c: Simplif
y
recursive ca
l
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
n
t
er
k
e
r
n
e
l_print
f
: allow '\b' if it'
s
the first
charac
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validation/sm_rosenberg
.
c: don'
t
pass
an uninitia
l
ized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: add
some more quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an
C
arpenter
kernel_pr
i
ntf: move a
w
arning under t
h
e --spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
k
ernel_printf: add some quotes around the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne_printf: '%pb' is
v
a
lid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
R
asmus
V
ill
e
moes
check_kernel_printf
.
c
:
Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
m
u
s Vi
l
lemoes
check
_
kern
e
l
_prin
t
f
.
c
:
S
trip pare
n
these
s
commit
|
commitdiff
|
tree
2015-02-11
R
asmus
V
i
l
lemo
e
s
check_kernel_printf
.
c: Handl
e
conditionals
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
Villem
o
es
smatch:
Ch
e
ck the kern
e
l's %p f
o
r
mat extensio
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
s
match: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Vil
l
emoes
smatc
h
:
Implement -
-
show-ch
e
c
k
s
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mu
s
Villemoes
smatch:
A
dd dummy element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc V
a
n Oostenry
c
k
Avoid
re
u
se of string buffer when concate
n
ing adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Ca
r
penter
wrong_size_ar
g
: warn about "i
f
(memcmp(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struc
t
_
a
ssi
g
n
men
t
: re
m
ove a blank li
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
r
p
e
nter
s
v
a
l: handle
L
E
FTSH
I
F
T
s in sval_binop_overflows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
s
val: cast the result in
sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val: u
p
date to handle PARAM_SET f
r
om the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
typ
e
_val
:
ignore kmall
o
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_va
l
: igno
r
e
a
ll
the "for_each" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
u
ser_
d
ata
2
: remov
e
s
o
me debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
D
a
n Carpen
t
er
he
l
per: introduce inve
r
t
_
o
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n
C
a
r
p
enter
ranges: break
t
he ra
n
ge list
p
arsing into a se
p
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges: prepare to change a
s
tring to an estate
i
n
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan
Carpenter
modifica
t
ion_hooks: add PA
R
AM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n Carpe
n
ter
param_cleared:
c
learing a member is not clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
type_val
:
ig
n
ore fake mem
b
er ass
i
gn
m
ents from uncas
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
type_value: list_entry is safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use sa
v
ed ret
u
r
n
estate instead of
s
ear
c
hing the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
d
ebug: introduce __smat
c
h_known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpen
t
er
d
b, ex
t
ra:
u
se
P
ARAM
_
SET if t
h
e par
a
meter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n
Carpen
t
er
frees_param: modi
f
y
means it's not freed anymor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Da
n
C
arpenter
slist: f
i
x "stack not empty"
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpenter
silenc
e
: a
d
d __read_once_siz
e
() to k
e
rnel
.
silenc
e
d_fu
n
c
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
comparison: han
d
le
p
reops like
"
if (+
+
a =
=
b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
ent
e
r
flo
w
:
d
on't inline functions wh
i
ch ar
e
o
ve
r
20 lines
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an
Carpent
e
r
function_ptrs: h
a
ndle S
Y
N_N
O
DE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
he
l
per: improve ge
t
_membe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
p
enter
user_data
2
: sta
r
t
r
e-write of user_da
t
a (not used yet)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpen
t
e
r
math: introduce custom_get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
db:
i
mprove mem-db debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nt
e
r
db: member_info c
a
ll
b
ack should pas
s
the sm_s
t
a
t
e instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
s
m
atch
.
h
: silenc
e
some c
o
m
pile warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
free: bring back the dou
b
le free warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
nter
e
x
t
ra, filte
r
:
F
ILTE
R
_
V
ALUE is
not a modifi
c
atio
n
act
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Ca
r
p
e
nter
pa
r
am_
f
ilter: tot
a
l re-write with bugfixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra:
i
m
prove pare
n
t_is_n
u
ll_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next