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
deref_check: remove the --spammy option
2010-05-22
Dan Carpenter
d
e
ref_che
c
k:
remove the
-
-spammy option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
dele
t
e check_leaks
.
c
: Th
i
s check was alwa
y
s worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
w
i
ne: fixup the no ret
u
rn functions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Carpen
t
e
r
m
acro
_
table
.
c: replacement for in_ma
c
ro
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan
Carpent
e
r
small cleanup
and a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
arpente
r
*new* ch
e
ck_snprintf:
using the return val
u
e
o
f snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan
Carpenter
un
u
s
ed_re
t
urn: print function n
a
me
t
hat was ign
o
r
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpente
r
math: d
o
n't pass negative nu
m
bers
as absolute max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
implied:
a
llo
w
the kn
o
wn part t
o
be
a
range
list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
m
a
th: fix
g
e
t
_absol
u
te_min/max()
for s
i
zeof
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
extra: m
a
k
e
do_comparison(
)
han
d
le two
v
ariables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpent
e
r
ra
n
ges: introd
u
ce fre
e
_range_list(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpenter
ranges: introduce
pos
s
ibly_true
/
fa
l
se_range
_
l
i
sts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Ca
r
pente
r
precedence: don'
t
complain about if foo i
s
0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpen
t
er
extra: cleanup: rename do_compa
r
i
son_range(
)
=> do_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an Car
p
enter
kno
w
n_conditi
o
n_tr
u
e/fals
e
():
ha
n
dl
e
expression state
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Da
n
C
arpente
r
*
new* ch
e
ck_
k
u
n
map():
conf
u
si
o
n bet
w
een kmap(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
D
a
n Carpenter
*
n
ew* smatch
_
scripts
/
unlocked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow
:
cleanup: make
split_function() i
t
's own f
u
nction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
arpenter
d
eref_ch
e
ck:
u
se
i
n_m
a
cro(
)
to silence
most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Ca
r
penter
math: introduce get_absolu
t
e_m
i
n/ma
x
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpente
r
m
ath: cleanup: ren
a
me
g
et_implied_singl
e
_
f
uzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpen
t
e
r
math: cl
e
a
n
up: shuff
l
e some
functio
n
s aro
u
nd
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
a
rpenter
math
:
cleanup:
g
e
t
rid of t
h
e *disca
r
d thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math
:
clea
n
u
p:
g
et rid of I
M
PLIED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpent
e
r
delete check_null_deref
.
c and
c
le
a
n up vali
d
ation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpen
t
er
flow: the next st
a
tement should never
b
e th
e
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpenter
*new* chec
k
_check_deref
.
c
: check
i
ng for null in
c
o
n
sistently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*ne
w
* chec
k
_no_effect: pr
i
n
t wa
r
ni
n
gs statements t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
e
n
t
er
setup d
e
fault m
o
d
i
f
i
cation ho
o
k
s
in set_true_fa
l
se_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpe
n
t
e
r
introduce in_m
a
cro() whic
h
returns true if we
'
re in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan C
a
r
p
enter
i
n
t
rodu
c
e: in_expression_statement() and
r
e
name
g
et_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan
C
arpenter
churn: re
n
ame __split_stat
e
ments() =>
_
_split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nt
e
r
extra: handl
e
i
++ an
d
i
+= 2
bet
t
er ou
t
s
i
d
e loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
filter_
k
ernel_deref_chec
k
.
sh: print the function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
Add STRING_H
O
OK for examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
C
a
rpenter
*ne
w
* ch
e
c
k
_
k
e
r
nel
.
c: handl
e
tomoy
o
_mem
o
ry_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core: f
i
x han
d
ling of sw
i
tch stateme
n
ts with unreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
bail o
u
t earlier if func
t
ions
get too difficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpenter
inclu
d
e
s
tatic functions in list of func
t
i
o
ns
w
hich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
penter
*
n
ew* fr
e
eing
_
nu
l
l
:
calling free for a
v
a
r
iable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Carpenter
equiv:
c
all remove_from_equiv() on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
penter
math: prevent divide by zero 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
Dan Carp
e
n
t
er
new: c
h
ec
k
_
p
roc_create() check for wo
r
ld writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carp
e
n
t
er
math: teach
s
match to under
s
tand const val
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
ch
e
ck_overflow: fix
theoreti
c
al memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Ca
r
penter
core
:
fix prob
l
em in
h
a
ndling select
s
tatem
e
nt /
ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpente
r
cleanup: rename
s
m_sta
t
e
s
to "sm"
instead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
rpe
n
t
er
get_var
i
ab
l
e_from_ex
p
r(): if it inv
o
lves a
n
umber it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debug:
print more useful information about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpe
n
ter
l
o
ck
i
ng: handle spin_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
ent
e
r
locking: handle sp
i
n_
l
ock_i
r
qsave_ne
s
ted()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an
Carpent
e
r
locking:
hand
l
e raw_spi
n
_unlock_irqrestor
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locki
n
g: make "sometimes locked" messages d
e
pend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
Merge bran
c
h 'devel' into
d
evel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if a variable is o
n
ly equiva
l
ent t
o
itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
e
n
ter
extra: us
e
the fake assignments in
s
te
a
d
of the i
n
itializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
r
penter
equiv: never set SM
A
TC
H
_EX
T
RA
v
alues di
r
e
ctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
equiv: el
i
minate bogus call t
o
set_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
C
arpenter
i
n
troduce __smatch_debug_on()
a
nd __smatch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n
C
arpenter
lo
c
king:
make
s
pinlock_irqsa
v
e() work for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
rpenter
locki
n
g: white space fi
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpen
t
e
r
locking:
a
dd m
o
re st
a
n
d
ard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
arp
e
nter
c
heck_l
o
c
k
i
ng: clean up li
s
t of kernel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpenter
handle select assigns: foo = a ? b :
c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpen
t
er
core: fak
e
cur
_
slist mo
r
e
com
p
letely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arp
e
nt
e
r
c
o
re
:
rewr
i
te
s
elect statement ha
n
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
state
s
: verify that the st
a
cks are empty a
t
t
he end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpent
e
r
Rename
functions: _
_
p
o
p
_
foo() => __di
s
c
a
rd
_
foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states:
r
e
na
m
e so
m
e
f
u
nction
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
r
p
ente
r
r
elease_re
s
ource
:
Doh
.
It's looking f
o
r the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
fix select
statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Ca
r
p
e
nt
e
r
cor
e
:
cleanup
.
de
l
ete
fake c
o
ndit
i
on stack cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Car
p
e
nter
cor
e
:
make
f
ake cur_s
l
ists stac
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make set_st
a
t
e
_stack() ret
u
rn the new sm_
s
tate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
*new* che
c
k_release_resource
.
c: ch
e
ck
t
hat w
e
release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan
C
arpent
e
r
f
l
o
w
: sp
l
it asm clobbers, input
s
a
n
d outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
ter
whit
e
_spa
c
eonly: a
l
low
h
eader
f
iles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
an Car
p
enter
*
n
ew* s
t
ri
p
_whitespace
.
pl: rem
o
ves
a
l
l the wh
i
tespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
new* check_resou
r
ce_
s
ize(): prod
p
e
op
l
e to use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carp
e
nter
e
x
tra: a
s
s
ume
i
mpo
s
sible
t
hings a
r
e i
m
po
s
sible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: fix
b
trfs false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr
_
ptr:
handle whe
n
an e
r
r_
p
tr is reass
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*
n
ew* c
h
eck_db_info
.
c
print
s
out stuf
f
that
wi
l
l
b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpente
r
c
lea
n
up: move stu
f
f from smatch_
e
xtr
a
.
c to sm
a
tch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpe
n
t
er
w
hitespace
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
equi
v
: fi
x
crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_overflo
w
: malloc() =>
_
_alloc_s
m
atch
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
smat
c
h
.
c: do
n
't
l
eak thos
e
10 b
y
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
assigned_expr: fix
m
emory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carp
e
nter
k
e
rnel: free_area
(
) d
o
esn't cal
l
k
f
ree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: complain if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: make get_im
p
lied_value(
)
wor
k
f
o
r pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cl
e
anup: cre
a
t
e
s
epa
r
at
e
_g
e
t_impl
i
ed_v
a
lue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: h
a
ndle mod
u
lus '%' ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
ter
m
ath: ha
n
dle EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup: make handlin
g
binops
a
s
wi
t
ch(
)
statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
ent
e
r
math
:
clean
u
p creat
e
separate handle_binop() f
u
n
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
a
rpen
t
e
r
math: c
l
ean
u
p
.
use c
a
st_to_type() ins
t
ead of re-impli
m
e
n
ting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next