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
introduce: get_dinfo()
2009-11-28
Dan Carpenter
r
e
v
ert part of f4
a
459292e
3
3
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
smatch_
e
xtra: improve and
fix assignment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_s
t
ate() m
a
ke th
e
parameter
o
r
d
er
m
a
tch everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
che
c
k
s: remove some sho
w
_spe
c
i
a
l
()
c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
smatc
h
_he
l
per
.
c remove many calls to show_s
p
ecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
fix bug with funct
i
on imp
l
ication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an
C
arpenter
e
x
it a
n
d ExitPro
c
ess d
o
n't ret
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
e
r
smatch_extra
.
c: remo
v
e some show_special(
)
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_
d
e
r
e
f
_check:
g
et r
i
d
of some false
p
os
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpe
n
ter
sp
e
llin
g
: memery
=
>
memo
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
disg
u
s
ting hack to st
o
p false positive
b
uffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
Fix += and -= handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
w
in
e
: fix some loc
k
na
m
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
win
e
: RpcRaiseEx
c
eptio
n
ne
v
er retu
r
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
a
d
d option --full-p
a
t
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Michael
S
te
f
aniuc
Fix a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
rpent
e
r
wine:
check for
locking bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carpenter
Fix some reversed i
f
c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can ha
n
dle
n
u
ll pointer
s
: if (foo)
f
ree(f
o
o);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpenter
wine: check for WtoA cr
o
ss
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
Add
I
N
VALID_HANDLE
_
VA
L
UE check for
w
ine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpe
n
ter
recomp
i
le all the ch
e
cks i
f
s
mat
c
h_extra
.
h
c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 9/9]
last patc
h
t
o
r
emove UN
D
EFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
a
tch 8/m
a
ny] deal
w
ith vari
a
b
l
e_non_zero() (UNDEFINE
D
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[patch 7/man
y
] no UNDEFINE
D
fro
m
g
et_val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
t
ch 6/many] r
e
m
ove U
N
DE
F
INED
from last_stmt_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
5/many] get
r
id of a few more UNDE
F
I
N
Es s
m
atch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[patch 4/ma
n
y] get rid o
f
UNDEFINED in sm
a
tch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
[patch 3/many] remove UNDEFINE
D
fro
m
ge
t
_
i
mplied_
(
m
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an
Carpenter
[patch 2/
m
any] get_imp
l
ie
d
_value()
s
h
ould no
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Ca
r
penter
[patch 1/
m
a
n
y]
g
e
t
r
id of
U
NDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
Add valida
t
ion test for check_held_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
Make some kernel spec
i
f
ic st
u
ff depend on -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
e
nter
Add a new (
s
oon to be manda
t
ory) --project= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Make smatch installable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try ha
n
dl
e
do {} while (i-- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
try handle ++
and --
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
a
r
pente
r
I
mprove
h
andling:
d
o
{
}
w
hile (--cont
i
nue >= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
S
m
all cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an
Carpenter
kfree
_
skb() warning
s
are no
t
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan
C
a
r
penter
Ha
n
dle dereferen
c
es like *fo
o
not just foo->b
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpent
e
r
Get
r
i
d of the bit
w
ise or chec
k
.
It didn't find
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add
_
_raw_spin_
l
ock/
u
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
D
an C
a
rpenter
Make ra
n
ged function
s
p
ass
t
h
e as
s
i
gnment
e
xpression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpen
t
er
Make variable
initializat
i
on in
t
o
a
ssignmen
t
sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpen
t
er
D
e
lete check_
i
nitializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpente
r
Modify the ret
u
rn hook to pass
a
n e
x
pression
instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Car
p
ent
e
r
Do
c
lear the range
info so early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
arpenter
intro
d
uc
e
is_error_
r
eturn()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan
Carp
e
nter
make fun
c
tion
declaration
s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n
Ca
r
pent
e
r
Do not accident
a
ll
y
delete
.
h files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New m
i
ssin
g
dev_put()
c
h
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Han
d
le if ((
d
e
v
= f
o
o()) == NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
silly false
p
ositive: r
e
turn foo; <- foo possibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpenter
Update smatch_d
a
ta
t
o 2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add
s
o
me com
m
e
n
ts
a
n
d
c
o
pyright noti
c
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpenter
small clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
penter
F
i
x
s
egfault
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
A
llow people to
use
kchecker file
.
o as
w
ell as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n C
a
rp
e
nter
Ini
t
i
a
lize values
p
roperly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carp
e
nter
Turn the two p
a
s
s system
o
ff by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan
C
arp
e
nter
Optimization: prepend() -> ap
p
end()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan C
a
rpenter
Print an error for
this:
if
(a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
D
u
al pass sy
s
t
em
[
patc
h
#2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n
Carpe
n
ter
Dual pass syste
m
[patch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
clean up: move
D
I
MPLIED()
to smatch_imp
l
i
e
d
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpenter
co
d
e churn: rename S
M
_DEBUG()
to
sm_debug()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpe
n
ter
code churn: rename
smat
c
h_ms
g
() to sm_m
s
g()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
move
m
y_id para
m
ete
r
[part 2 of
2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
pente
r
Mo
v
e m
y
_id parameter
.
[p
a
rt
1 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Carpe
n
ter
I
mprove check
_
err_pt
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
D
a
n
Carpenter
functio
n
w
as supposed to be static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
enter
d
isab
l
e s
m
atch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
Random ug
l
y changes to check_overflo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
n
t
er
S
top printing
s
o muc
h
info all the time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
pe
n
ter
New
o
ption
:
--spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpent
e
r
R
emo
v
e opt
i
mization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Ad
d
check_
a
ssigned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fix calculatin
g
size
o
f()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpente
r
return UN
D
E
FINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
T
alk abo
u
t
smatch_scripts/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpenter
Improve get_imp
l
ie
d
_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpent
e
r
correct for
m
at
.
warning:
=
>
warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
p
e
nte
r
Ad
d
some
strip_expr()
c
alls t
o
the function
hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n C
a
rpenter
Improve
b
uffer overflow check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Da
n
Carpenter
in
t
rod
u
ce smatch_c
o
n
t
ainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan
Carpen
t
e
r
introduce set_state_expr() and friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
ad
d
ch
e
ck_dere
f
_che
c
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
r
pen
t
er
ad
d
e
d check_init
i
alizer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
penter
new hoo
k
: add_mod
i
fication_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpente
r
move some declar
a
tions
o
ut of smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
D
a
n Carpenter
Updat
e
sm
a
t
c
h_data for 2
.
6
.
31-
p
re3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
I
m
prove
the displaye
d
variab
l
e na
m
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
fi
x
buf
f
er overflow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan
Carpenter
Add
c
heck_balanced
.
c and smatch_data/
k
er
n
el
.
balanced
_
fu
n
cs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpent
e
r
PTR_
E
RR(ER
R
_PTR(-42)) is n
o
n
z
ero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Car
p
enter
check_memory
.
c: use t
h
e
add_scope_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Ca
r
pente
r
Add scoped_
s
tate()
a
nd add
_
scope_hoo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpent
e
r
smatch
_
implied:
o
nly print the nr_c
h
ildren message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next