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
revert part of f4a459292e339
2009-11-28
Dan Carpent
e
r
r
e
vert part of f4a4592
9
2
e
339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Car
p
ente
r
s
m
atch_
e
xtra: impro
v
e and fi
x
ass
i
gnment hand
l
in
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
sc
o
ped_state() mak
e
the
paramet
e
r o
r
der m
a
tch
e
v
e
r
ythi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
che
c
ks: remove some show_spec
i
al()
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
smatch_helper
.
c remove many calls to sh
o
w
_special
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carp
e
n
ter
small c
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
fix bug with function
implic
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
e
x
it and
ExitPr
o
cess don't
r
e
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra
.
c: remove some show
_
s
pecial() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arp
e
n
t
e
r
chec
k
_deref_check: get rid of
s
ome fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
ente
r
spel
l
ing: mem
e
ry => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
disg
u
sting hack
t
o stop f
a
lse p
o
sitive
buf
f
er ov
e
r
f
l
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
F
ix += a
n
d -= handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix some l
o
c
k
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
wine: RpcRaiseException never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
add optio
n
-
-
f
u
ll-p
a
th
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine:
c
heck for
l
ock
i
ng
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carp
e
nte
r
F
ix
s
om
e
revers
e
d if
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can handle
n
ull pointers: if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
wine: check
for
W
to
A
cross
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpen
t
e
r
Add INV
A
LID_HANDLE_VALUE c
h
eck for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
recompile a
l
l
the checks if
s
m
atch_extra
.
h ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
en
t
er
[pat
c
h 9/9
]
l
ast patch to
re
m
ove
U
ND
E
FIN
E
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[pat
c
h
8
/many]
deal w
i
t
h
va
r
iable_non_zero() (UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
e
n
ter
[
p
atch 7/many] no UNDEF
I
N
ED
f
r
o
m
g
e
t_val
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 6/many] rem
o
v
e
U
N
DEFINED f
r
om
l
ast_stmt_
v
al()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[
patch 5/many] get rid of a few more UNDEFINEs s
m
atch
_
ext
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch
4
/
ma
n
y] ge
t
r
id of U
N
DEFINED in smatc
h
_ran
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3/many] r
e
move
U
N
D
EFINED from
get_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpe
n
ter
[pa
t
ch 2/many]
get_im
p
lie
d
_v
a
lue(
)
shoul
d
no
t
return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patc
h
1/ma
n
y
]
get rid
of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpe
n
ter
Add
validatio
n
t
est f
o
r check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
Make
s
o
me
ker
n
el specific stuff depen
d
o
n -p=ke
r
nel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carp
e
nt
e
r
Add
a new (soon to b
e
mandatory) -
-
pro
j
e
c
t= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n
C
arpen
t
er
Make smat
c
h
i
nst
a
l
lable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
try handle do
{} w
h
ile (i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Car
p
enter
t
r
y handle ++ and -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Da
n
Carpenter
I
m
p
rove handlin
g
: do
{
} whil
e
(--cont
i
nue
>
= 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 Ca
r
penter
kfree_s
k
b() wa
r
nings are no
t
spam
m
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Da
n
Carpenter
Handle der
e
ferences like *fo
o
no
t
jus
t
foo->b
a
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Da
n
Carpenter
G
e
t rid of t
h
e
b
itwis
e
or
c
h
e
ck
.
It didn't find
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add
_
_
raw_spi
n
_lock/u
n
l
ock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan
Carpenter
Make ranged functi
o
ns pas
s
the a
s
s
ignment expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan
Carp
e
nter
M
a
ke variable initi
a
l
i
zation into a
s
sig
n
m
en
t
s
t
atements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
D
a
n Ca
r
pen
t
er
Delete check_initializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Car
p
e
nter
Modify the
return hook to pass an expressi
o
n
i
n
stea
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Ca
r
pe
n
ter
Do c
l
ear the
r
ang
e
info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpen
t
er
intro
d
u
ce i
s
_er
r
or_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
C
a
rpenter
make functio
n
d
e
c
lara
t
ion static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n Carpenter
Do n
o
t
accide
n
tall
y
delete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Ca
r
pente
r
New
m
issing dev_put(
)
c
he
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan
Car
p
enter
Handle if
(
(dev
=
f
oo()) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan C
a
rpenter
silly false positive:
ret
u
rn
f
o
o; <- foo possibl
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
an
C
arpenter
Update smatc
h
_data to
2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n Ca
r
p
enter
Add some co
m
ments and
copyright
notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
a
r
p
enter
sm
a
ll clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
pe
n
ter
Fix segfau
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow
people to us
e
kcheck
e
r file
.
o
a
s
well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Initialize valu
e
s properly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn the
two
pass system off by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpe
n
ter
Op
t
imizati
o
n:
prepend() -> ap
p
end()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Da
n
Carpent
e
r
Print an
e
rror for this: if (a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dual p
a
ss s
y
stem [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Du
a
l pass system [p
a
tch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n
Carpenter
c
l
e
an up: move DIMPLI
E
D() to s
m
at
c
h
_implie
d
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code churn: rename SM_
D
EBUG() to s
m
_
debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpe
n
t
er
code
c
hurn: rena
m
e smatc
h
_msg()
to sm_
m
sg(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
m
ove my
_
id
p
a
rameter
[part 2 o
f
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
Move my_id paramete
r
.
[par
t
1
of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan C
a
r
p
enter
Improve check_e
r
r
_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
f
unction was sup
p
ose
d
to be sta
t
ic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
disab
l
e sm
a
tch_cont
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Random ugly cha
n
ges to c
h
eck_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nter
S
to
p
print
i
n
g
s
o
much info a
l
l
the time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpen
t
er
New option: --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n Carpenter
Remove opti
m
iz
a
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an
C
arpente
r
Add check_ass
i
g
n
ed_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fi
x
calculating
s
izeof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpen
t
er
return UND
E
F
I
NED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
T
a
l
k abou
t
smatch
_
sc
r
ipts/kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpente
r
Improve get_implied_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
corr
e
ct f
o
rmat
.
w
a
r
ning
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
t
er
Add some strip_expr()
c
alls to th
e
f
unct
i
on ho
o
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Car
p
enter
Im
p
rove b
u
f
f
er overflow ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Da
n
Carpenter
introdu
c
e smatch_co
n
t
a
i
n
ers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
D
an
C
arpenter
introduc
e
set_
s
tat
e
_expr() and fr
i
end
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arpenter
a
d
d
c
heck
_
deref_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n Car
p
enter
added
c
hec
k
_i
n
itiali
z
er_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
new
h
oo
k
: add_modification
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan C
a
rpenter
move some
decla
r
ations out
of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Da
n
Carpente
r
Up
d
ate smatch_data for 2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Ca
r
p
e
nter
Improve
t
h
e
display
e
d varia
b
le names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
fix buffer overflow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan
Carpenter
Add
c
h
eck_balanced
.
c an
d
s
m
a
tch_d
a
ta/
k
ernel
.
bal
a
nced_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
PTR_ERR(E
R
R_P
T
R
(-42)) is n
o
n
zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
c
h
eck_
m
emor
y
.
c:
u
s
e the add_sc
o
pe_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n Carpe
n
ter
Add scoped_state() and add_s
c
o
p
e_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
arpenter
s
match_implie
d
: only print the nr
_
c
h
ildr
e
n
m
e
s
s
a
ge
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpe
n
ter
smatch_
e
xtra: fix (foo != 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next