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
extra: don't discard cast. strip_expr() => strip_parens()
2011-01-26
D
a
n
Carpent
e
r
overfl
o
w: f
o
rmat_strings: pu
t
s
ome verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carp
e
nter
b
u
f_s
i
z
e
: p
u
t some guesses
behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Car
p
en
t
er
e
xtra: han
d
l
e coun
t
down for
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
pe
n
ter
add RAW_ASSIGNM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpenter
Mer
g
e
git://gi
t
.
ke
r
nel
.
o
r
g/pub/scm/devel/sp
a
rse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
a
n
Carpen
t
er
signed: don't c
o
mpl
a
i
n about puttin
g
0xff in
t
o
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
D
an
Carpenter
locking: add _
r
aw
_
spi
n
_
l
ock_nested
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
r
p
enter
introduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
a
n
C
arpe
n
ter
*new* c
h
eck
_
select:
r
e
turn re
t
< 0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* input_free_device: don't
c
all
this after input_
u
nregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
*new
*
check_contain
e
r_of: cont
a
i
n
er_of() doesn't
r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
nt
e
r
cr
e
ate check_list_local
.
h which is for untr
a
cked l
o
cal
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpente
r
locking: _
a
tomic_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: cleanu
p
open_file
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
add d
e
fault no_r
e
turn_funcs if no
p
r
oject i
s
s
p
e
cified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
upda
t
e s
m
a
tc
h
_data/ f
o
r
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
a
n Carpenter
*
new* check_acce
s
s_ok_math: potential
i
nt
e
ger ove
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
ente
r
h
o
oks: introduce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
enter
temporary hack to solve
c
r
a
shing bug in fs/r
e
is
e
rfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carp
e
nter
l
o
cking: add __raw_spin_un
l
ock_irq() functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpe
n
t
er
err_ptr_dere
f
: fix assignmen
t
s ins
i
de conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
D
a
n C
a
rpenter
locking:
add
arch_local_irq_save(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
an Carpenter
chec
k
_ty
p
e: warn about
kfree() vs
f
ree
_
net
d
ev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpent
e
r
t
yp
e
: improve handli
n
g of arra
y
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
extra: move some stuff into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
bu
f
_si
z
e
: oops
.
.
.
r
e
move
debug outp
u
t!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpenter
whitespace
_
only: d
o
n't
e
rror
o
ut
hand
l
ing
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*ne
w
* get_
u
ser_overflow: check
for integer overfl
o
ws
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
s
mat
c
h_db:
d
on't complain if the db do
e
s
n't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpente
r
buf_
s
i
z
e
: do cross funct
i
on
anal
y
s
is
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
*new* uncappe
d
_allo
c
: print places where th
e
u
ser
d
ec
i
des
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* s
m
atch_db: use
and sqlite database fo
r
c
r
o
ss
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
pa
r
am_mapper: update copyri
g
ht
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
D
an Carpenter
a
dd test-inspect
to
.
gitigno
r
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
s
m
a
t
ch_scrip
t
s
/
gen_expects_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
smatc
h
_data/kern
e
l
.
a
r
ray_boun
d
s: array boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n
C
a
r
penter
e
xpects_err_ptr: make
a
l
i
s
t
of functions
w
hich a
c
cept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
unwind: add more unwind funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
a
rpe
n
ter
u
pdate smatch_data
/
for
2
.
6
.
36-rc
2
(p
a
rt 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpente
r
overflow: fixup c
r
oss func
t
io
n
ove
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carp
e
nt
e
r
remove dead no
_
l
e16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Da
n
C
ar
p
enter
unwind:
a
dd more unwind funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Car
p
enter
r
emove
c
heck_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpente
r
Update smatch_data to 2
.
6
.
36-
r
c2 [
p
atch 1 of mor
e
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan C
a
rpen
t
er
kernel: conta
i
ner_of() re
t
ur
n
s
a n
o
n-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
pe
n
t
e
r
Introduc
e
ad
d
_macro_a
s
sign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Car
p
enter
fix
out o
f
me
m
ory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New functi
o
n
s returns
_
unsign
e
d
() and r
e
t
urns
_
pointe
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n Carpenter
*
new* check_info
_
leak
.
c
:
pla
c
es that
p
a
ss un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpent
e
r
*
n
ew*
check_return_enomem: complain about
r
eturning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Car
p
en
t
er
*new* platfor
m
_
device_put
(
) vs
p
l
atform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpent
e
r
unwind: literals higher than ze
r
o are not a
n
er
r
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
Carpenter
implied: only p
r
int the nr
_
ch
i
l
d
ren messages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
arpenter
u
nwind:
re
g
ister unwi
n
d functi
o
ns th
a
t unw
i
n
d
everyt
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwin
d
: update e
q
ui
v
alent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rpenter
e
xtr
a
: clean up unu
s
ed varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Carpenter
equi
v
:
update validati
o
n test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
e
x
tra:
handle WARN_ON(fun
c
(&set_thi
s
_pointer)
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
a
r
p
e
n
ter
b
uf_si
z
e: I
b
roke initializer
h
a
ndling by mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Ca
r
pente
r
oops
.
fix comp
i
le error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
er
buf_size:
r
emov
e
m
e
m
s
e
t()
a
nd memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n Ca
r
penter
i
m
plied_not_equal
:
ha
n
dle l
i
t
e
rals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
r
e
s
o
u
rce: crashing bug on incorrect in
p
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf
_
s
i
z
e
:
ignore dynamically s
i
zed array
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
enter
buf_size: add s
u
pport for
memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: add support for strndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Ca
r
penter
buf_size:
u
se
s
trcpy
(
) to determine the size o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpen
t
er
buf
_
s
i
ze: use
s
t
rn
c
py
(
) and friends
t
o se
t
t
h
e bu
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
buf_size: whitespa
c
e
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
a
rpenter
over
f
low: remove unuse
d
fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_si
z
e: use allo
c
_s
t
ate_num() instead of custom v
e
rsion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
buf_size: remove un
u
s
ed definiti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Ca
r
penter
ov
e
rflow: make a
r
r
a
y size
t
racking into a li
b
r
ar
y
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Car
p
enter
u
n
wind: add
p
ci_io
m
ap() an
d
pci_iounma
p
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
an Carpen
t
er
*new* check_kmalloc_
t
o_bu
g
on: d
o
n
'
t
c
a
l
l bug_on(
)
f
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
D
an
Ca
r
penter
*new* check_u
n
wind: che
c
k th
a
t
m
odu
l
e_
i
n
i
t function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Car
p
ente
r
core
:
proc
e
ss in
l
ine statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
flow: handle asm statements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n
C
ar
p
enter
Me
r
ge git://g
i
t
.
k
e
rnel
.
or
g
/pub
/
scm/dev
e
l/
s
pa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carp
e
nter
add ubifs_as
s
ert() to list of ass
e
r
t
mac
r
os that
call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Ca
r
pente
r
chec
k
_dm
a
: add a
check for foo
= kmalloc(s
i
z
e
of(
*
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Ca
r
penter
signed
:
unsig
n
ed variables
are all
o
wed to do math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
a
n
Carpenter
ov
e
rflow:
h
andle "i
f
(s
t
rlen(foo) < 1
0
) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpenter
o
v
erflow: add support f
o
r strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan
C
arpenter
leaks: replace check_m
e
mor
y
.
c wi
t
h a rewrite check_l
e
aks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
D
an Carpenter
get
_
variable
_
from_expr_comp
l
ex(
)
: return prope
r
symb
o
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpent
e
r
Makef
i
l
e:
small whitespac
e
c
h
ange
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
C
arpenter
memory: remove th
e
warnings
a
bo
u
t fre
e
d memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
Carpent
e
r
c
h
eck
_
free: create a separate check for
misusing freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
related
:
r
e
n
am
e
dinfo->equiv to dinfo
-
>related
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpent
e
r
c
o
nstraints:
s
h
u
f
fle things around a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carpenter
*new* script
s
/gener
i
siz
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan
Carpe
n
ter
type:
a
l
low the paramet
e
r t
o
be null for typ
e
_unsign
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpent
e
r
redo the
i
gnored_macros
s
tuff
properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
co
n
d
it
i
ons: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan
C
arpenter
eliminate some
new "statement has no effect"
f
als
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
an Carpent
e
r
get rid of get_next_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Da
n
C
a
rpenter
c
o
re: handle "foo = ({fr
o
b(); frob();
f
r
o
b()
;
1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
locking: a
d
d
spin_trylock_irqsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Ca
r
penter
fix crashing bug caused by the little endian check
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next