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
smatch_data: update for 3.0 kernel
2011-06-13
Da
n
C
arpente
r
smatch_data: upda
t
e for
3
.
0
kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpe
n
ter
g
en_
n
o_
r
et
u
r
n
_funcs: a
l
wa
y
s kee
p
the default no return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In
a
c
o
u
p
le plac
e
the
o
rig
i
nal
ch
e
c
k
ed for --sp
a
mmy
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
pe
n
ter
flow: handle known switch stateme
n
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*new* return_negative_var: returning positive
v
alu
e
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpe
n
ter
*
n
ew
*
mems
e
t
:
check for
memse
t
(
x
,
y
,
0
); typos
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-06-03
D
an Car
p
enter
Suppo
r
t __bui
l
tin_unreachabl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-26
Dan Car
p
ente
r
over
f
low:
format_strin
g
s: put some verb
o
se message
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_size: put some guesses behi
n
d --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
p
e
nter
extra: handle count down for loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
p
e
nter
add
R
A
W_ASS
I
GN
M
ENT_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Merge git:
/
/git
.
kerne
l
.
org/p
u
b/scm/devel/sp
a
rse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan
Carpen
t
er
signe
d
: don'
t
com
p
l
ain about putting 0x
f
f into a sign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
l
oc
k
ing
:
add
_raw_spin_lock_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
i
n
troduce SELECT_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*n
e
w*
check
_
select: return
r
et < 0 ?: 0
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
n
e
w
* inp
u
t
_
free_devic
e
: don't call this
after
in
p
ut
_
unreg
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
pente
r
*new*
check_co
n
tainer_of
:
c
ontainer_of() doesn'
t
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpen
t
er
create check_list_local
.
h which
is for
untracked l
o
cal
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
rpente
r
lock
i
ng: _a
t
omic_dec_and_lock() is
a
spi
n
lock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
files:
cle
a
nup
open
_
file()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
add default no_return_funcs
i
f
n
o p
r
oject is specified
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpent
e
r
up
d
ate
s
match_data/ for
2
.
6
.
37
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-15
D
a
n Ca
r
pen
t
e
r
*new* check
_
acc
e
ss_ok_math: potential int
e
g
er overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpent
e
r
h
o
oks: intro
d
u
ce ASM_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan C
a
r
penter
te
m
porary hack to sol
v
e
c
rashing
b
u
g
in f
s
/
reiser
f
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-13
Da
n
Carpenter
locking: add __r
a
w_spin_unlock_irq() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-12
Dan Ca
r
pente
r
err_
p
tr_deref
:
fix ass
i
gnments inside
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpente
r
l
o
cking
:
a
dd a
r
ch_lo
c
a
l_irq_
s
ave()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
D
a
n
Carpenter
check_type
:
w
a
rn
a
bo
u
t kfree() vs f
r
ee_netdev
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
Dan
C
a
rpe
n
ter
type:
improve handlin
g
o
f
array types
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpen
t
er
ext
r
a: mo
v
e s
o
me stuff into smatc
h
_din
f
o
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpen
t
er
bu
f
_size: oops
.
.
.
r
emove debug o
u
t
pu
t
!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rp
e
nt
e
r
wh
i
t
espace_only: don't e
r
ror
out
h
andl
i
ng
.
h fil
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*n
e
w
*
get_user_overflow: ch
e
ck for in
t
e
ger over
f
lows
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
smatc
h
_
db: don't comp
l
ain
i
f
the db doesn't exist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
b
u
f_size: do cross function ana
l
ysis
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* un
c
appe
d
_alloc:
p
ri
n
t places where the u
s
er decides
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
*new* smatch_db: use and sqlite database for cross
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Ca
r
p
e
nter
p
aram_mapper:
u
p
dat
e
c
o
pyright
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
a
r
penter
sm
a
t
c
h_scripts/gen_
e
xpect
s
_err_p
t
r
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
smat
c
h_data/ker
n
el
.
array_boun
d
s
:
ar
r
ay boundar
y
data
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
expects_err_ptr:
m
a
ke a list of functions
w
hich
a
cce
p
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Carpent
e
r
unwi
n
d: add m
o
re u
n
win
d
f
unctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
u
p
date smatch_data/ for 2
.
6
.
36
-
r
c
2 (part 2)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
r
penter
ove
r
flow: fix
u
p cross
function overflows
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
arpenter
r
e
m
o
ve
d
ea
d
no_le16
c
r
u
f
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Da
n
Carpe
n
ter
unw
i
n
d: add more
u
nwind fun
c
tio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Car
p
en
t
er
remove check_le16
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpente
r
Upda
t
e smatc
h
_data to 2
.
6
.
36-rc2
[pat
c
h 1
o
f more]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n
C
arpenter
kernel: c
o
ntaine
r
_o
f
()
r
etu
r
ns a non-NULL
p
ointer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Intr
o
duce a
d
d_mac
r
o_ass
i
gn_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Da
n
Carpenter
fi
x
out
o
f memory handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
N
e
w funct
i
o
ns returns_unsigned(
)
and
returns_
p
ointer()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_info_leak
.
c: places that pas
s
u
n
-zeroe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_retur
n
_
enomem: com
p
lain about ret
u
rnin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
Da
n
C
a
r
p
enter
*
n
ew* p
l
atform_device_put(
)
vs pl
a
tform_device_d
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
un
w
ind
:
liter
a
ls higher
t
h
a
n zero are not an error
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpen
t
e
r
implied: only
print the n
r
_
c
hildren mes
s
ag
e
s if there
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Ca
r
penter
unwi
n
d: r
e
giste
r
u
n
wind function
s
that unwind everyth
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Car
p
enter
unwind:
update equ
i
valent
s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carp
e
nter
e
xtra: c
l
ean up u
n
used va
r
iab
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carp
e
nt
e
r
equi
v
: update
v
alidation
t
est
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra:
h
andle
WARN_ON(f
u
nc(
&
s
et_this_pointer));
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpenter
buf_si
z
e: I broke
initializer handl
i
ng
b
y mi
s
take
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
C
arpenter
oops
.
f
i
x
compile e
r
r
o
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpenter
b
uf_size: remove m
e
mset() and memmove(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
implied
_
no
t
_
equal: handle literals
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan C
a
rpenter
resource: c
r
ashing bug on incorrect inpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpenter
buf_size: ignore dynamically
s
ized arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
enter
buf_s
i
z
e: a
d
d support
fo
r
memd
u
p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arp
e
nter
b
u
f_size
:
add support
f
o
r
strndup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
b
u
f_
s
ize:
u
s
e strcpy() to determine th
e
size of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: us
e
s
tr
n
cpy(
)
and fri
e
nds to set the bu
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_si
z
e: whitespace c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
overflow: remove unused f
u
nctio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size:
us
e
alloc
_
sta
t
e_num() instead of
custom version
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpen
t
er
buf_size: remove unu
s
ed de
f
initio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
o
ve
r
flo
w
: ma
k
e a
r
ray size tracking into
a
library function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
Dan Ca
r
p
e
nter
unwin
d
: add pci
_
i
omap
(
) and
p
ci_iou
n
map()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*new
*
chec
k
_kmall
o
c_to_bugon: don
'
t call b
u
g_on() for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpent
e
r
*new* check_unw
i
nd
:
c
heck
t
hat module_init
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
enter
core:
pro
c
ess inline stat
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
flow
:
handle a
s
m stat
e
ments c
o
rrectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan C
a
r
penter
Merg
e
gi
t
://g
i
t
.
kernel
.
org/pub
/
s
cm/devel/s
p
arse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
D
an Carp
e
nt
e
r
add u
b
ifs_assert(
)
to list of
assert macros
t
hat call
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Da
n
Carpenter
che
c
k_
d
ma: add a check for foo = kmal
l
oc(sizeof(*foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Da
n
Carpenter
signed: unsigned
v
a
ri
a
bles a
r
e
allow
e
d to do m
a
th wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan
Carpenter
overflow: h
a
ndle "if (strlen(
f
oo) < 10) {
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
D
an Carpe
n
t
e
r
overf
l
ow: add suppo
r
t fo
r
strlen()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Tilman S
a
uerbeck
Warn if r
a
n
d
om pointers are used as
source bu
f
fers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
an Carpenter
l
e
a
k
s: replace check_memory
.
c with a rewrite check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
get_var
i
able_fr
o
m_e
x
pr_
c
omplex(): re
t
urn prop
e
r sy
m
bol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerbeck
Added a t
e
st case for the recentl
y
i
nt
r
oduced exten
d
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Da
n
Carpenter
Makefile: sma
l
l whi
t
e
s
p
a
c
e change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpenter
me
m
ory: r
e
mov
e
the warnings about freed memor
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sa
u
erbeck
Find leaks that occur b
y
setting poin
t
e
r
s to
al
l
ocated
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Til
m
an
S
auerbeck
A
d
d
ed a simple
t
est case
f
o
r
t
h
e dou
b
le free
checker
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Da
n
Carpenter
check_free: create a separate check for
m
isu
s
ing fr
e
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carp
e
nt
e
r
related: rename dinfo->equ
i
v
t
o dinfo->
r
e
l
a
ted
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next