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 Car
p
enter
deref_check: remove
t
he --sp
a
mmy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
delete check
_
leak
s
.
c: This check was always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Ca
r
pente
r
wine
:
f
i
xup
the no return functions
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpe
n
t
e
r
macro_table
.
c: re
p
lacement for in_macro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
an Carpenter
s
mall cleanu
p
a
n
d
a c
o
mm
e
nt change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan C
a
rpenter
*new* chec
k
_s
n
printf: using the
r
e
t
urn val
u
e of
s
n
p
r
i
nt
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_ret
u
rn: print function
n
a
me
that wa
s
ig
n
ored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
ma
t
h
: don't pass negative numb
e
rs as abs
o
l
u
t
e
m
ax for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpente
r
imp
l
i
ed: all
o
w th
e
known pa
r
t to be a range list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: fix g
e
t_a
b
so
l
ute_
m
in/max() for sizeof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
an Carpenter
extra:
make
d
o_compari
s
on
(
)
han
d
le two
v
ariabl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
r
penter
r
ange
s
:
intr
o
duc
e
free_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
pente
r
ra
n
g
e
s: intr
o
du
c
e possibly_true/false_
r
ange_li
s
ts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
pen
t
er
prece
d
ence: don't compla
i
n a
b
out if foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
extra: c
l
ea
n
u
p
: re
n
ame do_comparison_range() => do_compariso
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
k
n
o
w
n_condition_true/false(
)
: han
d
le e
x
pression statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan C
a
rpenter
*new* c
h
e
ck
_
kunmap(): co
n
fusion between
k
map
(
)
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Da
n
Ca
r
penter
*
n
ew
*
smatch_scr
i
pts/unlocked
_
p
aths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpe
n
ter
fl
o
w: clea
n
up: make s
p
l
i
t_function() it's own
f
u
n
ct
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpente
r
der
e
f_
c
heck: use
i
n_m
a
c
r
o() to silence
most
o
f
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
math: introduce get_a
b
solute_min/ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math:
cleanup
:
re
n
ame get_imp
l
i
ed_
s
ingl
e
_
fuzzy
_
max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpe
n
t
e
r
math
:
cleanup: shuffle some f
u
nctions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
te
r
math: clea
n
up: get
r
id
o
f the *
d
iscard
t
hing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpe
n
t
er
math:
c
leanup: get rid of IMPLIED_S
I
NGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpent
e
r
d
elete check_null_deref
.
c and clean up validation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an
Ca
r
penter
f
l
o
w: the n
e
x
t
statement sho
u
ld n
e
ver be the curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Ca
r
p
enter
*
new* check_check_d
e
ref
.
c: c
h
eck
i
ng for null
i
nconsistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
*new* check_no_effect: print wa
r
nings
statements t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup
d
efault modificat
i
on ho
o
ks in
set_t
r
ue_f
a
l
s
e_states(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
enter
introduce in_macr
o
() which ret
u
r
ns
t
rue
i
f we'
r
e in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpente
r
i
ntroduce: in_expres
s
ion_st
a
tement() and renam
e
get
_
block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan
C
a
r
penter
chur
n
:
r
e
name __spl
i
t_state
m
ent
s
() => __split_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nte
r
e
xtra: h
a
n
d
le
i++ and
i += 2 better out
s
ide loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpenter
f
i
l
ter_kernel_deref_check
.
sh:
p
rint the
f
u
n
c
tion names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
Add STRING_HOOK f
o
r ex
a
mining st
r
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*n
e
w
* check_kernel
.
c: handle tomoyo_me
m
o
r
y
_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
co
r
e
: fix h
a
ndling of swit
c
h s
t
ate
m
en
t
s with u
n
reachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpenter
b
a
i
l
out earlie
r
if functions g
e
t too
d
ifficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include stat
i
c functio
n
s i
n
l
i
st o
f
func
t
ions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_null: call
i
ng fr
e
e for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpen
t
er
equi
v
:
c
all
r
e
move_from_equiv() on
a
ssignm
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math:
prevent divide by zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
a
rpenter
check
_
lock: add more
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Ca
r
pent
e
r
n
e
w:
che
c
k_pr
o
c_cre
a
te() che
c
k for world wr
i
table pro
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
math
:
teach
s
match to un
d
erstand
const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
pe
n
ter
chec
k
_overflow
:
fix th
e
or
e
tical memory l
e
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpent
e
r
core: fix pro
b
lem in handling select st
a
tement /
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cl
e
a
nup: rename sm_states
t
o "sm" instead of "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get
_
variable_from_expr():
if
it involves a number i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debu
g
: pri
n
t more useful informati
o
n about conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpente
r
locking: handle sp
i
n_trylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
king: handle
spin_l
o
ck_irqsav
e
_nest
e
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
lo
c
king: handle raw_
s
pin
_
unlock_irqre
s
tore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpente
r
locking: make "someti
m
es l
o
cked" messages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
p
enter
Merge
b
r
a
nch 'devel' into dev
e
l_
e
q
uiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if a variable is only equivalent to itself
set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpenter
e
x
t
r
a: use the
f
ake a
s
sign
m
ents instead of the initializer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
equiv: never set
S
MATCH_EXTRA values direct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
equi
v
: eliminate b
o
gus
c
all t
o
set_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
i
ntroduce __smatch_debug_on() and _
_
smatch_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
locking: make spinlock_irqsave() w
o
rk fo
r
my
c
onfig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
rpen
t
e
r
locking: whi
t
e spa
c
e fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking:
a
d
d more st
a
n
dard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
c
h
eck_locki
n
g: cl
e
an up list of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
handl
e
s
e
lect assi
g
ns:
foo = a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
C
arpenter
core: fa
k
e cur_
s
list more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Carpenter
c
o
re: rewrite se
l
ect statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states
:
verify th
a
t the
st
a
cks
a
r
e empty at the
en
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
n
t
e
r
Rename functions: __pop
_
foo() => __discard_f
o
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
smatch_states:
r
ename some functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
enter
release_
r
e
s
ource: Doh
.
It's loo
k
ing for the wr
o
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix select
s
tatement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
co
r
e: cleanup
.
delete
fa
k
e condit
i
on
stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Carpenter
cor
e
: make
f
ake cur_slist
s
st
a
c
kable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
slist: make set_s
t
ate_stack() return the new
s
m_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
C
a
r
penter
*new* check_releas
e
_
r
esource
.
c: ch
e
ck that
w
e
release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n
Carpenter
flow: split asm clobbers, inputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
whit
e
_
spa
c
eonly
:
allow hea
d
er files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
an
Ca
r
penter
*n
e
w* strip_whitespace
.
pl: r
e
mo
v
es
a
ll
t
he whitespa
c
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
e
nter
*new* check_resource_size(): prod
peo
p
le to
use resource_siz
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
Carpenter
extr
a
: a
s
su
m
e impossible things are impossi
b
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
e
nter
err_ptr: fix btrfs
f
alse posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpe
n
ter
e
r
r_
p
tr: ha
n
dle w
h
e
n
an err_ptr is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
arpenter
*new* check_
d
b_info
.
c
p
r
in
t
s out s
t
uff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pent
e
r
c
leanup:
m
ove s
t
uff
f
rom smatch_e
x
tra
.
c to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
whitespa
c
e changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
eq
u
iv: fix
c
rashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_ov
e
rflow: malloc() => __alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpen
t
e
r
s
m
atch
.
c: don't le
a
k thos
e
10 byte
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpent
e
r
assigned_ex
p
r: fix memo
r
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
k
ernel: free_are
a
() does
n
'
t call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
*new* c
h
eck_re
t
u
rn
.
c: complain if you
d
on't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: make get_implied_va
l
u
e
() w
o
rk for pointers be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
a
r
penter
m
a
th:
c
lea
n
up:
c
reate sepa
r
ate _get_
i
mpl
i
ed_va
l
ue(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: handle modulus '%' ope
r
ati
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
en
t
er
math: cleanup: make handling
binops a
s
w
itch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math: cleanup cre
a
te separate handle_b
i
nop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cleanup
.
us
e
cast_to_type()
inst
e
ad
o
f re-implimen
t
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next