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
*new* check_macros: find macro precedence bugs
2010-05-26
Dan
Carpenter
*new* check_macros: fi
n
d macro precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpen
t
er
hooks: add LOGIC_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n Carpenter
macr
o
_t
a
ble: take
the file into
account
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Car
p
enter
m
ac
r
o_table:
do not in
c
lude smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
f
l
o
w: hand
l
e logic
t
hings like: foo(a
&
& a->bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
signed: com
p
ar
i
ng
t
o l
i
t
erals together creates a
fa
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
Carpenter
d
e
re
f
_c
h
eck: remov
e
t
he
-
-spam
m
y option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an
C
a
r
p
ent
e
r
delete check_le
a
k
s
.
c: This
check was
a
lways w
o
rthles
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
wine: fixup the no re
t
urn functions a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
ma
c
ro_table
.
c: replacement
f
or
in_m
a
cro(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
a
n Carpen
t
er
small cleanup and a commen
t
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nter
*new*
c
h
e
ck_snprintf: u
s
ing
t
he re
t
urn value
o
f s
n
printf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Ca
r
p
ent
e
r
unused_return: print fu
n
ction
n
ame that
was ignor
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
m
a
th: do
n
't pass ne
g
ative num
b
e
rs as
a
bsolute
max for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
implied: allow the k
n
o
wn part t
o
be a range
l
ist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
math: fix get
_
abso
l
ute_min
/
max() for size
o
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
e
x
t
ra: make
d
o_compar
i
son() handle
t
wo variab
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
C
arpenter
ra
n
ges: introduce fr
e
e_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
rang
e
s: introduce poss
i
b
l
y_true/false_range_l
i
sts
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carp
e
nter
p
r
ece
d
en
c
e: don't complain about if foo is
0
-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
e
x
t
ra:
cleanup: rename do_comparison_range() => do_co
m
parison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
kn
o
wn_condit
i
on_true/false
(
): handle expression statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpe
n
ter
*
new* check_kunmap(): confus
i
o
n
bet
w
een kmap()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*ne
w
* smatch_s
c
ripts
/
unloc
k
ed_pat
h
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
D
an Carpenter
f
l
ow: cleanup: make
split_functio
n
() it's
o
wn functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
a
n Carpenter
deref_check: use i
n
_
m
a
cro(
)
to silence mos
t
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
mat
h
: introduce get_absolute_min
/
m
ax()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
math:
c
lean
u
p
:
rename ge
t
_im
p
l
ied_s
i
ng
l
e_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Ca
r
pen
t
er
math: c
l
ea
n
up: shu
f
fl
e
some
f
unctions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
mat
h
: cleanup:
get rid of the *dis
c
ard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup:
get
r
id
of IMPL
I
ED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
d
elete check_null_deref
.
c and cle
a
n up validation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
r
pent
e
r
flow: the next statement
s
h
ould nev
e
r
be the current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carp
e
nter
*new* check_
c
heck_deref
.
c: chec
k
ing for n
u
ll inconsistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* che
c
k_
n
o
_
e
f
fect:
print warnings s
t
atements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpente
r
setup default modificati
o
n hooks in set_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
introduce in_macro() wh
i
ch retur
n
s true if
w
e'
r
e
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan
Carpe
n
ter
introdu
c
e: in_expression_statement()
a
nd ren
a
me get
_
blo
c
k_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
an
Carpenter
ch
u
r
n
:
rename __split_statem
e
nts
(
)
=
>
_
_spl
i
t
_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
e
x
t
r
a: handle
i++ and i
+
= 2 better
outside
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpenter
filter_kernel_deref_check
.
sh: p
r
int the functio
n
name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
Add ST
R
ING
_
HOOK for exami
n
ing strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carp
e
nter
*new* chec
k
_
kernel
.
c: h
a
n
dle t
o
moyo_memory_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
co
r
e:
fi
x
handl
i
ng o
f
switch statements with unre
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
bail ou
t
earlier if
fun
c
tions get too diffic
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
i
nclude static functio
n
s in list of func
t
ions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_nu
l
l
:
call
i
ng free for a v
a
riable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
pen
t
er
e
q
u
i
v
:
call
r
emove
_
from_equiv() on assi
g
nment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math: prevent
d
i
vide by z
e
ro bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
an Carp
e
nter
c
h
ec
k
_lo
c
k
: add
mor
e
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new: chec
k
_proc_create() check f
o
r wor
l
d w
r
itable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpenter
math: tea
c
h smatch to understand const valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
ch
e
ck_ove
r
flow: fix theoretical
m
emo
r
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: fix problem in
h
andling
select statement / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: rename s
m
_states t
o
"sm"
instead of "s
t
ate"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
get_var
i
a
ble_from_
e
xpr(): if i
t
involves a n
u
mber it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
a
r
p
enter
debug: print more usefu
l
i
nforma
t
i
o
n about condi
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Ca
r
penter
loc
k
ing: handle spin
_
trylock
_
irq(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle spin_lock_
i
r
qsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpenter
locking: handl
e
raw_spin_unlock_irqrestore(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
locking: make
"
s
o
meti
m
es locked"
mess
a
ges depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Car
p
enter
Merge b
r
an
c
h '
d
evel' into
d
ev
e
l_e
q
ui
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
equiv
:
if
a
variabl
e
is o
n
ly
e
q
u
ival
e
nt
t
o
itself s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use
t
he fa
k
e
a
ssignme
n
ts instead of the initial
i
z
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an
Carpenter
equiv
:
nev
e
r set
S
MATCH_EXTRA values
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpente
r
equiv: elimina
t
e
b
ogus call to
set
_
state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
intr
o
duce __s
m
atch
_
d
e
bug_o
n
()
and
_
_sm
a
tc
h
_de
b
ug_o
f
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
l
o
cking:
make spinlock
_
irqsave(
)
w
o
rk
f
or my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
o
cking:
w
h
i
te space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
locking
:
add more stand
a
rd l
o
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Carpen
t
e
r
check_loc
k
ing: cl
e
an
up list of kernel lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Car
p
en
t
e
r
handle
sele
c
t assigns: foo = a ? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: fake c
u
r_slist mo
r
e completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
nter
core: rewrite select s
t
atemen
t
han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
states
:
verify that th
e
stacks are empty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
Ren
a
me
function
s
: __pop_foo()
=
> __discard
_
f
o
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpen
t
er
s
m
atch_states: rename some functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
te
r
release_res
o
urce: Doh
.
I
t
'
s
looking for t
h
e wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
fix
select statement
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpen
t
er
co
r
e
:
cleanup
.
d
elete
f
a
k
e
c
o
ndition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
c
o
re: make fake c
u
r_sli
s
ts s
t
ac
k
ab
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carp
e
nter
slist: make set_stat
e
_stack() return th
e
ne
w
s
m_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpente
r
*new*
c
heck_release_resource
.
c: che
c
k that
w
e r
e
lease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan
Car
p
enter
flow: split
asm cl
o
bbers,
i
nputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpent
e
r
white_s
p
aceonly: allow header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
e
r
*new*
stri
p
_whitespace
.
p
l
:
removes
all th
e
whites
p
ace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpente
r
*new
*
check_
r
esource_
s
ize(): prod peo
p
le to use resource_size(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan C
a
rpen
t
er
extra: assume impossib
l
e things are impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n
Carpent
e
r
e
r
r_ptr:
f
ix btrfs false
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpe
n
ter
err_
p
t
r
:
handle when an err_ptr is rea
s
signed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
*new
*
c
heck_db_
i
n
fo
.
c
p
r
ints out stuff that
w
ill be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpen
t
er
cleanup: move stuff from
smatch
_
extra
.
c to smatch
_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
a
rpenter
whitespace chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
equiv: fix crashing b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
c
h
e
c
k_ov
e
r
flow: malloc() => __all
o
c
_
smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpen
t
er
smatch
.
c: do
n
't l
e
ak tho
s
e 1
0
bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
rpenter
assigned_ex
p
r: f
i
x memo
r
y leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel: free_area() d
o
e
s
n
'
t
call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
an Carpen
t
er
*new*
chec
k
_
return
.
c: com
p
la
i
n if y
o
u do
n
't check
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: make
g
et_impl
i
e
d_value() wo
r
k f
o
r
p
ointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next