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 Carp
e
nter
*new* chec
k
_
macros: find macro
p
recedence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
D
an Ca
r
penter
hooks: add LOGIC_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n Carpent
e
r
macro_table: tak
e
the file
i
nto
accoun
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpent
e
r
ma
c
ro_table:
d
o
no
t
i
n
clude sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
r
p
enter
flow: hand
l
e
log
i
c things like:
f
oo(a && a->bar)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
e
r
signed: compari
n
g to literals t
o
gether cre
a
tes a false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpente
r
dere
f
_che
c
k:
remove the --spammy
optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpe
n
te
r
delete check_leak
s
.
c: This check was always wor
t
hle
s
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
w
ine: fixup the no return functio
n
s a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Car
p
en
t
er
macro_table
.
c: replacemen
t
for
i
n_macro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nt
e
r
small
cle
a
n
up and a comment c
h
ange
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Ca
r
p
enter
*n
e
w
* c
h
eck_snprintf
:
u
sing the r
e
turn value
o
f snpr
i
ntf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Ca
r
penter
unused
_
r
e
tu
r
n: print f
u
nc
t
io
n
n
a
me
that was i
g
nored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
m
a
th: don
'
t pass
n
egative numbers
a
s absol
u
t
e
m
ax
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpen
t
er
implied: allow the known part to be a range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
e
n
ter
math: fix
g
et_abs
o
lute_min/max
(
) for
sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpente
r
ex
t
r
a
:
m
ake do_comparison()
h
a
ndle tw
o
variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
ranges: introduce
free
_
range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
ente
r
ranges: introduce possibly
_
tr
u
e/false_range_lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan C
a
rpenter
preceden
c
e: do
n
't complain
ab
o
ut if foo is
0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
ter
e
xtra: cleanup: rename do_comp
a
r
ison_rang
e
() => do_
c
omparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
kn
o
wn_condit
i
on_true/fal
s
e(): handle expression stat
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
D
a
n
Carpenter
*n
e
w* check_kunmap(): confus
i
on be
t
ween k
m
a
p
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*ne
w
* smatch
_
sc
r
i
p
ts/unlo
c
ked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Car
p
enter
fl
o
w
:
cl
e
anup
:
make split_fu
n
ction
(
) it's ow
n
fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpente
r
deref_check:
u
se in_mac
r
o() to
sile
n
ce mo
s
t of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carp
e
n
t
er
math: introduce ge
t
_absolute
_
min/
m
ax()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
mat
h
: cl
e
anup:
r
e
name get
_
im
p
lied_sin
g
le_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arp
e
nt
e
r
ma
t
h:
c
l
eanup: shuffle some functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
ar
p
enter
math: cleanu
p
:
g
e
t rid of th
e
*
discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an
C
arpenter
math: cl
e
anup: get rid
of IM
P
LIED
_
SI
N
G
L
E
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
d
e
l
ete che
c
k_n
u
ll_der
e
f
.
c and cle
a
n up va
l
ida
t
ion/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow: the next statement should
n
ever be the current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
*
new* check_check_deref
.
c: checking for null inconsiste
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpenter
*new* ch
e
ck_no_effect:
print warnings s
t
atements
t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpenter
s
etup de
f
ault modifica
t
ion hooks i
n
s
e
t
_true_false_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
in
t
ro
d
uce in_macro() w
h
ich return
s
t
r
ue if w
e
're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
intro
d
uce: in_expres
s
ion_s
t
a
tement()
a
nd renam
e
get_blo
c
k_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpe
n
t
e
r
chu
r
n: renam
e
__spl
i
t
_
s
tatements() =>
__split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
pente
r
extra: ha
n
dle i++ an
d
i
+= 2 better outside
lo
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
f
il
t
er_kerne
l
_d
e
re
f
_ch
e
ck
.
sh: print
th
e
f
u
nction
n
ames
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
Ad
d
STRING_
H
OOK fo
r
examining str
i
ng
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*new*
c
heck_kernel
.
c: handle t
o
moyo_memory_
o
k()
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
Carpenter
core:
fix handling
o
f switch statement
s
with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an
Carpenter
bail out
e
arli
e
r
if func
t
ion
s
get too dif
f
icult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpenter
incl
u
de static functions in list o
f
f
u
n
cti
o
ns which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* fre
e
ing_null: ca
l
ling
f
ree for a variable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: c
a
ll
re
m
ove_fro
m
_equiv() on
a
ssign
m
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carp
e
nter
math:
p
reven
t
divide by zero
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpent
e
r
check_lock: add more
l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
n
ew:
check
_
proc_cr
e
ate() c
h
eck
for
world writ
a
ble proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nte
r
m
a
th
:
teach sma
t
c
h to understand const values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpente
r
check_overflow: fix theoretical memory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
c
o
r
e
: fi
x
pr
o
blem in
handling
select
s
tat
e
ment / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an C
a
rpenter
clea
n
up: renam
e
sm_
s
tates to
"
sm" i
n
stead
o
f "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rp
e
nter
get_varia
b
le_from_e
x
pr(
)
: if it involves a n
u
mber i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
d
ebug: pri
n
t more usef
u
l
inf
o
rmation about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
rpe
n
ter
locking: handle
s
pin_trylock_
i
rq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
king: handle sp
i
n
_
l
o
c
k_irqsa
v
e_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
o
ckin
g
: hand
l
e raw_spin_unlock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: make "sometimes l
o
cked"
mes
s
ages depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carpenter
Merge b
r
anch 'devel' into
d
evel_equi
v
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpent
e
r
e
quiv: if a variable
is only equivalen
t
to
i
ts
e
lf set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
e
x
tra
:
use the fake assignments
i
nste
a
d of th
e
initiali
z
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
equ
i
v: neve
r
s
e
t SMA
T
CH_EX
T
RA
v
alues directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: eliminate bogus call to set_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
e
n
ter
intro
d
uce
_
_smat
c
h_d
e
bug_on()
a
nd
_
_smatch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpen
t
er
locking:
make spinl
o
ck
_
irqs
a
ve
(
) wo
r
k for my conf
i
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
r
penter
locking: white space
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: add more standar
d
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_l
o
cking: clea
n
up list of kernel lo
c
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
h
a
ndle
s
e
lect 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_
s
l
i
st more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Ca
r
p
e
nte
r
core: rew
r
ite select statement handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
states: verify that the stacks are
e
mpty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename
f
u
nct
i
ons: __
p
op_foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpen
t
er
s
m
atch_st
a
tes: rena
m
e som
e
fu
n
ctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
ent
e
r
release_resource: Doh
.
It's looking
for
t
he wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
fix select st
a
tement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
c
o
re:
c
leanup
.
delete fake co
n
dit
i
on stac
k
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
core: make
fake cur_slists stack
a
bl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make set_state_stack(
)
retu
r
n the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpente
r
*new* check_re
l
ease_resourc
e
.
c
:
check that
we re
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpent
e
r
flow: split asm
clobbe
r
s
,
i
np
u
ts and o
u
tputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_s
p
aceonl
y
:
allow he
a
der files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
an Carpenter
*new* strip_whitespa
c
e
.
pl: remov
e
s a
l
l th
e
whitesp
a
ce
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpe
n
ter
*new* check_resou
r
ce_size
(
): prod people to us
e
resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpen
t
er
extra: assume impossib
l
e
things are im
p
ossi
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr:
f
ix b
t
rfs false po
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpente
r
err_ptr: handle wh
e
n
an err_ptr is re
a
ssi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
*n
e
w
*
check_db_in
f
o
.
c prin
t
s
o
ut stuff tha
t
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
n
t
er
cleanup: mo
v
e stuff fro
m
smat
c
h_extra
.
c to s
m
atch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
whites
p
ace chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
equiv: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpe
n
ter
check_overflow: mallo
c
() => __allo
c
_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
smatch
.
c: do
n
't leak
those 10 byt
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assign
e
d
_
e
xpr: fix memory
l
e
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpenter
kernel:
free
_
ar
e
a() d
o
esn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpen
t
er
*
n
ew* check_return
.
c: complain if you d
o
n't chec
k
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
ma
t
h: make get_
i
mplied_value() work for pointers
b
et
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next