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 Carpenter
math: prevent divide by zero bug
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpen
t
er
check_l
o
ck: add more lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n Carpe
n
ter
n
e
w: chec
k
_
p
roc_create() c
h
e
c
k
f
or wor
l
d writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
er
math: teach smatc
h
to
understand co
n
s
t
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpe
n
te
r
check_over
f
low: fix theoretica
l
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Ca
r
pe
n
ter
core: fi
x
pro
b
lem
i
n handl
i
ng select statement / ORin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpent
e
r
cl
e
anup: rename sm_sta
t
es to "sm" ins
t
ead of
"state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
ar
p
enter
get
_
varia
b
le_from_expr(): if it invol
v
es
a numbe
r
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpe
n
ter
deb
u
g: prin
t
more useful informati
o
n about
c
ondition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
locking: handle s
p
in_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carpenter
loc
k
ing: handl
e
spin_lock_i
r
qsave_n
e
sted()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handl
e
raw
_
spin_unlock
_
ir
q
restore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carpen
t
er
l
ocking: ma
k
e "some
t
i
mes l
o
c
ked" messa
g
es depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
Merge branch 'devel' in
t
o devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
equiv: if a v
a
riable is only equivale
n
t
to itself
s
et
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
e
r
e
xtra: use th
e
fake ass
i
gn
m
ents instead of
the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
n
t
er
e
q
uiv: never set
S
MATCH_E
X
TRA va
l
ues
directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
equiv: eliminat
e
bogus call to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introduce __smatch_debug_on() and __smatch_de
b
ug_o
f
f
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
o
ck
i
ng:
m
ake spi
n
lock_
i
rqsave() work for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpen
t
er
l
o
cking: white space fix
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
locking: add more
standard lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_locking: clean up list of kern
e
l l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle
s
elect assigns:
f
oo = a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
core: fak
e
cur_slist more complet
e
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
e
nter
c
o
r
e
:
r
e
write s
e
lect stat
e
ment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
stat
e
s:
v
erify that the stacks are empty at the e
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Rename fun
c
tions:
_
_pop_foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smat
c
h_states:
renam
e
some
fu
n
ctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
release_resource: Do
h
.
It
'
s looking
f
or
the
wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
fix
s
elect statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: cle
a
nup
.
delete fak
e
c
ondition stack co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
arpenter
core: make fake cur_slists sta
c
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carp
e
nter
sl
i
st: make set_s
t
ate_sta
c
k() return
th
e
new sm_s
t
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nt
e
r
*
n
ew* che
c
k_release
_
resource
.
c:
check
th
a
t we releas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow:
s
pli
t
asm cl
o
bbers,
inpu
t
s and
outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spa
c
eonly: allow header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
n
e
w* strip
_
whitesp
a
ce
.
pl: rem
o
ves all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* check_resource_s
i
ze():
p
rod p
e
ople to use resourc
e
_s
i
ze()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume impossible
t
h
ings are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
p
enter
err_ptr: fix btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: handle when an err_ptr is
re
a
ssi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
t
er
*new* check_
d
b_info
.
c pr
i
nts
out stuff
t
h
a
t wi
l
l be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
ent
e
r
cleanup: move stuff from smatch_extra
.
c to
s
match_mat
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
whitespace ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Car
p
e
nt
e
r
equiv: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
ch
e
c
k
_over
f
low
:
malloc() =>
_
_alloc_smatch_
s
t
a
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
smatch
.
c
:
don't leak those 10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
n
ter
assigned_expr: fix me
m
ory
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
Car
p
enter
ke
r
nel: free_
a
rea()
d
oesn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
r
penter
*new* check_
r
eturn
.
c
:
complain if yo
u
don'
t
check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
mat
h
: make ge
t
_im
p
lied_va
l
ue() work for pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: cleanup:
c
reate separ
a
te _
g
e
t
_impli
e
d
_valu
e
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: han
d
l
e
modulus '%' op
e
rat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpent
e
r
ma
t
h: hand
l
e EXPR_P
O
STOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
ter
math: cleanup: make h
a
ndling
b
i
n
op
s
a
s
witc
h
() s
t
atement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
ar
p
ent
e
r
math: cle
a
nup create separate handle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cle
a
nup
.
u
s
e
cast
_
to_type() instead
o
f re-i
m
p
limenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
a
rpenter
math: cleanu
p
.
separate ha
n
dle_preop() into it'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equiv: fix cra
s
h
ing b
u
g introduce
d
in 8c
3
5
8883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
Create separate smatch_m
a
th
.
c f
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
p
en
t
e
r
up
d
ate
smatch_da
t
a
/
for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
implied:
clean up ma
k
e a separate ha
n
dle_z
e
r
o
_compariso
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n C
a
rpe
n
ter
equiv: h
a
ndle comparison
s
wit
h
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
eq
u
i
v: cleanup separate s
e
t_extra_t
r
ue_false(
)
into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv,
implied: fix handling borro
w
e
d
implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
im
p
lied: do
n
't u
p
date
the equi
v
elen
t
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm val
i
dat
i
on
/
smatch
_
c
loset/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equiv: don
'
t overw
r
it
e
the implication in
f
ormation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpen
t
er
rename __set_state() => __set_sm
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename clon
e
_s
t
ate() => clone_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equiv
:
preserve ->e
q
uiv across me
r
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use
the equ
i
valent v
a
r
i
able
c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
e
n
ter
rem
o
ve trackers from ->eq
u
iv whe
n
they
are no lon
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
Fix c
r
ashing bug
c
aused
b
y
l
as
t
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
e
r
st
o
re information in the new dinfo->
e
qu
i
v thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
intr
o
duce add_tracke
r
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
ma
k
e set_state() a
n
d fri
e
n
d
s r
e
tur
n
th
e
new sm_st
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
i
n
t
roduce clone_tracker_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv"
field
t
o struct data_
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
move
t
he all
o
c_dinfo() functions t
o
sm
a
t
c
h_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
arpenter
ch
e
ck_
s
igned: wa
r
n abo
u
t comparing (u
n
signed v
a
ria
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carp
e
nter
up
d
ate vali
d
ati
o
n/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
*new* smatch_
s
cripts/show_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
*
new* sma
t
c
h_scripts/
w
hitespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
add -no-li
n
eno op
t
ion to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
validation/sm_redundant_check
.
c now
i
t's "info
"
not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_prece
d
ence:
p
rint one warning message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arp
e
nter
check
_
s
i
gned: handl
e
unsigned 6
4
bit variables bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_v
a
lue
(
)
h
andle
some more math oper
a
t
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
make redun
d
ant
null
c
h
e
cks before kfree(
)
an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
che
c
k_signed: Eliminate some fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
precede
n
ce: chec
k
for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
impl
i
cations: improve handli
n
g of comparisons wit
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpe
n
ter
us
e
implicat
i
ons from POSTOP
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
c
o
nd
i
tions: parse EXPR_POST
O
Ps af
t
er e
v
aluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_ov
e
rf
l
ow:
remove false pos
i
tives caused by pr
i
ntk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
e
n
ter
f
l
ow: im
p
rove
h
a
ndling of while(i-
-
) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
r
e
m
o
v
e
stran
g
e loop mes
s
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
kpatch
.
sh: a
s
k
about alloc() failures specifi
c
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next