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
check_overflow: handle arrays inside structs
2009-12-23
D
a
n Carp
e
nter
ch
e
ck_
o
ver
f
low: hand
l
e
a
r
rays
i
nside
structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
p
e
n
t
er
Fix crashing bug: func(
a
& b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpenter
warn
a
bout if(x); ty
p
e code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
p
r
eced
e
nc
e
:
warn about: if (!a &
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpente
r
err_ptr
:
it's
p
erfectly ok to
return both null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
white space change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remove hac
k
fo
r
handling Steve Rostedt's i
f
c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
C
arp
e
nter
check_unused_r
e
t
.
c: fix check
f
or local variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpent
e
r
check_unu
s
ed_ret
.
c
:
ig
n
ore
unre
a
chable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
If --de
b
u
g
is pas
s
ed the
m
e
s
s
ag
e
s
f
rom the first
p
ass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Add a check for unused assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
simpl
e
check for fo
r
mat
string
vulnerabili
t
y
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle EXPR_FORCE_CAST in __
s
plit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[pat
c
h 2/2] r
e
d
e
fine SYM_HOOK
e
ntirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patc
h
1/2] Change definition of SYM_HOOK in smat
c
h
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
&(foo->bar) is not really a
d
e
reference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change expressi
o
n_stack t
o
expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Ca
r
pent
e
r
clean up
.
DEREF
_
H
OOK handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Ca
r
penter
che
c
k_
s
i
gned: ma
k
e
i
t depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
chec
k
_locks:
add
r
aw_lo
c
a
l_irq_enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
a
d
d check
fo
r
prec
e
dence errors like if
(
x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
fix select handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes
t
o comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arp
e
n
t
er
add __sma
t
ch_note("h
e
llo world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpen
t
e
r
pat
c
h up the new
c
heck
_
locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
m
o
ve
check_wine_lockin
g
.
c
over check_lo
c
king
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
delete the ol
d
ch
e
ck_l
o
cking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
F
ix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an Carpenter
s
eparat
e
out
t
he *_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fix
e
s
for unified wine
&
kernel l
o
c
k
ing s
c
ript
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Ca
r
penter
get_type() return pointer
f
or &foo type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
prin
t
messa
g
e on false com
p
are
s
because
o
f
s
i
gn
e
d
vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
ent
e
r
sup
p
res
s
gcc war
n
ing
.
whit
e
space
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
Merge branc
h
'master' of /home
/
dcarpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpen
t
er
clean
u
p kfree_
s
kb() c
h
eck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
add __smatch_cur_slist
(
) debug fu
n
ct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
ar
p
enter
i
d
is supposed to be
unsigned shor
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
e
r
f
ix crashing
b
ug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start caring about th
e
types
a
l
it
t
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
cl
e
anup: uses ARR
A
Y_
S
IZE() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Print nam
e
instead of ID in
debu
g
output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Add
--pr
o
ject
=
kernel to k
c
heck
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start merg
i
ng th
e
kernel loc
k
ing
a
n
d wine loc
k
ing checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Car
p
e
nte
r
hand
l
e
i
f (
*
ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
declare char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
M
o
re range fixes
.
(
Delete and merge duplic
a
tes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop the pr
e
_condition_stack at the correct
p
o
i
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan
C
arpente
r
fix i
s
sue
with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
F
i
x get
_
imp
l
ied
_
value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpenter
Fix n
e
g
a
t
e bug
.
(De
r
e
f
eren
c
in
g
u
n
de
f
i
n
ed
false positive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Up
d
ate comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpen
t
er
w
i
ne: wine_
c
h
e
c
ke
r
.
sh for ch
e
cking individual f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add more functi
o
ns that
don't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
rev
e
r
t
par
t
of f
4
a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
s
match_extra: improve and fix
assignment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
scoped
_
s
t
at
e
() mak
e
the par
a
me
t
er or
d
er match e
v
e
r
ything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
chec
k
s
:
remo
v
e s
o
m
e show_
s
pecial() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
smat
c
h_helper
.
c
remo
v
e many
calls to sho
w
_special
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
small
c
lean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
fix bug with func
t
ion implicat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit
a
nd ExitPr
o
c
ess d
o
n't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpen
t
e
r
smat
c
h_ex
t
ra
.
c: r
e
move s
o
me show_sp
e
ci
a
l() cal
l
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
c
h
eck_d
e
r
e
f_che
c
k:
get rid of
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpe
n
t
e
r
spelli
n
g: m
e
mery
=
>
m
emory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
d
is
g
usting hack to
stop fal
s
e
p
o
sitive
b
u
ffer overflow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix
+= an
d
-= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
wine: fi
x
some lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
r
p
enter
wine
:
RpcRaiseExceptio
n
never re
t
urns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
n
t
er
add op
t
ion
--f
u
ll-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
arpente
r
wi
n
e
:
check for lo
c
king bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carpent
e
r
Fix s
o
m
e
r
e
v
ersed if condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
free can
handle null
pointers: if (foo) fr
e
e(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
wine: chec
k
for WtoA c
r
oss calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpen
t
e
r
Add I
N
VALID
_
H
A
ND
L
E_VA
L
UE check for win
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
recompile all the ch
e
cks if smatch_extra
.
h
chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[p
a
tc
h
9/9] last patch to
r
emove UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[patch 8/many]
d
eal with
variab
l
e_
n
on_zero() (UNDEFINE
D
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 7/many] no UNDEFINED from
get_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpen
t
er
[patc
h
6/many] remove UNDEFI
N
ED
from last_stmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
enter
[patch 5/m
a
ny]
g
et ri
d
of a fe
w
more UNDEFINE
s
smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
atc
h
4/many] g
e
t rid of U
N
DEFINED
i
n smat
c
h_ran
g
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
n
ter
[patch
3
/m
a
ny] r
e
move UNDEFINED fro
m
get_i
m
plied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pente
r
[patch 2/ma
n
y] g
e
t_implied_value() sh
o
u
l
d n
o
t return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
[patch
1/
m
any] get rid of UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Ca
r
penter
A
dd validati
o
n test
f
or ch
e
c
k
_held_
d
ev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Make some
kernel sp
e
cific
s
tuff depend on -p=ker
n
el
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new
(s
o
on to be mandatory) --
p
roject= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpente
r
Make s
m
a
t
ch installabl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle do {} whi
l
e (
i
--
> 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
try
handle
+
+ and -- bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpente
r
I
m
prove handling: do {} w
h
i
le (--continu
e
>= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpe
n
ter
Small cle
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
kfr
e
e_skb() warni
n
gs are not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Da
n
Carpenter
Handle
d
e
r
eferences
lik
e
*foo
n
ot just foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Get
r
i
d of th
e
bi
t
wi
s
e or
c
heck
.
It didn't fi
n
d bu
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpente
r
add
_
_raw_spin_lock/u
n
l
o
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Da
n
Car
p
enter
Make ranged
functions pass the assign
m
ent expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpente
r
Ma
k
e
v
a
r
iable initi
a
lization into ass
i
gnm
e
n
t
stat
e
m
e
nt
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
D
an C
a
rpenter
D
elete check_initia
l
izer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan
C
arpenter
M
odify the return h
o
ok to
pass an expression in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next