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
a
r
pe
n
ter
new: che
c
k_
p
r
oc
_
create(
)
check for world writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math: tea
c
h s
m
at
c
h
t
o understand const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
ch
e
c
k_ove
r
flow: fix theoreti
c
a
l
mem
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
C
arpenter
c
o
re:
f
i
x
problem in hand
l
ing select s
t
atement / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
clean
u
p:
r
e
n
ame sm_states to "sm
"
instead of
"state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
g
e
t_v
a
riable_from_
e
xpr(): if it inv
o
lves
a
number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
debug
:
print more useful info
r
m
a
t
i
on a
b
out condit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle spin_trylock_
i
rq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
locking: handle spin_lock_
i
rqsave_nes
t
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Ca
r
penter
lock
i
n
g
: ha
n
dle raw_spin_unlock_irqre
s
tore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
l
o
c
kin
g
: mak
e
"someti
m
es locked" messages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Car
p
enter
Merge branch 'd
e
vel' in
t
o devel_
e
q
u
iv
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpenter
eq
u
iv: i
f
a variable is only equivalent to itself s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpe
n
te
r
extra
:
u
se the fake assignments ins
t
ead
o
f the ini
t
iali
z
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
C
arpent
e
r
e
q
uiv: never
set SMA
T
CH
_
EXT
R
A values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carp
e
nt
e
r
equiv: eliminate b
o
g
us
ca
l
l to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
i
n
tro
d
uc
e
_
_smatch_debu
g
_
on()
and __smatch_
d
ebug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make spinlock_irqsave() work for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: white s
p
ace fi
x
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpen
t
er
locking: add more standa
r
d locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Ca
r
p
e
nter
check_locking: clean up l
i
st of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Ca
r
penter
handle
se
l
e
c
t a
s
sig
n
s: foo = a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: fake c
u
r_slist more com
p
let
e
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
n
t
er
core: rew
r
ite s
e
lect stat
e
ment ha
n
d
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Car
p
en
t
e
r
stat
e
s: verify that the stacks are empty at
the
end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
R
e
nam
e
functions:
_
_p
o
p
_foo() => __discard_
f
oo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
smatch_sta
t
e
s
: rename
s
o
m
e functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpe
n
ter
release_resourc
e
:
Do
h
.
It's looking
f
or
the wron
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
te
r
fix s
e
lect stateme
n
t handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Carpent
e
r
core: cleanup
.
d
elete f
a
ke condition
s
t
ack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
cor
e
: make
fake cur_
s
lists stack
a
ble
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: mak
e
s
et_state_s
t
ack() return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pente
r
*new* chec
k
_release_resou
r
ce
.
c: c
h
ec
k
t
hat
we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpe
n
t
e
r
flow:
split asm cl
o
bbers, inputs
a
nd outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_sp
a
ceon
l
y: all
o
w header files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* s
t
rip_whit
e
spa
c
e
.
p
l: rem
o
ves all the whit
e
sp
a
ce
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*new*
c
heck_resource_size
(
): prod people
t
o use resou
r
ce_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
e
x
tra: assume im
p
ossible thi
n
gs a
r
e
i
mpossib
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carp
e
nter
e
rr_ptr:
fix btrfs false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpent
e
r
err
_
ptr:
hand
l
e when an err_
p
t
r
is rea
s
s
i
gn
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
e
r
*new*
c
h
ec
k
_db_in
f
o
.
c pr
i
nts
out stuff that wil
l
be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
n
ter
cl
e
anup: move
s
tuff from sma
t
ch
_
extra
.
c
to s
m
atch
_
mat
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
w
hitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
p
e
n
ter
equiv: fix cras
h
ing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_o
v
erflow: m
a
lloc() =>
_
_alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
smatch
.
c: don't leak those 10 by
t
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpente
r
assig
n
ed_expr: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
arpenter
k
e
rnel: free
_
a
r
e
a() doe
s
n
'
t
call
kfree(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
e
n
ter
*ne
w
* c
h
eck_return
.
c: compl
a
i
n
if y
o
u don't ch
e
ck t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
make ge
t
_impl
i
ed_value() work for
p
o
inters
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup: create
se
p
arate _
g
et_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle m
o
d
u
lus '%' oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Ca
r
p
enter
math: h
a
ndl
e
EXPR_
P
OSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nt
e
r
m
ath
:
cleanup: make handlin
g
binops a s
w
itch() s
t
atement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
ente
r
m
at
h
: cleanup cr
e
a
t
e se
p
arate ha
n
dle_
b
inop
(
) function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: cleanup
.
use cast_to_type() instead of re
-
implimen
t
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Ca
r
penter
ma
t
h: cleanu
p
.
s
e
parate handle
_
preop() int
o
it's
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equiv: fix crashing
bu
g
introduced
i
n 8c358
8
83a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
C
r
eate s
e
parate sm
a
t
c
h_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
C
a
r
penter
update sma
t
ch_data
/
for
2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpen
t
er
implied: cle
a
n up make
a
separ
a
te handle_zero
_
comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equiv: handle comparison
s
w
i
th zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cleanu
p
separa
t
e set_
e
xtra_t
r
ue_fa
l
se()
i
nt
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpenter
eq
u
iv,
impl
i
ed:
fix handling bor
r
owed implica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpen
t
er
implied: don't update t
h
e
equivelent
s
tate
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm v
a
lidat
i
on/
s
match_cl
o
set/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arp
e
n
t
er
equiv: don'
t
overwrite the implic
a
tion inform
a
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
r
e
n
ame __
s
et_state(
)
=> __
s
e
t_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
renam
e
c
lone_state() => clone_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carp
e
n
ter
e
quiv:
p
rese
r
v
e
-
>equ
i
v
across
m
erges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
U
s
e the
e
qu
i
valent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
r
e
move tr
a
ckers from ->eq
u
iv w
h
en they
a
r
e no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
Fi
x
c
r
a
s
h
ing bug ca
u
sed by last co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpent
e
r
st
o
re information
i
n
t
h
e new dinfo
-
>e
q
uiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduc
e
add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
mak
e
set_state() and f
r
iends
r
eturn the new sm_st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpen
t
e
r
intro
d
uce clo
n
e_t
r
a
c
ke
r
_l
i
st
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv
"
field
t
o struct d
a
ta_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
e
nter
m
o
v
e
the alloc_dinfo() f
u
nctio
n
s to
smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carp
e
nter
check_sig
n
ed: warn abo
u
t
c
o
mparing (unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update validati
o
n/s
m
_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carp
e
nte
r
*new* smatch_scripts/
s
h
ow_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pente
r
*new*
s
m
atch_scripts/wh
i
tes
p
ase_only
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Car
p
enter
add -no
-
lineno option to
s
p
a
rse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpent
e
r
valid
a
t
i
on/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
c
h
eck_precedence: pr
i
nt one wa
r
ning message
i
nste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
check_signed: handle unsigned 64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
g
et_value() handle
s
ome more mat
h
oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make redundant null check
s
b
e
f
ore k
f
ree() an "i
n
fo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
check_sign
e
d: Eliminate some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: ch
e
ck for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
im
p
li
c
ations: impro
v
e handling of compa
r
isons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use i
m
p
l
ications
f
rom POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
condition
s
:
p
arse
EXPR_P
O
STOPs after evalu
a
ti
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
check_overfl
o
w: rem
o
ve fa
l
se po
s
itives ca
u
sed by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
flow: improve handling of while(i--) {
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Ca
r
penter
remove stra
n
g
e loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
kpatch
.
sh: ask
a
b
out alloc() f
a
ilures sp
e
cificall
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
heck_de
r
ef
:
handle __GFP_N
O
FAIL (re
m
ove false positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Da
n
Carp
e
nter
check_deref: handle pointe
r
s
used
a
s arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next