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
dereference: fix handling DEREFERENCE from the database
2011-09-12
Dan Carpenter
overflow
:
print more helpful
i
nfo when
the
d
ata file
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
penter
gen_array_bound
s
: fil
t
e
r out bogus lin
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
ter
buf_size
:
silence a gc
c
false positive
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
rpenter
use P
T
R_IN
T
() and IN
T
_PTR() to silence cast warnin
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Carpenter
slist:
m
a
k
e alloc_sm_state() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
slist: remove some dead code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
p
en
t
er
core: clon
g
_sm()
s
hould prese
r
ve the ->l
i
n
e
v
a
lue
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Car
p
e
n
ter
update smatch_dat
a
/ for li
n
ux-3
.
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpent
e
r
*new* bogus_loops: warn
o
n
bog
u
s for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-07-29
Dan
C
arpenter
extra: us
e
ge
t
_impl
i
ed_value
(
)
instead of get_value
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpente
r
impli
e
d: handle assig
n
ments inside c
o
n
d
itio
n
s better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
ove
r
flow: check spr
i
n
tf(
)
and sn
p
rintf()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpente
r
smatch_
f
low: fix compile error caused by upst
r
e
am changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
pent
e
r
over
f
low: cut down
o
n false posit
i
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smat
c
h_data: update
for
3
.
0 kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
gen_no_return_
f
u
ncs: always keep the defa
u
l
t no ret
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpente
r
In a coupl
e
place the origina
l
checked for --spammy
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
arpenter
f
low:
h
a
ndl
e
kn
o
wn
s
witch statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
a
rpenter
*new* return_negati
v
e_var: returning positi
v
e values
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
penter
*
new* memset: check
f
or mems
e
t
(
x, y, 0); typos
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Support __buil
t
in
_
unreac
h
able()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carp
e
nt
e
r
o
verflo
w
: format_strings: p
u
t some verbose mess
a
ges
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_size: p
u
t some guesse
s
behind --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra
:
ha
n
d
le count
d
own for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpen
t
er
a
d
d RAW_ASSIGNME
N
T_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Mer
g
e gi
t
:
//git
.
ker
n
el
.
o
r
g/pu
b
/scm/d
e
vel/sparse/c
h
r
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan C
a
rpe
n
ter
s
i
gned: don't compla
i
n ab
o
ut putting 0xff into a signed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpent
e
r
locking: ad
d
_raw_spin_lock_nest
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
rpen
t
er
in
t
r
o
d
uce SELECT_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*
ne
w
* check_select: return
r
et < 0 ?: 0;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpen
t
er
*new* input_free_device: don
'
t call this after i
n
put_unregis
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
*ne
w
* check_container_of
:
container_of() doesn't
return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
Ca
r
pen
t
er
crea
t
e che
c
k_l
i
st_local
.
h
w
hic
h
is for untracked local
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpenter
loc
k
i
ng: _
a
tomic_dec_
a
nd_
l
ock() is a
spinlock
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
files:
c
l
eanup open_
f
ile()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
r
penter
a
d
d defau
l
t
n
o_return_funcs if
n
o
p
r
o
j
ect is specified
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
up
d
ate smatch_data/ for 2
.
6
.
37
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new*
c
heck_access_ok_ma
t
h
: potentia
l
integer overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks:
introduce ASM_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan
C
ar
p
e
n
te
r
temporary h
a
ck t
o
solve
c
ras
h
ing bug in fs/reiserfs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carp
e
nter
l
ocking:
a
d
d
_
_ra
w
_spin_unlock_ir
q
(
) function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-12
Dan
Carpent
e
r
err
_
ptr_deref: fix as
s
ignments insi
d
e
con
d
itio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-25
D
a
n
C
a
rpenter
l
oc
k
ing:
a
d
d
arch_local_irq_save()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
Dan
C
a
r
p
e
n
t
er
chec
k
_type: warn about kfr
e
e()
v
s
free_ne
t
dev()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
t
y
pe: imp
r
ove handling o
f
array types
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpenter
extra: move som
e
stu
f
f into s
m
atch_dinf
o
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
buf
_
siz
e
: oops
.
.
.
remove
deb
u
g o
u
tp
u
t!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpe
n
ter
whitesp
a
ce_
o
nly: don't
e
r
r
o
r
out handling
.
h
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
*
new* get_user_overflow: check for in
t
eger overfl
o
ws
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
r
pe
n
ter
s
m
atch_db: don't complai
n
if
th
e
db doesn't e
x
is
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_s
i
ze: do cross function
a
n
a
lysis
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
*new* un
c
apped
_
alloc: print
p
laces w
h
ere the user decides
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* sma
t
ch_
d
b:
use and s
q
lite databa
s
e for cro
s
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpenter
param_mapper
:
u
p
date co
p
yri
g
ht
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
a
dd test
-
inspect
t
o
.
gitignore
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
smatch_scripts/ge
n
_expects_er
r
_ptr
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arp
e
nter
s
mat
c
h_data/kerne
l
.
arra
y
_bo
u
nds:
a
r
r
ay boundary data
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
expects_e
r
r_ptr: mak
e
a lis
t
of functions whic
h
accept
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
a
rpe
n
ter
unwind: add
m
ore unwind functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpente
r
u
pd
a
te sma
t
ch_data/ f
o
r
2
.
6
.
36-rc2 (
p
art 2)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overflo
w
: fix
u
p cr
o
ss func
t
ion overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
r
emove dead no_l
e
16 c
r
uft
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpen
t
er
unwind: add more un
w
ind fu
n
c
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Car
p
enter
remove c
h
eck_le16
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Upd
a
te smatch_data
to 2
.
6
.
36-rc2
[p
a
tch 1 of
more]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
pen
t
er
kernel: container_
o
f
(
)
retu
r
ns a non-NULL pointe
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
nter
Introduce add_ma
c
ro_assign_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Dan
Car
p
ent
e
r
fix out
o
f memory handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
N
ew fu
n
ctions ret
u
rns_unsigned() and
r
eturns_pointer()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n
C
arpent
e
r
*ne
w
* check_
i
nfo_
l
ea
k
.
c: places
that p
a
ss un-z
e
roed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
*new* check_return_enomem: compla
i
n about returning
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*new* platform_device_put(
)
vs
platform_device_del()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
ente
r
unwind
:
lite
r
als hi
g
h
e
r than zero a
r
e not a
n
e
r
ror
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carpent
e
r
im
p
l
ied: only p
r
int
t
he nr_chi
l
dren m
e
ssages if there
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpente
r
u
nw
i
nd: regist
e
r u
n
wind function
s
that unwind everyth
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
r
pe
n
t
er
unwind: upda
t
e equivalent stat
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Ca
r
pe
n
ter
extra: clean up
unused variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Car
p
e
nter
equiv: update validation test
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arp
e
nter
ex
t
ra: hand
l
e
WA
R
N
_
ON(func(&set_th
i
s
_
po
i
nt
e
r));
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpenter
buf_s
i
ze: I broke initial
i
zer handling by
m
i
stak
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
er
oo
p
s
.
fix
c
ompile
e
rror
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_si
z
e
:
remove memset() and memmo
v
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan
Carp
e
n
ter
i
m
plied_not_equal: handle l
i
te
r
als
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan
C
arp
e
nter
resource: crash
i
ng bug on inc
o
r
rect input
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
en
t
er
buf_size: ignore
d
y
n
amically
s
ize
d
a
rrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
Carpenter
bu
f
_
size: add
s
upport for memdu
p
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
r
penter
buf
_
si
z
e:
a
dd suppo
r
t
fo
r
strndup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: use strcpy() to d
e
termine
the s
i
ze of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
pe
n
ter
buf_si
z
e: u
s
e strnc
p
y() and
friends to se
t
the
buf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpen
t
er
buf_size:
w
hi
t
esp
a
ce changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
o
v
e
rflow
:
remove un
u
sed
funct
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
Carpenter
buf_size: use al
l
oc_state_num() i
n
s
t
ead
o
f cu
s
t
om versio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpe
n
t
e
r
buf_s
i
ze:
r
emo
v
e unus
e
d def
i
nition
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
overflow: m
a
k
e
a
rr
a
y s
i
ze tracki
n
g
into
a library funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Car
p
e
n
te
r
u
nwind:
a
dd pci_
i
omap() and p
c
i_iounmap()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n
Carpenter
*
new* c
h
ec
k
_kmalloc
_
to_bug
o
n: do
n
'
t
call b
u
g_on
(
) for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpe
n
te
r
*
n
ew*
c
h
eck
_
unwin
d
:
c
heck that module_init functio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan C
a
r
p
e
nt
e
r
core: process
i
nline statem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpent
e
r
flow: handle asm statemen
t
s correctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpente
r
Merge g
i
t:/
/
git
.
kernel
.
org/p
u
b/scm/devel
/
sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
next