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* ch
e
c
k_macros: find macro p
r
ec
e
dence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
an
Ca
r
penter
hooks:
add LOGIC_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
m
acro_t
a
ble: take the file into accoun
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
Carpen
t
er
macro_table
:
do not include smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
C
arpen
t
er
f
l
ow: handle logic thi
n
g
s
like: foo(a
&& a->bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Ca
r
pe
n
ter
s
i
gne
d
: comparing t
o
li
t
erals toge
t
her cr
e
ate
s
a f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpenter
deref_check: rem
o
ve the
--spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpe
n
ter
d
elete check
_
le
a
ks
.
c: This chec
k
w
a
s alw
a
y
s
wort
h
les
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
arpent
e
r
wine: fixup
t
he n
o
return
funct
i
on
s
a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpe
n
ter
macro_table
.
c
:
replacement for
i
n_m
a
cro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
sma
l
l
c
leanup and a
comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
arpen
t
er
*new* check_sn
p
ri
n
t
f
: u
s
ing the return
value
of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused
_
return
:
p
rint function name
that was
ignore
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Car
p
ente
r
math: don't pas
s
negative numb
e
rs
a
s abso
l
u
t
e
max for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
impl
i
ed: all
o
w the known part t
o
be a rang
e
list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
penter
math: fix g
e
t_a
b
solute_min/max() for sizeo
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an
Carp
e
nter
extra: make do_c
o
mparison() h
a
ndl
e
two variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
ranges:
introduce free_range_li
s
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
ranges: introduce possibly
_
tru
e
/fals
e
_range_l
i
s
t
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carp
e
nter
p
r
e
c
e
d
e
nce: don'
t
c
o
mplain
a
bout if f
o
o
is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
extra: cleanup: rename
do_compariso
n
_range()
=
>
do_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
known_cond
i
t
ion_true/false(): handl
e
e
x
pr
e
s
s
i
o
n statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new* ch
e
ck_kunmap(
)
:
c
onf
u
sion be
t
ween kmap(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpent
e
r
*n
e
w* smatch_scripts/unl
o
cked_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Ca
r
pent
e
r
flo
w
: c
l
e
a
nup: make sp
l
it_func
t
ion()
it'
s
o
wn function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
d
e
ref_che
c
k: use in_macro() to silence most
o
f
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
te
r
math:
i
ntroduce get
_
absolute_min/m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
mat
h
: cleanup: rename
g
e
t
_implied
_
singl
e
_
f
uzzy_m
a
x
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpen
t
e
r
math
:
cle
a
nu
p
: shuffle s
o
me
f
unctions
a
round
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
ma
t
h
:
cleanup: get r
i
d of
th
e
*
discard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpent
e
r
math:
c
leanup: get rid
o
f IMPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
delete check_
n
ull_deref
.
c
an
d
clean u
p
validati
o
n
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpenter
flow: the n
e
xt
statement
s
hould ne
v
er be the current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpent
e
r
*new* chec
k
_c
h
eck_dere
f
.
c: ch
e
ck
i
n
g
for
n
ull inconsistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
an Car
p
e
n
ter
*
new
*
check_no_eff
e
ct: print warnings statements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpente
r
set
u
p
d
e
f
ault modific
a
tion hooks i
n
se
t
_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
C
arpe
n
ter
introduc
e
i
n
_
macro() which
r
etu
r
ns
true if
w
e're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpent
e
r
i
ntroduce: in_
e
x
p
ression_state
m
ent() and
ren
a
me get_block_t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
chu
r
n
: ren
a
me
__spl
i
t
_st
a
tem
e
nts
(
) => __split
_
stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
extra:
handle
i
+
+ and i += 2 bett
e
r outs
i
de
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kernel
_
deref_che
c
k
.
sh: print the function names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRING_H
O
OK for examin
i
ng str
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
*
n
e
w*
c
h
ec
k
_kern
e
l
.
c: handle tomo
y
o
_
mem
o
ry_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an C
a
rpenter
core:
f
ix handling of
switc
h
sta
t
ement
s
with
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
p
enter
bail ou
t
earlier if fu
n
c
t
io
n
s get too difficul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Ca
r
penter
include
s
t
at
i
c functions
i
n li
s
t of functions w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n
Carpenter
*new
*
fr
e
eing_n
u
ll:
c
a
lli
n
g free f
o
r a variab
l
e
t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Car
p
ent
e
r
equiv: call remove_fr
o
m_equiv()
o
n assig
n
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
an Carpenter
ma
t
h: prevent divide
b
y ze
r
o bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_lock
:
add more
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
D
an Carpenter
new
:
ch
e
c
k
_
p
r
oc_create()
c
heck for world writ
a
ble
p
roc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpenter
m
a
th: teach sm
a
t
ch to un
d
erstan
d
const va
l
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overflow: f
i
x th
e
oreti
c
al me
m
ory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpe
n
t
e
r
core: fix p
r
oblem in
h
a
n
dl
i
ng select statement /
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Car
p
e
n
ter
cleanup: re
n
ame sm_
s
tates to "s
m
"
i
ns
t
ead of "sta
t
e"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arp
e
nter
ge
t
_
v
a
riable_from_expr(): if
it invol
v
es
a
number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpente
r
debug: print mo
r
e usefu
l
inf
o
rmation about conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
locking: han
d
le
spin_tr
y
lock_
i
rq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
loc
k
ing: han
d
l
e
spin_
l
o
c
k_irqsave
_
nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
locking: hand
l
e raw_spin_unlock_irqrestor
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
locking: make "so
m
etime
s
locked" mess
a
ges depend o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
Merge bra
n
ch 'devel' into dev
e
l_
e
quiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
eq
u
iv: if a
v
ar
i
able is only e
q
uiv
a
lent to i
t
self s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
extra:
u
se
t
h
e
fake ass
i
gnments i
n
s
t
ead of
t
he initia
l
iz
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpent
e
r
equiv:
n
ev
e
r set SMA
T
CH
_
E
X
TRA valu
e
s
d
i
r
e
ctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpente
r
equ
i
v
:
eliminate bogus call
to s
e
t_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
int
r
oduce __s
m
atch_debug_on() and __smatch_debu
g
_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
penter
l
o
cking:
m
ake spin
l
ock_irqsave() work for my
c
o
n
f
ig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
penter
lock
i
n
g
: white spac
e
fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Carpente
r
locking: add more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpent
e
r
check_lockin
g
: clean up li
s
t
of kernel
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Carpenter
handle s
e
lect assigns:
f
o
o =
a
? b
:
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
cor
e
: fake cur_slist more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rp
e
nte
r
core: re
w
rite
s
elect
s
tatemen
t
ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states: ve
r
ify that the s
t
ac
k
s are
empty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename functions: __
p
o
p
_foo()
=
> __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
s
m
atch_states: ren
a
me some functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpente
r
r
e
lease_resou
r
c
e:
Doh
.
It's l
o
oking f
o
r the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpe
n
ter
fix
s
elect statement hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
core: cleanup
.
de
l
ete fake condi
t
i
o
n stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
co
r
e:
make fa
k
e
c
ur_slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pent
e
r
slist: make set_state_
s
tack() return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new
*
check_release_
r
eso
u
rce
.
c
:
check that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
D
an Carpenter
flow:
s
p
lit asm clob
b
ers, i
n
puts and output
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Carpenter
wh
i
t
e_spaceonly: allow head
e
r files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*n
e
w
*
strip
_
white
s
pace
.
pl: rem
o
ves all the w
h
itespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
penter
*new* check_resource_size(): prod pe
o
ple to use resource_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpe
n
ter
extra: assume impossible thing
s
are impo
s
si
b
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpenter
e
r
r_ptr: f
i
x btr
f
s false p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpenter
err_ptr: handle when
an err_ptr is
r
e
as
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
*new*
check_db_info
.
c
p
r
ints
o
ut s
t
uff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Ca
r
penter
cleanup: move stuff fro
m
smatch
_
extra
.
c to
smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
wh
i
tes
p
ace chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equ
i
v: fi
x
crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
p
e
nter
check_over
f
lo
w
:
mal
l
oc() => __
a
l
l
oc_sm
a
t
ch_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nt
e
r
smatc
h
.
c: don't l
e
a
k
those 10 byte
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
a
ssigned_expr: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
ker
n
el:
free_area() doesn't c
a
l
l kfr
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new*
c
heck_return
.
c
: complain if you don
'
t check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make get_implied_value
(
)
work
for
pointers bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next