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 script: show_ifs.sh
2009-11-28
Da
n
Car
p
en
t
er
c
h
eck_der
e
f_check: g
e
t
rid o
f
some
f
alse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
rpe
n
ter
spelling:
me
m
ery =>
memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpe
n
ter
d
i
sgusti
n
g hac
k
to stop false pos
i
tive b
u
ffer o
v
erfl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
ter
Fix += and -= han
d
lin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an C
a
rpente
r
wine: fix some
l
oc
k
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an
C
a
r
penter
wine:
RpcRai
s
eE
x
ception never re
t
urns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
a
dd
option --
f
ull
-
p
a
th
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Mi
c
hael St
e
f
a
niuc
F
i
x
a
typo
.
commit
|
commitdiff
|
tree
2009-11-26
D
an Carpenter
wine: check for l
o
cking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carpenter
Fix some r
e
versed i
f
con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carp
e
nter
fre
e
can han
d
le null
p
ointers: if (foo)
f
ree(foo
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
wine: check for WtoA cro
s
s calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
Add INVALI
D
_H
A
NDLE_V
A
LUE check fo
r
wi
n
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
rpenter
rec
o
m
p
ile
a
ll the
c
heck
s
if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpenter
[patch 9/9] last patch
t
o remo
v
e
UNDEFIN
E
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
p
en
t
e
r
[patch 8/many
]
d
eal w
i
th variable_non_zero() (
U
NDEFINED
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an
C
arp
e
nter
[patc
h
7/many] no UNDEFI
N
ED
f
r
om
get_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[pa
t
ch 6
/
many
]
remove UNDEFINED from la
s
t_
s
tmt_va
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpent
e
r
[patch 5/many] get
rid of a
f
e
w more
UN
D
EFINEs s
m
atch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[
p
a
tch 4/many] get
r
i
d o
f
UNDEFINED in smatch_r
a
nges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patch 3/many] remove
U
NDEFINED f
r
om get
_
implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
[patch 2/m
a
n
y
] get_im
p
lied_
v
al
u
e(
)
should not re
t
ur
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[patch 1/many] get r
i
d of
U
NDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
nt
e
r
Add val
i
dation t
e
st
f
o
r
c
hec
k
_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Make some kerne
l
specific stuff de
p
end on
-p=kerne
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a ne
w
(soon to be ma
n
datory) --project= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
enter
Make smatch ins
t
a
llable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Carpenter
try ha
n
dle do {} while (i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Carpenter
try
hand
l
e ++
a
n
d
--
b
et
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Improve handli
n
g: do {} while (-
-
c
o
ntinue >= 0
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
C
a
r
p
enter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpe
n
t
er
kfree_sk
b
() warnings
a
re not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
a
n C
a
rp
e
nter
Handle
dereferences
l
ike
*
foo not
just foo->
b
ar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Car
p
enter
Get
rid of the b
i
tw
i
s
e or c
h
eck
.
It didn't find
b
u
gs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan C
a
rpente
r
add __
r
aw_sp
i
n_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
D
a
n
C
arpente
r
M
a
ke r
a
nged functions
p
ass the as
s
i
gn
m
e
nt expres
s
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Car
p
ent
e
r
Make variable
in
i
tiali
z
atio
n
into ass
i
gn
m
e
nt statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpe
n
ter
Delete check_
i
ni
t
i
a
lizer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Da
n
Carpenter
Modify
t
h
e
return hook to pass a
n
e
x
p
ression
in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpe
n
t
er
Do
c
lear
the range info s
o
early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
arpenter
introduce
is_error_return
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make function decl
a
r
a
t
ion static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carp
e
nter
Do
n
ot accidenta
l
ly delete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
r
pen
t
er
New mi
s
sing dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n
Car
p
enter
H
a
ndle if ((dev = foo()) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Car
p
enter
s
illy false
positive: return
f
oo; <- foo po
s
sibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
a
rpenter
U
p
date smatch_data to 2
.
6
.
32-
r
c6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add some c
o
mments and copyr
i
ght no
t
ices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arpenter
small clea
n
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Ca
r
p
enter
Fix segf
a
u
l
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
Car
p
e
n
ter
Al
l
o
w peo
p
le to us
e
kc
h
ecker file
.
o as well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Da
n
Car
p
enter
I
n
iti
a
li
z
e v
a
lues pro
p
erly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
arpenter
Tur
n
the two pass sys
t
em off
by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpen
t
er
Optimi
z
a
t
i
on: pre
p
end() -> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
D
a
n
Carpenter
Print an err
o
r
f
or t
h
is:
if (a | b
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Ca
r
penter
D
ual
p
ass
s
ys
t
em [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n Carpenter
Du
a
l
p
a
s
s system [patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
clean up: mov
e
DIMPLIED() to smatch_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n C
a
rpenter
code c
h
urn: r
e
n
a
me SM_DEBU
G
() to sm_deb
u
g
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpen
t
er
code
churn
:
rename
s
match_msg() to sm_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
an
Carpenter
move m
y
_id
p
aramete
r
[part
2
of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
Move my_i
d
pa
r
ameter
.
[pa
r
t 1 of
2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Car
p
e
n
ter
Im
p
rove che
c
k_err_p
t
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpen
t
er
functi
o
n was su
p
posed
t
o b
e
static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
disable smatch_co
n
tainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Ra
n
d
o
m u
g
ly changes to check_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpenter
Stop
p
rin
t
ing so
mu
c
h
i
nfo al
l
the time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpent
e
r
New option: --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an Carpenter
Remove optimiza
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
Add check_assigned_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
fix calcula
t
i
ng siz
e
of()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
retu
r
n UNDEF
I
NED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk abou
t
smatch_script
s
/
k
checker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpente
r
Impr
o
v
e ge
t
_i
m
plied_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpen
t
er
correct for
m
at
.
warning:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpent
e
r
Add som
e
s
t
rip_expr() calls to t
h
e func
t
io
n
hoo
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
Imp
r
ov
e
bu
f
fer overf
l
ow
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpe
n
ter
i
n
t
roduce smatch_contain
e
rs
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
intro
d
uc
e
set_state_ex
p
r() and frie
n
ds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n Carpe
n
te
r
add chec
k
_
deref_che
c
k
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added c
h
e
ck_initia
l
i
z
er_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpe
n
te
r
new hook:
a
dd_modific
a
t
ion_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move so
m
e
declaration
s
ou
t
of
smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
D
a
n Carpenter
U
pdate smatch_data for
2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
D
an Car
p
enter
I
mprove the displayed vari
a
ble names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
D
a
n Ca
r
penter
fix
buffer
o
v
e
rflow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan C
a
r
p
en
t
er
Add chec
k
_balanced
.
c
and smatc
h
_data
/
kernel
.
b
a
lanced_func
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
arp
e
nt
e
r
PTR_ERR(ERR
_
PTR(-4
2
)) is non zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
an
C
ar
p
en
t
er
c
h
eck_m
e
mory
.
c: use the add
_
scope_
h
o
o
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
a
r
pent
e
r
Add scoped_state() a
n
d
add_s
c
ope_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
Carpenter
s
match_implied: only print the nr_children message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
Carpenter
s
match_extra: fix
(
foo !
=
42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Ca
r
penter
Fix
o
v
e
rlapping
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carp
e
nt
e
r
c
h
eck_memory
.
c: fix reversed if st
a
tem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpente
r
Fi
x
an
o
ther bug caus
e
d by fu
n
ny tmp_range_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpent
e
r
Merge bra
n
ch '
n
ew_implications' into d
e
ve
l
2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
rpenter
Fix crashing
b
ug caused
b
y
t
h
e switch chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging: print the l
i
ne
n
u
m
b
ers i
n
merge_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpent
e
r
Make
switch st
a
tements work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
cle
a
n up
.
use true/
f
a
lse_comparison_ra
n
g
e_lr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next