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
math: prevent divide by zero bugs
2010-04-05
Dan Carpente
r
math: pr
e
vent di
v
ide by
zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpe
n
ter
check_
l
ock: add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan
Ca
r
penter
n
e
w:
c
heck_proc_create() c
h
eck for
wo
r
l
d wr
i
table p
r
oc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
math: t
e
a
ch
s
ma
t
c
h to unders
t
and const v
a
lues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
check_o
v
erflo
w
: fix
t
heoretical memo
r
y leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpent
e
r
core: fix
p
robl
e
m in handling
s
e
lect statement / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
e
n
t
er
clea
n
up: ren
a
me
s
m
_states to "s
m
"
inst
e
ad of
"
state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
get
_
vari
a
ble_from_expr()
:
if it
invol
v
es a
nu
m
ber it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpent
e
r
debug:
p
r
int more useful
in
f
orm
a
ti
o
n
about conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpen
t
er
lo
c
kin
g
: handle
spi
n
_trylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
t
e
r
lo
c
king
:
handl
e
spi
n
_lock_irqsa
v
e_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
p
ent
e
r
locking: h
a
ndle raw_spi
n
_unlock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Ca
r
penter
locking:
make "sometimes locked" messa
g
e
s depend
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
Me
r
g
e
branch
'
d
evel' i
n
to devel
_
e
qui
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
equiv: if a variable is
only equiv
a
l
e
nt
t
o itself s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rp
e
nter
extra: use the fak
e
assignments
i
ns
t
ea
d
o
f
the initi
a
lizer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never set SMAT
C
H_EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nte
r
equiv
:
e
liminate bog
u
s call to
s
et_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
intro
d
uce
_
_
s
m
atch
_
d
e
bug_on() and __smatch_de
b
ug_
o
ff()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: ma
k
e
spinlock
_
irqsave() wo
r
k for
m
y config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
rp
e
nter
locking: white space
fi
x
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Carpe
n
ter
l
ocking: add
m
o
r
e standard l
o
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
che
c
k
_
lock
i
ng: c
l
ean up lis
t
of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
r
p
e
nter
handl
e
select assigns: foo = a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
e
r
core
:
f
ake cur_slist more
completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
c
ore:
rewrite select statem
e
n
t
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
states: verify that the s
t
ack
s
ar
e
em
p
ty at t
h
e end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
C
a
rpen
t
e
r
Rename functions:
__pop_fo
o
(
)
=> __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states
:
rename some function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
r
e
lease_resource: Doh
.
It's looki
n
g
for
t
he
wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix selec
t
statement
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Carpenter
core: c
l
eanup
.
d
e
let
e
fa
k
e
condition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: m
a
ke fake cur_s
l
ists st
a
ckab
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Ca
r
penter
slis
t
: ma
k
e set_s
t
ate_stack() return th
e
new sm_sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpente
r
*new*
c
heck_releas
e
_
r
es
o
urce
.
c: che
c
k th
a
t we r
e
lease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpente
r
flow:
s
plit asm clobbers,
inputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spaceonly: allow header fil
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpe
n
t
e
r
*new* strip
_
whitespa
c
e
.
pl
:
removes
all the whitesp
a
ce
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n
Ca
r
penter
*ne
w
* check_resource_size(
)
: prod peo
p
le to
u
se
r
esource_size(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra:
assume
impossib
l
e thin
g
s a
r
e impossib
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
pent
e
r
err_pt
r
: fix btrfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_ptr
:
handle
w
hen an err_ptr is reassig
n
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
*n
e
w
* ch
e
c
k
_
d
b_inf
o
.
c print
s
out
s
tuff that
w
ill be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpen
t
er
cl
e
anup:
m
ove stuff from smatch_extra
.
c
t
o smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
w
h
ites
p
a
ce chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
te
r
eq
u
iv
:
fix crashing
b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
t
e
r
check_overf
l
ow
:
malloc()
=
> __alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpente
r
smatch
.
c: don't l
e
ak tho
s
e
1
0
b
y
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
assigned_expr: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n
C
a
rpe
n
ter
k
e
rnel: free_area() doesn't
c
all kfree
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
*new*
check
_
return
.
c: c
o
mplain if you don't check
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
p
e
n
ter
ma
t
h: make g
e
t_i
m
plied_va
l
u
e() work
for pointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math
:
cl
e
a
nup: create
separate _ge
t
_imp
l
ied_v
a
lue(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: handle
m
odu
l
us
'%' o
p
erat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
m
ath: handl
e
EXP
R
_
POS
T
OP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: cleanup:
mak
e
handling binop
s
a switch
(
)
statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
mat
h
: cleanup cr
e
ate se
p
arate handle_binop
(
)
f
u
nctio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: clean
u
p
.
u
s
e cast_to_
t
ype(
)
instead of
re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: c
l
eanu
p
.
separate hand
l
e_
p
r
eop(
)
into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv: fix crashing
bug in
t
rod
u
c
e
d in
8c35
8
8
8
3
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
C
r
eat
e
separ
a
te smatch_m
a
th
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
update
s
matc
h
_
d
at
a
/ f
o
r 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
impli
e
d: clean up m
a
k
e
a s
e
p
ara
t
e
h
andle_ze
r
o_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
p
e
nter
equiv: han
d
le
c
o
m
parisons with
zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
equiv:
c
le
a
nup separate
s
et_extra_true_
f
alse()
into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
e
qui
v
, i
m
plied: fix han
d
ling borrowed
impl
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
im
p
lie
d
: don't update the e
q
uivele
n
t
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validatio
n
/smatch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpente
r
equiv: don't overwrite the i
m
plication in
f
ormation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
r
ename __se
t
_state
(
)
=
> __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
C
arpente
r
ren
a
me clone_state() =>
c
lone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpen
t
er
equiv:
p
rese
r
ve ->equiv ac
r
oss merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
Us
e
the
equivalent v
a
riable c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpe
n
t
e
r
remove trackers from
->e
q
ui
v
w
h
en t
h
ey are
n
o long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
Fix crashing bu
g
caused
b
y last com
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpen
t
er
store informat
i
o
n in t
h
e new dinfo->e
q
uiv t
h
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
i
ntrod
u
ce add_t
r
acker_
e
x
p
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
make set_state() and friends return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carp
e
nter
i
n
troduce cl
o
ne_track
e
r
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equi
v
" field to struct da
t
a_inf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpente
r
move the alloc_dinfo() f
u
nctio
n
s to sm
a
tch_extr
a
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Ca
r
pen
t
er
check_signed: w
a
rn ab
o
ut
comp
a
ring (
u
nsi
g
ned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
update valid
a
t
ion
/
sm_cast
s
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
en
t
er
*new* s
m
atch_scripts/show_er
r
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
*new* sm
a
tch_scripts/
w
hitespase_onl
y
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
add -no-lineno opt
i
on to
sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
validation/sm_
r
e
dundant
_
ch
e
c
k
.
c
n
o
w
it's
"inf
o
" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_prec
e
dence: print one wa
r
ning message i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
check_sig
n
ed: h
a
ndle unsig
n
ed 64 bit
v
a
r
ia
b
le
s
bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
D
a
n Carpenter
get_value() handle s
o
me more mat
h
operat
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpente
r
make redundan
t
nul
l
ch
e
c
k
s before
k
free
(
) an
"
i
nfo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rp
e
nter
check_signed: Elimin
a
t
e
som
e
false
p
osi
t
ive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpenter
p
rec
e
dence: check for && vs
&
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpen
t
er
impl
i
cations: improve handling of comp
a
ri
s
ons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
u
se implicat
i
ons f
r
om POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
conditions: parse
E
XPR_POSTOPs after evaluating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overf
l
ow: r
e
move f
a
lse positives
c
aused by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
flow:
improve han
d
ling of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
re
m
ove stra
n
ge loop m
e
ssage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatch
.
sh:
a
sk
a
bout a
l
loc(
)
fa
i
lures spe
c
ifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next