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
update smatch_scripts/ because of --info format changes
2010-01-07
D
a
n
C
a
r
pente
r
update
smatch_scripts/
because of
--info for
m
at change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
check
offset after
use:
ignore
foo = &array[
b
ar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
chec
k
_overflow: move
s
ome mor
e
stuff under the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
clean u
p
out
p
ut: war
n
in
g
:
=
> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpen
t
er
modi
f
ication_hook: -- and ++ are m
o
difica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n
Carpenter
It
m
ak
e
s sense
to check an array of
f
set if
it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carpente
r
check_ove
r
flo
w
:
s
e
pa
r
ate
t
he
two type
s
of
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
arp
e
nter
Fix
p
rece
d
ence/crashing bug check_overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpente
r
chec
k
_over
f
lo
w
: check f
o
r limit
i
ng offset after u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpenter
introduce alloc_
s
tate_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carp
e
nter
clea
n
u
p
: rename al
l
oc_state() => all
o
c_sm_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introd
u
c
e get_fuz
z
y_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
ar
p
enter
call_tree
.
p
l
: make
i
t an inter
a
c
t
i
ve prog
r
am
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
penter
cr
e
ate get_i
m
pli
e
d
_range
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an
C
arpe
n
t
e
r
s
m
_info
:
fix formatting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Da
n
Carpent
e
r
call
t
ree
:
initial
uploa
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
ter
dm
a
on
stack
:
move dat
a
to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
C
a
rpente
r
t
r
a
ce_pa
r
ams
.
pl: rewr
o
te so it's
f
aster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
add --param-mappe
r
b
a
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
Ca
r
pe
n
t
e
r
cleanup
u
p
opt
i
on parsing
a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
a
d
d
option:
--info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
re
d
o how o
p
tions
a
re parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
pente
r
cleanup: de
b
ug
_
impli
e
d_states => opt
i
on_d
e
bug
_
implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
clea
n
u
p
: de
b
ug_
s
tates => option_
d
ebug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_mapper: add --param-mapper
o
pt
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma
on
s
tac
k
: elim
i
nat
e
some
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
arpenter
Add dma fun
c
tion
s
tha
t
map to usb_
c
o
n
trol_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
s
match_scripts/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
enter
p
aram
_
m
a
pper: i
n
itial co
m
mi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
dma
_
on_st
a
ck
:
&foo means
i
t'
s
an error
too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
Carpenter
upda
t
e smatch_data to
2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_ov
e
rfl
o
w
:
fix crashing b
u
g
(divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
ch
e
ck_overflo
w
: fix c
r
ashing bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n
Car
p
e
nter
a
d
d
a
check for
passing stack
vari
a
bles to dma functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpe
n
ter
chec
k
_use
d
_re
t
urns
:
i
gnore inb, inw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpenter
u
pdate validation t
e
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carp
e
nter
che
c
k
_
o
verflow: handle arrays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carpe
n
ter
Fix
c
rash
i
ng bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
e
r
warn about if(x); typ
e
c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
pr
e
ce
d
ence: warn ab
o
ut: if (!a & b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
err_ptr: it's perfectly ok
t
o return both null
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
a
rpenter
w
hi
t
e space
chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
pent
e
r
Remove hack for handling Ste
v
e Rostedt's i
f
conditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
e
c
k_u
n
used_
r
et
.
c: fix c
h
eck for loca
l
variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
check_un
u
sed_ret
.
c: ignore unreachable assignment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
C
arpenter
I
f --
d
ebug is passed
t
h
e messages
f
r
o
m the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpenter
Add a c
h
eck for unused assi
g
nments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Ca
r
p
enter
sim
p
le check
f
or
format string vulne
r
a
bility
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle
EXPR_FORC
E
_
C
AST in
_
_sp
l
it_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/2] r
e
define SYM_HOO
K
ent
i
rely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Da
n
Carpenter
[pa
t
ch
1/2]
C
h
ange defin
i
tion
o
f SYM_
H
OOK
in smatch_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->bar) is not r
e
ally a derefe
r
ence
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpent
e
r
ch
a
nge expression_
s
t
a
ck
t
o expression_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
e
r
clean u
p
.
DEREF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
C
a
r
penter
check
_
s
igned: make i
t
depend on --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_locks:
a
dd raw_local_
i
rq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
n
t
er
add check for
p
r
ece
d
ence erro
r
s like if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fi
x
se
l
e
c
t handl
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpe
n
ter
changes to c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add __smatch_not
e
("hell
o
world"
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
ente
r
patch up the
n
ew
c
heck_locking
.
c
r
eplacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pente
r
move ch
e
ck_wine_lo
c
king
.
c
over check_lockin
g
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
d
elete th
e
ol
d
check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
F
i
x
c
ras
h
in
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Carpenter
separate o
u
t the *_bh(
)
lock
h
and
l
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carpenter
fixes for unif
i
ed wine & kernel
loc
k
in
g
scr
i
p
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_
t
y
p
e() ret
u
rn
pointer for &foo type
e
xpressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpe
n
ter
print mess
a
ge on false com
p
ares because of signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpe
n
ter
suppress
gcc warning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
Merge br
a
n
ch '
m
aster' o
f
/
h
o
m
e/dcarpen
t
e
r
/
p
r
ogs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
p
e
nter
c
le
a
n
u
p
kfre
e
_
s
kb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
arpenter
add __smatch
_
cur_slist()
d
ebug f
u
n
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
id is sup
p
osed to b
e
unsign
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an
C
a
r
penter
f
ix
c
r
a
shing bu
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an C
a
rpenter
Start caring
about the type
s
a
l
i
t
t
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cleanup: uses ARRAY_
S
I
Z
E
(
)
m
a
c
ro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Pri
n
t name i
n
stead of ID in debug
o
utput
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
Add --pro
j
ect=kernel to
kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
ar
p
enter
Start
m
ergin
g
the kern
e
l locking
a
nd w
i
n
e l
o
c
ki
n
g checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
ha
n
dle
i
f
(*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 range fixes
.
(Delete and merg
e
dupli
c
ates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop the pre_condition
_
s
t
ac
k
at the correct p
o
int
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
D
a
n Carpenter
fix i
s
sue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
pente
r
Fix g
e
t_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n C
a
rpenter
Fix ne
g
ate
bug
.
(De
r
ef
e
r
encing unde
f
i
ned
f
alse positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Upda
t
e comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpen
t
er
w
i
ne: wine_checker
.
sh for checking individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine:
a
d
d
m
ore functi
o
ns that
don't ret
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Car
p
enter
rev
e
r
t
pa
r
t of f4a459
2
9
2e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
p
enter
sm
a
t
c
h_extra: improve and fix assignmen
t
ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_state(
)
make the par
a
meter order matc
h
everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remo
v
e
some show_s
p
ecial
(
) cal
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_helper
.
c remove
m
any
c
a
ll
s
to show_
s
pecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
sma
l
l c
l
ean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
fi
x
bug
w
ith function i
m
plications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
e
xit and ExitProc
e
ss don
'
t return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
smatch
_
e
xtra
.
c: remove som
e
show_s
p
eci
a
l()
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arp
e
nter
c
heck_
d
e
ref_check: ge
t
rid o
f
s
o
me fal
s
e positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spellin
g
: m
e
mery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next