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
fix crashing bug.
2009-12-07
Dan Carpent
e
r
fix crash
i
n
g
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
S
t
art caring about the typ
e
s a lit
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
clea
n
up
:
uses ARRAY_SIZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
Print n
a
me inst
e
ad o
f
ID in debu
g
o
utput
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Add --project=kernel to kc
h
ec
k
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
Car
p
enter
S
t
art merging
t
he ke
r
nel
l
ocking and wine locking
checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carp
e
n
ter
handle if
(
*
ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
decla
r
e char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpe
n
t
e
r
More ra
n
ge fi
x
es
.
(Delete and merg
e
duplicate
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpe
n
t
e
r
Pop
t
he pre_co
n
d
i
t
i
o
n
_
s
tack at the correct
p
oint
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Ca
r
penter
f
i
x issue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n C
a
rpenter
Fix
get_im
p
l
ie
d
_
value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(Dereferenci
n
g
u
n
d
efined false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
U
pdate c
o
mment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
w
i
ne: wine_ch
e
c
k
e
r
.
sh for checking individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpe
n
te
r
wi
n
e: add mo
r
e fun
c
ti
o
ns that d
o
n
't retu
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Car
p
enter
rever
t
p
art of f4a
4
59292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
s
match_extr
a
:
i
mprove and f
i
x assignment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpente
r
sco
p
e
d
_state()
m
ake the paramete
r
or
d
e
r match everyt
h
in
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remove some show_special() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Ca
r
penter
smatch_hel
p
er
.
c remove
m
any ca
l
ls to sho
w
_special()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Car
p
ent
e
r
small clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix
b
ug with
f
unction implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
e
xit and ExitPr
o
cess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch
_
e
xtra
.
c: remov
e
s
o
me show_special() c
a
lls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Ca
r
pent
e
r
check_
d
eref_check: get rid of
some false po
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spell
i
ng: memery => memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
disgusting hack to stop false positive buffer ove
r
f
l
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
arpenter
Fix
+
= a
n
d -=
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
wine: fix some lock
n
am
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
wine
:
Rp
c
Raise
E
xcept
i
o
n
n
e
v
e
r
returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
a
dd option --f
u
ll-pat
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Micha
e
l Stef
a
niuc
Fix a
t
y
po
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Car
p
e
nter
wi
n
e:
check for l
o
cking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n C
a
rpenter
Fix some reversed if con
d
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free ca
n
handle null pointers: if (foo) fre
e
(fo
o
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine:
check fo
r
W
t
oA c
r
oss c
a
lls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Add IN
V
ALID_
H
ANDLE_VA
L
UE check for w
i
ne
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
recompile all the checks
i
f
sma
t
ch_ex
t
ra
.
h
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch 9
/
9
] last p
a
tch to rem
o
ve UNDEFI
N
ED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 8/man
y
] de
a
l with variab
l
e_n
o
n_zero() (UND
E
FINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
enter
[
p
a
t
ch 7/many] no UND
E
FINED from get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpente
r
[patch 6/many
]
remove UN
D
EFI
N
ED from last_stmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[pa
t
ch 5
/
many
]
get rid o
f
a f
e
w
mo
r
e UNDEFINEs smatch_e
x
tra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
4
/man
y
]
get rid o
f
UNDEFINED
i
n smatch_ran
g
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3/many] remov
e
UNDEFINED from get_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Ca
r
penter
[patch
2
/many] get_implied_
v
a
lue(
)
sh
o
uld
n
ot return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[
pat
c
h 1/
m
a
n
y] get
r
id of UN
D
EFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpe
n
ter
Add validation te
s
t for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
ar
p
ent
e
r
Make some kernel s
p
e
c
ific stuff depe
n
d
o
n
-p=ker
n
e
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
C
arpe
n
t
e
r
Add a new (soon to be manda
t
ory) --
p
roj
e
ct
=
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 Ca
r
penter
t
r
y handle do {} while (i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpen
t
e
r
try ha
n
dle ++ and -
-
b
et
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpente
r
Imp
r
o
ve handl
i
ng: do {} while (
-
-
c
o
n
tinue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
rpenter
k
f
r
ee_skb(
)
w
arning
s
are not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan
Carpenter
Handl
e
dereferences
l
i
ke *foo n
o
t
just fo
o
->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
an Car
p
ente
r
Get rid of t
h
e b
i
twise or check
.
It didn't find bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpente
r
add __raw_spin_lock/unlock
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan
C
arpenter
M
a
ke ra
n
ge
d
fu
n
cti
o
ns
pass
the assignment expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan C
a
rpenter
Make vari
a
b
le initial
i
za
t
i
on int
o
assignment stat
e
me
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Ca
r
penter
Delete che
c
k_initial
i
zer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify t
h
e return ho
o
k to pass
an
e
xpression instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carp
e
nter
Do cle
a
r the ra
n
g
e
info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
Carpent
e
r
introduce is_error_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan C
a
rpe
n
ter
make function
declaration
s
tat
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan
Carpenter
D
o
n
o
t accidentally d
e
let
e
.
h f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
rpenter
N
ew missing
d
ev_p
u
t() che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan
Carpenter
Handle if ((dev
=
f
o
o()) == NUL
L
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpent
e
r
sil
l
y false positive: return foo; <-
f
o
o
possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpente
r
Upda
t
e smatch_data to 2
.
6
.
3
2
-
rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
a
r
penter
Add
s
ome comments and c
o
pyri
g
ht notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arpent
e
r
small
cle
a
n up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpen
t
er
F
i
x segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
A
l
l
o
w pe
o
ple
to use kch
e
cker f
i
le
.
o as w
e
l
l as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carpe
n
te
r
Initiali
z
e values
p
rope
r
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n Carpenter
Turn the
t
wo p
a
ss syst
e
m off by def
a
ult
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Optimizatio
n
: prepend
(
) ->
a
ppend()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpente
r
Print an e
r
ror for t
h
is
:
if (
a
| b
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Du
a
l
p
ass system [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Ca
r
pe
n
ter
D
u
a
l
pass s
y
stem
[
patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
clea
n
up: move DI
M
PLIED() to smat
c
h_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
code
c
h
u
rn:
rename
SM_
D
EBUG() t
o
sm_de
b
ug(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
p
enter
cod
e
c
h
u
r
n
: rename s
m
atch_msg() to sm_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpe
n
t
e
r
move my_id para
m
eter [part 2 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
Move my_id
parameter
.
[part 1 of 2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan
C
arpenter
I
m
prove ch
e
ck_err_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
D
an Carpenter
function
w
as supposed to
b
e
s
tati
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
enter
disable s
m
atch_contain
e
rs
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
Random ug
l
y change
s
to che
c
k_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n
C
arpenter
S
t
op printing
s
o much info all the ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rp
e
n
te
r
New option
:
--s
p
amm
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an Carpenter
Rem
o
v
e optim
i
z
a
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
A
d
d
check_assi
g
n
e
d_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
fi
x
calculating
s
i
ze
o
f
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n
Carpenter
return UNDEFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
pe
n
ter
Talk about smatch_scripts/kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpente
r
Improve g
e
t_implied_v
a
lue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
a
rpenter
corre
c
t format
.
war
n
ing: => warn
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next