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
introduce: get_dinfo()
2010-01-08
D
a
n
Carpe
n
ter
int
r
oduce:
get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
c
h
eck_over
f
l
o
w: handle addres
s
es differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra: clea
n
up
.
state can neve
r
be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpent
e
r
check_overflow: i
g
nore th
e
last member o
f
structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Car
p
ente
r
smatch_extra:
I
d
o
n't like empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
n
te
r
add s
m
atch_sc
r
ip
t
s/gen_array_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_data/kernel
.
arr
a
y_bounds
.
re
m
ove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
check_overflow
:
an an
"
e
r
ror: " prefix to
a
printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
smatch_script
s
/show_unrea
c
hable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
new script:
show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce getting_a
d
dress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
updat
e
smatch_scripts
/
becaus
e
of
-
-
info fo
r
m
a
t
c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
ch
e
ck offset aft
e
r use: ig
n
ore foo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_overfl
o
w: m
o
ve so
m
e more stuff under the -
-
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
cl
e
a
n
u
p output:
warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modificatio
n
_hook:
-- and ++ are mo
d
ifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Ca
r
penter
It makes
sense to check an
array
o
f
fset if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
rpente
r
check_overfl
o
w
:
separate the
t
wo t
y
pes of
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carpenter
Fix precedence/cra
s
h
ing bug check_o
v
erfl
o
w
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Ca
r
penter
c
heck_overflo
w
: ch
e
ck
f
or limiting off
s
et afte
r
u
s
ing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
p
ente
r
intr
o
duce all
o
c_state_
n
um()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
an Car
p
enter
cleanup
:
rename al
l
oc
_
state(
)
=>
a
l
loc_sm_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
n
ter
in
t
roduce get_fuzzy_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
a
r
p
enter
call_tree
.
pl: ma
k
e it an inter
a
ctive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
c
r
eate get_
i
mplied_range_
l
i
s
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_in
f
o: fi
x
f
o
rmatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
c
a
ll tree: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma
o
n stack
:
move dat
a
to
smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
t
e
r
t
race_params
.
pl:
r
e
wrote so it's f
a
ste
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add --param-ma
p
per
b
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup
u
p op
t
i
o
n pa
r
sing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpe
n
ter
ad
d
option: --
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpe
n
ter
red
o
ho
w
options are
p
a
rsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
cleanup: d
e
bug_implied_sta
t
es
=
> opti
o
n
_debug_impli
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
cleanup
:
de
b
ug_stat
e
s => opt
i
on
_
debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
param_mapper
:
add -
-
para
m
-m
a
pper
o
p
ti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma on
s
tack: eliminat
e
s
ome false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
Add dma
function
s
t
hat map to usb_control_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add smatc
h
_
s
c
ri
p
t
s
/trace_par
a
ms
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
te
r
param_mapper:
i
n
i
tial c
o
mmit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
p
en
t
er
dma_on_stack: &foo
means
it's an erro
r
t
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
te
r
upd
a
te smatch_
d
ata
t
o 2
.
6
.
33-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpente
r
check_overf
l
ow:
f
i
x crashing bug
(
divide by zer
o
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
Carp
e
nter
c
heck_ov
e
rflow: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan
Carpent
e
r
add a check for
passing stack
v
ariables to dma f
u
nctio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n
Carpenter
check_use
d
_return
s
: ignore inb, inw, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
update va
l
i
d
atio
n
tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carpenter
che
c
k_over
f
low:
handle arrays
i
nside struct
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Ca
r
pent
e
r
Fix c
r
ashin
g
bug:
f
u
nc(a
&
b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
an
Ca
r
pe
n
ter
warn
about
i
f
(x); type c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Car
p
ente
r
precedence: warn about: i
f
(
!
a & b
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpent
e
r
err_pt
r
: it's
p
erfectly o
k
to re
t
urn b
o
th
null
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Ca
r
p
en
t
e
r
w
hite space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
enter
Remove hack for handling Steve Ro
s
tedt's if conditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
heck_unused_ret
.
c:
f
i
x che
c
k
fo
r
lo
c
al v
a
riables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
chec
k
_unused_ret
.
c: ignore unrea
c
hable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Ca
r
penter
If --debu
g
is pass
e
d the
m
essa
g
es from the
f
i
rst pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
pen
t
er
Add a check
f
or unuse
d
assign
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple ch
e
ck for format
string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpente
r
Handle EXPR
_
FORCE
_
CAST in __spl
i
t
_e
x
p
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n
Carpenter
[patch 2/2] redefi
n
e
S
YM_HOOK enti
r
ely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2
]
Ch
a
n
g
e definition of SYM_HOOK in smatc
h
_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
&
(
foo->bar) is n
o
t really a
d
e
reference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
ter
change
e
xpr
e
ssion_
s
tack to ex
p
ression_li
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Car
p
e
nter
c
l
ea
n
up
.
D
E
R
E
F_HOOK handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
a
r
pe
n
te
r
check_signed: mak
e
it d
e
pend on -
-
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_l
o
cks: add raw_
l
ocal_irq_e
n
able()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
a
d
d check
for precedence errors like if
(
x
& y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fi
x
select handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an C
a
rpenter
chang
e
s to c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an
C
arpenter
add __smatch_note("he
l
l
o
wor
l
d")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
p
atch up the
n
ew
c
hec
k
_locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rpenter
m
o
ve
chec
k
_
wi
n
e_lo
c
kin
g
.
c over
ch
e
c
k_lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
d
e
lete
the
old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
F
i
x crash
i
ng bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carpenter
separat
e
o
u
t
t
he
*_b
h
() lock
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carp
e
n
te
r
fixes for unifie
d
wi
n
e & kern
e
l locking
script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carp
e
nter
get_type() re
t
urn poin
t
er for &foo t
y
pe ex
p
ressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Ca
r
penter
pr
i
nt messag
e
on fal
s
e c
o
mpares because of
s
ig
n
ed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
sup
p
ress gcc wa
r
ning
.
whi
t
espace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
n
t
er
Merge
branch 'master' of /home/dcarpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
t
e
r
clean up kfree_sk
b
(
)
c
heck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Car
p
ent
e
r
add
__smatch_cur_slist()
debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
id is
s
u
pposed to be unsigned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
C
arpe
n
t
e
r
f
ix crashi
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an C
a
rpen
t
er
Star
t
caring
abou
t
the
types a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
cleanup:
uses
A
RRAY_SIZE(
)
m
a
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
P
rint
n
a
me
instead of ID in de
b
ug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
ter
Add --proj
e
ct=kernel to kc
h
ecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
S
tart merging the
k
e
rnel locki
n
g an
d
win
e
lock
i
ng
checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if (*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
declar
e
cha
r
*
a
s
c
onst
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carp
e
nter
M
ore
r
ange fixes
.
(Delete and merge
d
uplic
a
tes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
a
rpenter
P
o
p the p
r
e_co
n
dition_stack
at the correct po
i
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fi
x
is
s
ue with
r
a
ng
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpenter
F
i
x get_impl
i
e
d
_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpenter
Fix negate bug
.
(Der
e
fer
e
ncing undefined
f
alse po
s
itive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
U
pdat
e
com
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Car
p
ente
r
wine: wine_c
h
eck
e
r
.
sh for checking
indivi
d
ual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
ter
wine: add more f
u
nctio
n
s t
h
at d
o
n
'
t return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next