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 known switch statements
2011-06-09
Dan Carpenter
fl
o
w:
h
andle k
n
own switch statem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* return
_
negative_var:
r
eturning
po
s
itive v
a
lues
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpente
r
*ne
w
*
memset: check
f
or memset(
x
, y, 0); typos
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
arpenter
S
u
p
po
r
t
_
_builti
n
_unreac
h
able()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-26
D
a
n Carpent
e
r
overflow
:
f
orm
a
t_strings: put s
o
m
e
verbose messages
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
b
uf_size: put some g
u
ess
e
s
b
ehind --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra:
h
andle
c
ount d
o
wn for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
pent
e
r
a
d
d R
A
W_ASSIGNMEN
T
_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-21
Dan Car
p
enter
Merge git:
/
/git
.
kernel
.
or
g
/
p
ub/scm/de
v
e
l
/s
p
a
rse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
si
g
ned: don't com
p
lain about
putting 0xff
i
n
t
o
a signed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-20
Dan
C
a
r
penter
locking: add _raw_spin_lock_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Ca
r
penter
in
t
ro
d
uce SELECT_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_
s
elec
t
:
re
t
urn ret <
0 ?
:
0
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
Ca
r
pen
t
e
r
*new
*
input_free_device:
d
on't call thi
s
after
i
nput
_
unregis
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
pente
r
*new* check_conta
i
ner
_
of: conta
i
n
e
r
_of() does
n
't
ret
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
create check_list_local
.
h whic
h
is
f
or unt
r
acked loca
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
locking: _a
t
omic_dec_an
d
_loc
k
()
i
s a spinlock(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arp
e
nter
files: cleanup
open
_
file()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
add
d
efau
l
t no_return_funcs i
f
no proje
c
t
is
sp
e
cified
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
update sma
t
ch
_
data/ for 2
.
6
.
3
7
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpent
e
r
*
new*
c
h
e
ck_
a
ccess_o
k
_math: potential i
n
teger overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpen
t
er
hooks
:
intro
d
u
ce
A
SM_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpente
r
tem
p
o
rary
ha
c
k to solve c
r
a
s
hi
n
g bug
in fs/reiserfs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpe
n
ter
locking: add __raw_spin_unlock_irq() func
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-12
Da
n
C
a
r
penter
err_ptr_
d
eref: fix
a
ssignments inside conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carp
e
nter
lock
i
ng: add arch_local_irq_save()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
Dan Car
p
enter
c
h
eck_type: warn about kfree()
v
s free
_
netdev
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
D
an Carp
e
n
ter
type
:
impro
v
e ha
n
dling o
f
array
t
ypes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
C
ar
p
ente
r
extra: move some stuff into
smatch_dinfo
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
b
uf_size: o
o
ps
.
.
.
remove
d
ebug
ou
t
put!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
nter
whites
p
ace_
o
nly: don't e
r
ror o
u
t handling
.
h
fil
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new*
g
et_user_overflow
:
check for i
n
teger overfl
o
ws
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
Carpenter
s
m
atch_d
b
:
d
on't co
m
plain if th
e
db do
e
sn't e
x
ist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpenter
buf_s
i
z
e
: do cross function
a
n
a
lysis
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* uncapped_alloc: print place
s
w
h
e
re
t
he
u
ser
decides
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpe
n
t
er
*new* smat
c
h
_db: use and
sqlite database for cross
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
param_map
p
e
r
: update copyright
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-01
D
an Carpente
r
add te
s
t
-i
n
spect to
.
giti
g
nore
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_scripts/ge
n
_expects_e
r
r_ptr
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Car
p
e
n
ter
sma
t
ch_data/
k
ern
e
l
.
array_boun
d
s:
array boundary data
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
a
r
pente
r
expects_err_ptr: make a
list
o
f
f
un
c
tions which accept
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
unwind: add more unwi
n
d
f
unctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Ca
r
pen
t
er
update sma
t
ch_
d
a
ta/ for 2
.
6
.
3
6-rc2 (part 2)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
n
ter
ov
e
rflow:
f
i
xup cr
o
ss f
u
nction
overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Da
n
C
a
rpenter
remove
dead n
o
_le16
c
ruft
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
u
nwin
d
:
a
d
d
more unwin
d
fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
r
e
move check_le16
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
a
rpenter
Update sm
a
tch_data
t
o 2
.
6
.
36-rc2 [patch
1
o
f m
o
re]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpenter
kernel: contain
e
r
_
of
(
)
r
eturns a non-
N
ULL
p
oin
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpenter
Introduce add_macro_assign_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fi
x
o
ut of memory h
a
nd
l
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New functions retu
r
ns_unsign
e
d() a
n
d retur
n
s_pointe
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
*new* check_info_
l
eak
.
c: places
th
a
t pass
un-zeroed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan
C
arp
e
nter
*new*
ch
e
c
k
_return_enome
m
:
complain
about returning
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
D
a
n Ca
r
pent
e
r
*
n
ew* pla
t
form_
d
evi
c
e_p
u
t(
)
vs
pla
t
form_dev
i
ce_del()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpe
n
t
e
r
unwind: literals higher
than ze
r
o are not an error
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
implied: only p
r
int the nr_children
m
essage
s
if there
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
a
r
p
e
n
te
r
unwin
d
: regist
e
r unwind functions that unwind everyth
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan
Carpenter
unwind:
u
pdate equivalent
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpenter
e
xtra: clea
n
up unus
e
d var
i
ables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
C
arpenter
eq
u
iv: update v
a
lidation test
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpenter
ex
t
ra: handl
e
WARN_
O
N
(
func(&se
t
_this_p
o
i
n
ter))
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Carpenter
b
uf_size: I brok
e
initializer han
d
lin
g
by mi
s
take
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpe
n
ter
o
ops
.
fix compile error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Car
p
e
nter
buf
_
s
ize: remove
memset() and memmove()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan
Carpent
e
r
implied_not_equal: handle litera
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n Car
p
enter
res
o
urce: crash
i
n
g
b
u
g on i
n
correc
t
input
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an Ca
r
pent
e
r
buf_siz
e
: i
g
nore dynamically sized arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
buf
_
s
ize:
a
d
d
support fo
r
memdup
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpente
r
buf
_
size: a
d
d sup
p
ort for s
t
r
n
dup(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_
s
i
z
e: use strcpy() to determine the
s
i
z
e of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: us
e
strncpy(
)
and fri
e
nds to set the buf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an
C
a
rpe
n
ter
bu
f
_size:
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpen
t
er
overflow: remove unused
f
u
nctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f
_
si
z
e: u
s
e alloc_st
a
t
e_num() instead of cus
t
om
v
ersion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
te
r
b
uf_size:
r
emove unu
s
ed d
e
finition
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
Carpenter
overflow: make array size tracking in
t
o a library fun
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carpenter
un
w
ind: a
d
d pci_iomap() and pci_iounmap()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan C
a
r
p
enter
*
new* check_kmallo
c
_
t
o
_
bugon
:
don'
t
call bug_
o
n
() fo
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan Car
p
enter
*
new* ch
e
c
k
_unwin
d
: check that modul
e
_in
i
t function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan
C
arpenter
cor
e
:
proce
s
s inline statemen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
ent
e
r
fl
o
w: handle
a
sm sta
t
ements correctl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
Merge git
:
/
/git
.
kernel
.
org
/
pub/scm/devel/sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
add u
b
ifs_asser
t
() to list of
ass
e
rt
macros that
call
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpent
e
r
check_
d
ma:
a
dd a c
h
eck for foo = km
a
lloc(sizeof
(
*foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Dan Car
p
enter
sig
n
ed: unsigned
variab
l
es
are allowed t
o
d
o
m
ath with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overflow: handle "if (strlen(
f
o
o
) <
10) {
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
overflow: add su
p
port for strlen()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
a
n Carp
e
nter
leaks: r
e
place ch
e
ck_m
e
mory
.
c w
i
th a rewrite
check_l
e
aks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpe
n
ter
get_variable_from_expr_complex
(
): return proper symbol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
D
a
n Carpenter
M
a
k
efile:
s
mall
whitespace c
h
a
n
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
memo
r
y: remo
v
e the warning
s
abo
u
t freed memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpent
e
r
che
c
k_free:
c
r
e
ate a separate check for misusing
freed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
D
an Carp
e
nter
related: rename dinfo->equiv to dinfo->related
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan C
a
rpen
t
er
constraints
:
shu
f
fl
e
thin
g
s aroun
d
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
D
an Carpenter
*n
e
w* scripts/g
e
nerisize
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpent
e
r
ty
p
e:
a
llow
the
parameter to be null f
o
r
t
ype_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carp
e
nter
redo the
ig
n
o
r
ed_macros stuff properly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
conditi
o
n
s: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
eliminate
s
ome new "st
a
tem
e
nt has no effect" f
a
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next