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_proc_create() check for world writable proc files
2010-04-02
Dan
C
arpenter
n
e
w: check_proc_create()
c
h
eck for
world w
r
ita
b
le proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
m
ath:
t
each
s
match to und
e
rstand const values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
c
heck_over
f
low: fix
theoretica
l
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Ca
r
penter
core: f
i
x problem i
n
h
a
ndling
select stat
e
ment /
O
Ring
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
cleanup: rename s
m
_states to "sm" in
s
tead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
e
r
get_varia
b
l
e
_f
r
o
m
_expr(): if it involves
a numb
e
r it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debug: pri
n
t more useful informatio
n
abou
t
c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle spin_tr
y
l
o
ck
_
i
rq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
locking: handle spin_lock_irqs
a
v
e
_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lock
i
ng: handle raw_
s
pin
_
unlock
_
irqres
t
o
r
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locki
n
g: make "sometimes locked" messages dep
e
n
d on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
t
e
r
Merge branch 'deve
l
'
into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpenter
equiv
:
if a va
r
iable is
o
nl
y
equivalent to
itself
s
et
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use
t
he fake assign
m
ents inst
e
ad of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpen
t
er
eq
u
iv: nev
e
r set
SMAT
C
H_EXTRA
v
a
l
u
es dire
c
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
quiv:
eliminate b
o
gu
s
call to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Ca
r
penter
i
n
t
roduce __sm
a
tch_debug_on() and __smatch_
d
ebug
_
o
f
f()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
lo
c
k
i
ng: make spinloc
k
_irqsave
(
) work for
m
y config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
e
n
ter
locking: w
h
ite sp
a
c
e
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpente
r
lo
c
kin
g
: add more
standard lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpente
r
check_locking: clean up list of kerne
l
loc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an Carpenter
hand
l
e select assigns: f
o
o
=
a ? b : c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
c
ore: fake cur_slist more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core:
r
ew
r
ite select statement
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
states: verify that th
e
stacks are empty
a
t the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Re
n
ame fu
n
c
tions: __pop
_
foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
sm
a
tch_st
a
tes: rename
some
f
unctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
release_reso
u
rce: Doh
.
It
'
s looking for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
fix select
s
tatement ha
n
d
l
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpe
n
ter
cor
e
: cl
e
anup
.
delete
f
ake
c
onditio
n
stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
ore: make
fak
e
c
u
r
_
s
lis
t
s stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpen
t
er
slist
:
make set_state_st
a
ck() return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_re
l
e
a
se
_
resource
.
c: check
t
h
a
t w
e
re
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n Carpenter
f
low: split asm
c
lobbers, inputs
and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_
s
paceonly
:
a
llow
header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpente
r
*new* strip_whitespace
.
pl: r
e
moves all the w
h
itespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpente
r
*
new* che
c
k_
r
esour
c
e_size(
)
: prod
peop
l
e to u
s
e resource_size(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra:
a
ssume impos
s
i
b
l
e thi
n
gs are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
penter
err_ptr
:
f
ix btrfs
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr_ptr:
h
and
l
e when an
e
rr_ptr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
p
ent
e
r
*new
*
che
c
k_db_info
.
c print
s
out s
t
uf
f
that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
cleanu
p
:
move stuff from smatch_ex
t
ra
.
c to sm
a
tch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix cr
a
shing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpent
e
r
check_over
f
low: malloc() => __alloc_smatch_s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
smatch
.
c: don't leak thos
e
10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pent
e
r
assi
g
ne
d
_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpe
n
ter
kernel: fre
e
_
area
(
) doesn't c
a
ll kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
t
er
*
ne
w
*
che
c
k
_
ret
u
r
n
.
c: complain if you don't che
c
k the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpente
r
math:
ma
k
e get_implied_valu
e
() work for pointers bet
t
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: cleanu
p
: cre
a
te separ
a
te _g
e
t
_
im
p
lied_value
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: handle modulus
'%' operatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: hand
l
e EXP
R
_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
ath: cleanup: m
a
ke hand
l
ing binops a
switch
(
) statemen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
m
ath: cleanup
c
r
ea
t
e separate hand
l
e_
b
inop() f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cle
a
nup
.
use cast_to_t
y
pe(
)
i
nstead of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
separate ha
n
dle_preop()
into it'
s
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
equiv: fix
cr
a
shin
g
b
u
g int
r
oduced
in 8c3588
8
3
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create sep
a
rate
smat
c
h_math
.
c
file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
u
p
date
s
ma
t
ch_data/ fo
r
2
.
6
.
34-rc
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: clean
u
p
make a separ
a
t
e
h
andle_zero_co
m
parison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
pe
n
ter
e
quiv:
handle comp
a
risons with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equ
i
v: cleanu
p
separate set
_
e
xtra_
t
rue_false() in
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an C
a
rpenter
equiv,
i
mplied: fix handlin
g
borrowe
d
impl
i
cati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpent
e
r
i
mpli
e
d:
d
on't upda
t
e the equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arp
e
nter
rm validation/s
m
atch_closet
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equiv: don't overwrite the
implication info
r
matio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
r
e
name __set_state()
=
> _
_
set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpen
t
er
r
ena
m
e clone_state()
=
> clone_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
r
pen
t
er
eq
u
iv:
pre
s
erve ->equiv across merge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
U
s
e th
e
equivalen
t
variable cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove tr
a
ckers from ->equiv when they are no l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
Fix crashin
g
b
u
g
caused
by last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
store
i
nformation in the new d
i
nfo->eq
u
iv
t
hing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
in
t
r
oduce add_track
e
r_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
e
r
make set_st
a
te() an
d
fr
i
e
nds re
t
urn the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
introduce clone_trac
k
er_l
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv" field to struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move th
e
alloc_dinfo(
)
f
unctions to smatc
h
_e
x
t
r
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_si
g
ne
d
: warn
a
bout compa
r
i
n
g
(unsigned varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
updat
e
v
al
i
dation/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_s
c
ripts/show_err
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpen
t
er
*new* smatch_sc
r
ipt
s
/
w
hitespase_onl
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
add -
n
o-lineno
o
p
t
ion to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
penter
validation/sm_redundant_check
.
c
now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
che
c
k
_
prec
e
d
ence:
p
rint one w
a
rn
i
ng m
e
ssage instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_signed: handle unsi
g
ned 64
b
it vari
a
bles
b
etter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpent
e
r
get_value() handle some more math o
p
era
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
r
p
enter
mak
e
re
d
undant
n
ull checks before kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_signed:
E
lim
i
nate
s
ome false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
prec
e
dence: check for
&
& vs
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
implications: improve handling of comparisons wit
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Car
p
enter
use impli
c
ations from POSTO
P
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carp
e
nter
condi
t
ions: parse EXPR_
P
OSTOPs af
t
er evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpe
n
ter
check_overflow: re
m
o
ve fa
l
se positi
v
e
s
cau
s
e
d by print
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
flow: improve handling
o
f while(i--) { loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
r
e
m
ove
s
t
r
ange l
o
op mes
s
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
n
ter
kpatch
.
sh: ask abo
u
t
alloc()
failu
r
e
s
s
p
e
c
i
f
ically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
e
r
ch
e
ck_der
e
f: handle __GFP_NOFAI
L
(remove f
a
l
s
e positive
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
an Car
p
enter
check_deref:
hand
l
e pointers
u
sed
a
s arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next