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
deref_check: ignore arrays
2015-03-20
Dan Car
p
e
nter
d
e
r
e
f_che
c
k: ig
n
ore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
enter
t
y
pe
:
mak
e
sval_t
y
pe_max()
default to "l
o
n
g lon
g
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type:
d
o
n
't return SYM_NODE
t
ypes from get_real_bas
e
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Car
p
enter
s
i
de_eff
e
cts: the
iterate_all
_
ki
n
ds() ma
c
ro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
pen
t
er
unreac
h
able: don't
c
omplain ab
o
ut i
t
e
r
a
te_all_kin
d
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix "foo
+
= !bar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan
Ca
r
penter
l
ib:
h
andle -f
u
nsign
e
d-ch
a
r option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpenter
kernel
.
ig
n
ore_side
_
effects
:
add som
e
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Ca
r
penter
in
d
enting: allow "
b
reak; case
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
use
r
_d
a
ta2:
mark sscanf
(
) output as
user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
mat
h
, rl:
fix
h
anding division inv
o
lving negat
i
ve numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carp
e
nter
s
va
l
:
fi
x
sval_
b
in
o
p_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
precedence: c
o
mplain about "foo << b
a
r
-
b
az"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flo
w
: han
d
le struct initial
i
za
t
i
on be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Carpenter
esta
t
e:
a
dd a NULL check in es
t
ates
_
equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
param_use
d
: store when
a
parameter is used
so w
e
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
r
penter
extra: ign
o
re more __in_fake_a
s
sign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpent
e
r
comparison: fix a cras
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
C
a
rpenter
type: add an ex
p
r_signed() functi
o
n
tha
t
matches expr_unsign
e
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpente
r
smdb
.
py:
a
dd functions to sh
o
w fun
c
tions im
p
l
ementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
extra: h
a
ndl
e
temporary shorthand pointers bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
d
er
e
ferences_param:
l
ook
f
or pointers used
as an
array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_inden
t
ing:
warn about
m
issing curl
y
b
rac
e
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rp
e
nter
param_cleared: a
d
d a c
o
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
Carpenter
validation
:
correct
s
o
m
e output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
K
oskinen
build: allow
u
s
e of P
K
G_CONFIG
t
o
over
r
ide pkg-co
n
fig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: bu
i
ld indexes fas
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
sli
s
t: fix compile break
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpenter
kernel
_
prin
t
f: silence some false p
o
sitives using sm
a
tch
_
str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carp
e
nter
strings: reco
r
d which
s
trin
g
s
are
b
ei
n
g
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n C
a
rpe
n
ter
user_data2: tur
n
o
n
skb->data ta
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpen
t
er
db:
r
ename FI
L
TER_VAL
U
E, LIM
I
TED_VALUE,
a
nd ADDED_VAL
U
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpente
r
k
ernel_printf: silence s
o
me "s
t
ruct sockaddr " fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: add
u
n
ions
t
o type_to_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carpenter
type
_
v
alue: speed u
p
loading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
n
ew* return_ca
s
t:
c
omp
l
ain about return
-EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string: de
l
ete thi
s
bec
a
use c
h
eck_kernel_pri
n
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
functi
o
n_hooks:
a
dd some debug
o
utp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanup db_param
_
a
d
d_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: sepa
r
a
t
e PARAM
_
LIMIT and PARA
M
_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpen
t
er
f
unction_hooks: don't
take a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introduce a
l
loc_state_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Car
p
enter
math:
ha
n
dl
e
"
i
f
(likely
(
1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math:
fix/cleanu
p
do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capped: don'
t
record
s
ing
l
e
values a
s
cappe
d
i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carp
e
nt
e
r
db: ex
p
ort get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wr
o
ng para
m
eter t
a
gged
a
s user data i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
penter
ros
e
nberg:
d
e
l
ete some c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
ros
e
nberg:
s
trip away some casting (eliminates
a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
rosenberg
:
don't save unnee
d
ed
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size:
don't s
a
v
e
useless
informat
i
on in th
e
datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
struct_assignm
e
nt: ignore
m
o
r
e fake as
s
i
gn
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
sli
s
t: fix de
b
uggin
g
out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
p
a
ram_c
l
eared, rosenb
e
rg:
a
dd
unders
c
o
r
ed memset/
c
py
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
param_filter/set: don't record
fake assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
slist, deb
u
g
g
i
ng: do
n
'
t
pr
i
nt
-
>possible list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an
Carpenter
ty
p
e_va
l
: add more
s
tuff to
ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
d
b
/
relo
a
d_partial
.
sh
:
c
hange
d
atab
a
se
i
nfo f
o
r one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an
J
egen
Docu
m
entation f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
k
e
rnel_printf: p
u
t lots
o
f
single quot
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'dev
e
l
3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
R
a
smu
s
Villemoes
check_kernel_printf
.
c: Allow
c
onst char
[
] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kernel_
p
rintf
.
c:
H
andle 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Vill
e
moes
ch
e
c
k
_kernel_printf
.
c
:
S
implify recu
r
sive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
c
heck_kernel_printf
.
c: Simplify rec
u
rsive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: allow '\b' i
f
it
'
s
the first c
h
ara
c
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
r
pen
t
er
validati
o
n/sm_r
o
senberg
.
c:
d
on't pas
s
a
n
uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an C
a
rp
e
nter
kernel_printf: add some more qu
o
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
C
arpenter
kernel_print
f
:
move
a
warning
u
nde
r
the
-
-sp
a
mmy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_pr
i
n
tf: a
d
d some quotes
a
round th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
e
r
k
erne
_
p
rintf: '%pb' is
val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Ville
m
oes
check_kernel_pr
i
ntf
.
c:
F
ix braino
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
check_kernel_printf
.
c: Strip pa
r
en
t
heses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel
_
printf
.
c: Handle con
d
i
tionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moes
s
ma
t
ch: Ch
e
ck the kernel's
%p
f
orm
a
t exten
s
i
o
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch:
Add -
-
enable
o
ptio
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
e
moes
smat
c
h: I
m
pleme
n
t --
s
ho
w
-ch
e
c
k
s
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoes
smatch: Add dummy
e
lem
e
nt to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenryck
A
v
oi
d
reuse
o
f
str
i
n
g
b
uffer wh
e
n
c
oncatening adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Da
n
C
a
r
penter
wrong_size_arg: warn
a
bout "if (memc
m
p(foo, ba
r
, size
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
st
r
uct_assig
n
ment
:
remove a b
l
a
n
k lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Ca
r
penter
sval: handle LEFTSHIFTs
in sval_binop_overflows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
sval:
cast the result in
s
val_binop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpe
n
ter
type_val: update to ha
n
dle PARAM_SET
f
rom t
h
e db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpenter
type_val: ignore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
te
r
type_val: ignore all the
"
for_each
"
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpen
t
er
user_data2
:
remove so
m
e debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Ca
r
penter
he
l
pe
r
: introduc
e
inve
r
t_o
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Carpenter
ranges: break
t
he range li
s
t parsing into
a
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carp
e
nter
ranges: prepare to
c
h
ange
a string to
a
n
estate instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Carp
e
nt
e
r
mo
d
ific
a
ti
o
n
_
hooks
:
add PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
param_cleared: clearin
g
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: ignore fake
m
e
m
b
er a
s
signments fr
o
m un
c
asted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
type_value: list_ent
r
y is
safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an C
a
rpenter
db:
use saved return
e
s
tate instead of searchin
g
t
h
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
pe
n
ter
deb
u
g: introduce __smatch_known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpenter
db, extra: use PARAM_SET
if
the parameter
is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n
C
ar
p
enter
fre
e
s_param: modify m
e
ans it's not freed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
an Carpent
e
r
sli
s
t: fix
"stack not empty" errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
D
a
n
C
arpente
r
silenc
e
: add
__read_once_size() to kernel
.
silenced_functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next