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 Carpente
r
*new* c
h
e
c
k_mac
r
os: find macro pre
c
edence bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan
Carpen
t
er
h
o
oks
:
add LO
G
IC_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
m
a
cro_table: tak
e
the file into
a
ccount
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpent
e
r
macro_
t
able: do not include smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flow: h
a
ndle logic things like:
foo(a
&&
a
-
>
bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpe
n
ter
signe
d
: comparing to liter
a
ls togethe
r
creates a false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
d
e
r
ef
_
check
:
r
emove the --
s
pam
m
y optio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpente
r
delete check_leaks
.
c:
Th
i
s
ch
e
c
k was
always worth
l
ess
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
wine: f
i
x
up
t
h
e no return functio
n
s a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpent
e
r
macro_t
a
ble
.
c:
replacement for i
n
_
m
acro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nter
smal
l
cleanup and a comment chan
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Da
n
Carpen
t
er
*new* c
h
eck
_
sn
p
rint
f
: using
t
he return va
l
ue
o
f
s
np
r
i
ntf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan
Carpenter
unuse
d
_return: print function
n
ame that was
i
g
n
ored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
p
e
nter
m
a
th: don't
pass n
e
g
a
t
ive num
b
ers as
a
bsolute ma
x
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpenter
impli
e
d: allow the kno
w
n part to be a
range list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Ca
r
p
e
n
t
er
math: fix
get
_
absolut
e
_
m
in/max
(
) for sizeof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
extra: make do_comparison() handle two v
a
riables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
pen
t
er
ranges: introduce free_r
a
nge_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Car
p
e
n
ter
ra
n
ges:
in
t
rodu
c
e possibly_
t
rue/false_range_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
ter
p
r
e
c
edence: don't com
p
lain
abou
t
i
f
foo is 0-
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpen
t
er
extr
a
: cleanup
:
renam
e
do_compari
s
on_r
a
nge(
)
=> do_compariso
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
penter
known_condition_true/false(): han
d
le exp
r
e
ssion
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan C
a
r
pent
e
r
*new* check_k
u
nmap(): co
n
fusion between kmap() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
D
a
n Carpenter
*new* smatch_scripts/unlocked_p
a
ths
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Da
n
Carpenter
flow: clean
u
p: make split_functio
n
() it's
own function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpen
t
er
deref_check: use in_macro(
)
to silence mo
s
t o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
a
n Ca
r
penter
math: introduc
e
get_absolute_m
i
n/max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
nter
math: cleanup: rename get_implied_single_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
enter
math: cleanup: shuffle some fu
n
cti
o
ns ar
o
und
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
a
rpenter
mat
h
: cleanu
p
:
get rid of the *discard thi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
math: cleanup: get rid of IMPLIED_
S
INGL
E
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpent
e
r
delete
c
h
eck_null_dere
f
.
c
a
nd
cle
a
n up v
a
lidatio
n
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
f
low: the next
s
tatem
e
nt should n
e
v
e
r 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
inconsistentl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
C
ar
p
e
nter
*new*
c
heck
_
no_ef
f
ect: print warn
i
ngs
stateme
n
t
s
th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Ca
r
penter
setup default modification
h
ooks in set_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
introduce
in_macro() w
h
ich returns
t
rue
if we're
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introduce: in_expr
e
ssi
o
n_stateme
n
t() an
d
ren
a
me get_block_
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan Ca
r
penter
churn: rename __split_
s
tatem
e
nts() => __spli
t
_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an
Carp
e
nter
ex
t
ra: handle i
+
+ and i += 2 b
e
tte
r
outside loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpe
n
ter
filter_
k
ernel_der
e
f_check
.
sh: print the
func
t
io
n
name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRING_HOOK for examini
n
g st
r
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpe
n
ter
*new*
check_ke
r
ne
l
.
c: handle tomoyo_m
e
mory_ok
(
) a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
n
t
er
core: f
i
x ha
n
d
ling of sw
i
tch sta
t
emen
t
s with unreacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpen
t
er
b
ail out earlier if functio
n
s ge
t
too di
f
ficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include sta
t
ic fu
n
c
t
i
ons in list of funct
i
ons which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpe
n
ter
*
n
ew* free
i
ng_
n
ull: cal
l
ing free for a var
i
able that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
p
e
nter
equiv:
call
r
emove_from_
e
quiv() on as
s
ignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Carpe
n
t
e
r
math: pr
e
ve
n
t divide by zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpenter
check_l
o
ck: add more loc
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpen
t
er
ne
w
:
c
heck_
p
roc
_
create() check for world
w
rit
a
ble proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
math: te
a
ch
smatch t
o
underst
a
n
d const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Ca
r
p
en
t
er
check_overf
l
ow: fix theore
t
ica
l
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: f
i
x problem
i
n handling select state
m
ent / O
R
in
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
cleanup: renam
e
s
m
_s
t
a
te
s
t
o
"
sm" instea
d
of
"state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
get_va
r
iable_from_
e
xpr(): if it involve
s
a number
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Car
p
enter
de
b
ug: print mor
e
useful information about condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: h
a
nd
l
e spin_trylock_ir
q
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
locking:
h
andle s
p
in_lock_irqsav
e
_nest
e
d(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ocking: handle raw_sp
i
n_un
l
ock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
penter
locking: make
"sometimes lock
e
d" me
s
sag
e
s de
p
end
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Mer
g
e br
a
nch 'devel
'
into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if a var
i
a
b
le is on
l
y equivale
n
t to itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
extra: use the
fake assignme
n
ts instead of the initia
l
iz
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpe
n
ter
equiv
:
n
ever set SMATCH_EXTR
A
v
alue
s
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
e
q
u
i
v: elimina
t
e bogus c
a
ll
t
o set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
i
ntr
o
d
u
c
e __smatch_de
b
ug_on(
)
and __smatch_debug_of
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make spinlock
_
irqsave()
w
ork for my con
f
ig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
penter
l
ock
i
ng: wh
i
te spa
c
e fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
l
o
c
k
ing: add more s
t
a
n
dard
l
o
ck
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Carpenter
check_l
o
cking
:
cl
e
an up list of kernel
l
ock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Ca
r
pente
r
han
d
le select
assigns: foo = a
? b :
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
core: fake cur
_
sli
s
t more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
pent
e
r
c
ore: rewrite se
l
e
ct statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
states: verif
y
that the stacks
a
re emp
t
y at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename fun
c
tio
n
s: __pop_foo() =>
_
_discard_f
o
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
e
nter
smatch_sta
t
es:
r
ename some f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
rel
e
ase
_
resour
c
e: Doh
.
I
t's looking for the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
fi
x
s
e
lect state
m
ent h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
cor
e
: cleanup
.
d
elete
fake
con
d
ition sta
c
k co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpent
e
r
core: make
f
ake cur_slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
arpen
t
er
slist: make
s
et_s
t
ate_st
a
c
k
(
)
r
e
tu
r
n
the new
s
m_s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pent
e
r
*
n
ew
*
check
_
release_resource
.
c: check that we r
e
lease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: spl
i
t
a
s
m clob
b
ers, inputs and o
u
tputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n C
a
rpenter
whi
t
e
_
spaceonly: allo
w
he
a
der files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new
*
strip_whites
p
a
c
e
.
pl: re
m
oves all the w
h
itespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Da
n
Carpenter
*new* check_
r
esource_size(): prod people to us
e
reso
u
rce_s
i
ze()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan C
a
rpenter
ext
r
a: assum
e
imp
o
ssib
l
e thin
g
s ar
e
impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
p
en
t
er
err_ptr: fix btrfs fa
l
se po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r
_
p
tr: handle when an err_ptr is
r
eassign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpe
n
ter
*n
e
w*
c
heck_db_info
.
c
pr
i
n
ts
out stuff t
h
at will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
cl
e
anu
p
: mo
v
e st
u
ff from smatch_extra
.
c to
s
match_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
w
hit
e
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
rpen
t
er
equiv
:
fix cras
h
ing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_o
v
e
r
flow: ma
l
loc() => __allo
c
_sm
a
tch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpen
t
e
r
smatch
.
c
: don't l
e
a
k th
o
se 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpen
t
er
assign
e
d_expr: fix me
m
ory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
ter
kernel
:
f
r
ee_are
a
()
does
n
't
call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
C
a
rpenter
*new*
che
c
k
_return
.
c:
co
m
plai
n
i
f
you don't
ch
e
ck the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
m
a
th: make
g
e
t
_
im
p
l
ied_value
(
)
w
ork for
pointer
s
b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next