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
D
a
n Carpente
r
*
n
ew* c
h
eck_macros: find macro precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n Carpenter
hooks: add LOGIC_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n Carpenter
ma
c
r
o_tab
l
e: tak
e
the file into a
c
coun
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
macro_table: d
o
not include smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
e
r
flow: handle logic things
like: foo(a && a
-
>bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an Carpenter
signed: co
m
paring to literals
t
og
e
ther creates a fa
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Car
p
enter
d
e
ref_ch
e
ck: remov
e
t
he --spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
d
e
lete check_leak
s
.
c: This check
w
as always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n
Carpen
t
er
w
i
ne: fixup
t
he no retu
r
n
functions a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
macro_tabl
e
.
c:
r
epl
a
cem
e
nt for in_macro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan C
a
rpenter
small c
l
e
anup and a comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpent
e
r
*new* che
c
k_snprintf
:
using the
r
e
t
ur
n
value of snprin
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_re
t
urn: print func
t
ion
name that was ignored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpente
r
math: do
n
'
t
pass negative n
u
mbers
a
s a
b
solu
t
e max
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpen
t
er
impl
i
ed: allow the kn
o
w
n
part t
o
be a
range list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math:
fix get_abso
l
ute_mi
n
/max() f
o
r
s
izeof(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Ca
r
p
enter
extra
:
make do_comparison() handle tw
o
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nter
range
s
: introdu
c
e
free_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
C
a
rpenter
ran
g
e
s
:
i
ntroduc
e
possi
b
ly_true/fal
s
e_range_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n
Car
p
e
nter
precede
n
ce: don't complain about if
foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpente
r
extra:
cleanup
:
rename do_c
o
mparison_range() =
>
d
o
_compariso
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
kn
o
wn_condition_true/false(
)
: handl
e
exp
r
ession statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Da
n
Carpen
t
er
*
n
ew* check_kunm
a
p()
:
confusion between kmap
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new* smatch_scripts/u
n
locked_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan
Carpenter
flow: c
l
e
anup: make
sp
l
it_function() i
t
's own funct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
an Carp
e
nter
deref_check: use in_macro(
)
to silence mo
s
t of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
math: introduce get_
a
b
solute
_
min/max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
e
n
ter
math:
cleanup: rename g
e
t_imp
l
ied_sin
g
le_fuz
z
y_m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
m
ath: cleanup
:
shu
f
fle some
f
unctions aroun
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
e
r
m
a
t
h: cleanup: get rid
o
f the *discard thi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
a
r
pen
t
er
math: cleanup: get r
i
d of IMPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
de
l
ete check_n
u
l
l_deref
.
c and clean up va
l
i
dation
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow:
t
he next state
m
ent shou
l
d never be the current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* c
h
eck_
c
h
e
ck_deref
.
c: che
c
king for null
inco
n
sistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpe
n
t
er
*new* ch
e
ck_no_eff
e
ct: print w
a
rnings statements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup default modification hooks
in set_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
C
a
r
p
e
nter
introdu
c
e in_macro()
wh
i
ch re
t
u
rns
t
rue if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Car
p
e
n
ter
introduce
:
i
n_expre
s
sion_
s
tatement() and rename get_block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n Car
p
en
t
e
r
churn:
r
en
a
me
_
_split_statements() => _
_
s
p
lit_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
extra: handle i++ and i +=
2
bett
e
r outside loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kern
e
l
_
deref_
c
hec
k
.
sh: prin
t
the function names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nter
Add STRING_HOOK
f
o
r
examining stri
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Carpe
n
t
e
r
*new* check_kern
e
l
.
c: handle
tomoyo_memory_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core
:
fix
h
an
d
ling of swi
t
ch
s
tatements wi
t
h unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
er
b
a
i
l
o
ut earlier if functions get too difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
er
include static functions in list of f
u
nctio
n
s which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carpenter
*
new* fr
e
eing_null: calling free for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpen
t
er
eq
u
i
v
: ca
l
l remove_from_equiv() on as
s
ignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math: pr
e
vent d
i
vide by zer
o
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
r
p
e
nter
ch
e
ck_loc
k
:
a
dd more lock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Ca
r
pente
r
ne
w
: che
c
k_p
r
oc
_
c
reat
e
() check for
w
o
r
ld writable
p
roc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpe
n
ter
math: teach
s
match to
unders
t
and c
o
nst
v
a
l
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
chec
k
_overflow: fix
theore
t
i
c
al memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
an
Ca
r
pente
r
core: f
i
x problem in handling select stat
e
m
ent /
O
Ring
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup:
re
n
ame sm
_
states
t
o "sm" ins
t
ead of
"
sta
t
e"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_variab
l
e_from_expr()
:
if it i
n
volves a number
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
er
debug: pr
i
nt more use
f
ul informatio
n
ab
o
u
t
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: h
a
ndle
s
pin_t
r
ylo
c
k_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpe
n
ter
locking
:
handle spin_
l
ock
_
irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpente
r
locking: h
a
ndl
e
raw_spin_
u
nlock_irq
r
e
store()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
e
nter
locking: make "sometimes locked" messages depend
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
ar
p
e
n
ter
Merge branch
'
de
v
el' into devel_equi
v
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpenter
equiv: if a v
a
riable is
only equi
v
alent to itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the fake assignments instead
of the
initializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpen
t
er
e
qui
v
:
n
e
v
er se
t
SMATCH
_
EXTRA values direc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
n
ter
equi
v
:
e
limin
a
te bogus call t
o
set_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an C
a
r
pent
e
r
introduce __
s
match_debug_on() and __smatch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make s
p
inlock_
i
rqsave() work for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
ter
locking:
w
hite
s
p
a
ce fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: ad
d
more s
t
a
ndard loc
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Car
p
enter
check_locking: clean up list
o
f kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpent
e
r
h
an
d
le s
e
lect
a
ssigns
:
foo = a ?
b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
pe
n
ter
core: fake
c
u
r
_s
l
ist more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
core: rewrite select statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
s
tates
:
v
erify tha
t
t
h
e
s
t
a
cks
are e
m
pty at the
e
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
t
er
Rename functio
n
s
: __p
o
p_fo
o
(
)
=
>
__discard_foo(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
s
match_states: rename some functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
releas
e
_re
s
o
u
rce
:
Doh
.
It's look
i
ng for
t
he w
r
on
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
fix se
l
ect
s
tatement handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpente
r
cor
e
:
cleanup
.
delete fake cond
i
tion stac
k
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
core: mak
e
fake cur_s
l
ist
s
st
a
ckable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
sl
i
st
:
m
ake set_sta
t
e_s
t
ack() return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Car
p
ent
e
r
*new* chec
k
_
releas
e
_reso
u
rce
.
c: check
t
hat
we
r
elea
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Ca
r
pe
n
t
er
f
l
o
w: split asm clobbers,
i
npu
t
s
and
o
utputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carp
e
nter
white_spaceonly: allow hea
d
er files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
penter
*new
*
stri
p
_whitespace
.
p
l: removes
all
the
whi
t
espace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
penter
*new* check_resource_s
i
ze(): prod pe
o
ple to use resource_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan C
a
rpenter
e
x
tra: assume
i
mpossible th
i
n
g
s
are
impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: fix
b
t
r
fs
f
a
l
se positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: handle wh
e
n
an err
_
ptr is reassigne
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpe
n
ter
*ne
w
*
c
heck_db_info
.
c prints out stuff that wi
l
l be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpent
e
r
cleanup: move stuf
f
f
rom sma
t
c
h
_extra
.
c to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
whitespace c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
equiv
:
fix crashing
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
chec
k
_
overflow: malloc() => __alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpen
t
er
smatch
.
c: do
n
't leak th
o
se 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_expr: fi
x
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Car
p
ent
e
r
kernel:
f
ree_
a
rea() doe
s
n't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: com
p
lain if you do
n
't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpe
n
te
r
math: make
g
et
_
implied
_
value() work for point
e
rs better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next