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
wine: add more functions that don't return
2009-12-01
Dan Carpenter
w
ine
:
add more fun
c
tions
that don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
revert part of f4a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra: imp
r
ove and
f
ix
a
ssignmen
t
h
and
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
scoped_st
a
te() make th
e
parameter
ord
e
r ma
t
ch everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
ch
e
c
ks: remov
e
s
ome show_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpente
r
smatch_helper
.
c
remove many calls
to show_
s
peci
a
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
small clean up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
rp
e
nte
r
f
ix bug
with func
t
ion implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpen
t
e
r
e
xit
and ExitP
r
ocess don
'
t re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Car
p
enter
s
match
_
extra
.
c: remove some
show_special
(
) ca
l
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_deref_check: get rid o
f
some f
a
ls
e
pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling
:
m
emer
y
=> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgusti
n
g ha
c
k to stop false
p
ositive bu
f
fer o
v
e
r
fl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
F
i
x
+= and -=
handlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
wine: fix some
lock n
a
me
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
wine: RpcR
a
iseException nev
e
r
return
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpe
n
ter
add
o
ption --full-pa
t
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Mich
a
e
l
S
tefa
n
iuc
Fix
a ty
p
o
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine:
c
heck for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpent
e
r
Fix some r
e
ve
r
sed if cond
i
tion
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can h
a
n
dl
e
n
ul
l
po
i
nte
r
s: if (fo
o
)
fr
e
e(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
wine:
ch
e
ck for Wt
o
A
c
r
oss calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add INVALID_HANDLE_VALUE che
c
k fo
r
win
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
penter
r
ecompile all the checks
i
f smat
c
h_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[patch 9/9] last
p
a
t
ch to remove
U
N
DEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 8/m
a
ny] de
a
l with
v
aria
b
le_non_zero() (UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 7/many] no UNDEFINED from
g
e
t
_
value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[pat
c
h 6/many] remove UNDEFIN
E
D from
l
ast_stmt_va
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpent
e
r
[
patch 5/many] get rid
of a few more
UNDEFINEs s
m
atch_
e
xtra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[patch 4/many]
get
r
id of UNDEFIN
E
D
i
n s
m
atch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch
3
/m
a
ny]
r
emo
v
e UNDEFINED from get_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[patch 2/many]
g
et_implied_v
a
lue() should not re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patch 1/
m
any] g
e
t
rid of UNDE
F
INED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Ca
r
pe
n
ter
Add validation
test for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nt
e
r
Make so
m
e ker
n
el specific
stuff
depend on -p=kerne
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
enter
Add
a
n
ew (
s
oon to
b
e ma
n
datory
)
--projec
t
= op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Make smatc
h
installable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Carpenter
t
ry handle d
o
{} wh
i
l
e
(
i-- >
0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
t
r
y handle ++
a
nd -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpen
t
er
Impro
v
e ha
n
dli
n
g:
d
o {
}
whil
e
(--continue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
C
a
rpen
t
er
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpent
e
r
k
f
ree_
s
kb() warnings are n
o
t
sp
a
m
my
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
H
andle derefere
n
ces like *foo
not just foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpen
t
er
Ge
t
rid of
t
h
e bitwise or ch
e
ck
.
It didn
'
t fin
d
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
D
a
n
C
a
rpenter
add __raw_spin_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Ca
r
penter
Make rang
e
d functions pass the as
s
ignme
n
t
e
xp
r
ess
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan C
a
rpenter
Ma
k
e
vari
a
ble
initializ
a
t
ion into ass
i
gnment sta
t
eme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Dele
t
e
c
h
e
ck
_
ini
t
ializ
e
r_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify the return hook to pas
s
an expr
e
ssion inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
ar
p
e
n
ter
D
o
clear the ran
g
e info so
e
arly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
a
rpenter
in
t
roduce is_erro
r
_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
m
ake
func
t
ion
d
e
clara
t
i
on sta
t
ic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan
C
arpenter
Do no
t
accidentally
d
elet
e
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpen
t
er
New
m
issing dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
H
a
ndle
i
f ((dev = foo()) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpenter
s
i
lly fa
l
se posi
t
ive:
return foo; <- f
o
o po
s
sibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
U
p
date smatch_data to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Ca
r
penter
Add some
comment
s
and copyri
g
ht noti
c
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arp
e
nter
small cl
e
a
n
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan C
a
rpenter
Fix segfau
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow people to use kche
c
ker f
i
l
e
.
o as
w
ell as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
pe
n
ter
Initialize val
u
es pro
p
e
r
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn the two
pass syst
e
m off by
d
efa
u
lt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carp
e
nter
Optimiza
t
ion
:
prep
e
nd()
-
> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan C
a
rp
e
nter
Print an error for
t
his: if
(
a
|
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Da
n
Ca
r
p
e
n
ter
Du
a
l pass syste
m
[patch
#
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual
pass
s
yste
m
[patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
cle
a
n up: move
D
IMP
L
IED() to sm
a
tch_impl
i
ed
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan C
a
rpenter
code churn
:
r
enam
e
SM_DEBUG() to sm_debu
g
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpenter
code churn: rename smatch_msg() to
sm_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpenter
move
m
y
_id parameter
[part 2 of
2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpe
n
t
er
M
o
ve my_id parameter
.
[
p
art 1 of 2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Carpen
t
er
Impr
o
ve check_err_p
t
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
fu
n
ct
i
o
n
wa
s
supposed t
o
be stati
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
disable s
m
atch
_
containe
r
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
a
r
penter
Random ugly chan
g
es t
o
check_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpen
t
er
St
o
p printing
s
o much info a
l
l the
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
New
o
ptio
n
: --spa
m
my
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nter
Remove opti
m
ization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
a
rpen
t
er
Add check_a
s
signe
d
_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
Ca
r
pent
e
r
f
i
x calculat
i
ng size
o
f()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpen
t
er
ret
u
rn UNDEF
I
NED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
T
alk about
s
match_s
c
r
ipts/kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
C
arpenter
Improve get_implied_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
correct for
m
at
.
warni
n
g:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Add some strip_expr() calls to
the fu
n
ction hooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carp
e
nter
Improve buffer overflow
c
heck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan
Car
p
e
nter
i
n
t
r
o
d
u
ce smatch_contain
e
rs
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Da
n
C
arpe
n
ter
introdu
c
e
set_state_ex
p
r() and friends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rpenter
add check_dere
f
_
c
heck
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arpenter
added check_ini
t
ialize
r
_
d
e
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
an Carpen
t
e
r
new hook: add_
m
o
d
if
i
c
ation_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpente
r
m
o
v
e some declarations out of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
D
an C
a
rp
e
nter
Upd
a
t
e
smatch_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
I
mprove the dis
p
layed va
r
iable
n
ames
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan
C
arpente
r
fix buffer ove
r
flow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpenter
Add ch
e
c
k
_bala
n
c
e
d
.
c and smatch_data/k
e
rnel
.
balanc
e
d_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
PTR_ERR(ERR_PTR(-42
)
)
is non zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpenter
check_memory
.
c: use
t
he add_scope_
h
o
ok
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
an C
a
rpenter
Add scoped_state
(
) and add
_
s
co
p
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next