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
precedence: cut down a few false positives
2010-01-17
Dan Carpenter
wine: p
p
_internal_
e
r
r
or()
d
oesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpen
t
er
unused
r
etu
r
n: warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
p
r
ecedence: m
a
ke test stricte
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
__
U
SE_ISOC99: silence a gcc war
n
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arpen
t
e
r
c
heck_de
v
_queue_xmit
:
mak
e
v
a
lid_
u
s
e
() sta
t
ic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Ca
r
pent
e
r
check_signed: change
s
ome error:
m
essages to
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpen
t
e
r
c
heck_
s
igned: fix and t
u
rn o
n
b
y default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
g
e
t_type()
:
f
i
x cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
get_value(
)
:
add i
n
itial support for handling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespa
c
e: "switch(" => "swi
t
c
h ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
get_ty
p
e(): don'
t
ignore casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpen
t
er
e
l
im
i
nate all the "x can't fit
into 0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
r
penter
fix
g
ett
i
ng
_
address(
)
function
s
vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpenter
add chec
k
_
d
e
v_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpenter
ad
d
--rare optio
n
for rare bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
introduce:
a
dd_mod
i
fication_
h
oo
k
_exp
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
i
m
pli
e
d cleanup: move poo
l
_
in_pools()
and is_
c
hecked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied cl
e
anup:
r
ename: get_eq_ne
q
() => separate_and_
f
ilter
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied clea
n
up:
s
eparate do_comp
a
re into its
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied clean
u
p: move get_impl
i
c
a
tions() low
e
r in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Ca
r
pe
n
ter
im
p
lied cleanup:
1 => L
E
FT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied cleanup: clea
n
handl
e
_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied clean
u
p: rename state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
m
ove check for !is_merge
d
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied cleanup: rena
m
e left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implied
c
leanup: rename some sm_st
a
t
es: state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Ca
r
pente
r
implied cl
e
anup: mo
v
e
some f
u
nctions
a
r
ound
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
ent
e
r
implied cleanu
p
: comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied c
l
eanu
p
: cre
a
te prin
t
_once
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
lied cleanup:
g
et rid of some curly braces
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ied cleanup: move variable de
c
l
arations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
Add v
a
lida
t
ion/sm_a
r
ray_ove
r
f
low
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Ca
r
pente
r
clean
u
p remov
e
f
a
l
s
e_only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan
Carpenter
Fix
b
ug in
handling for loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpe
n
t
er
foo(&ba
r
) means
b
ar is
m
o
dif
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
t
e
r
check
_
memory: add_modificatio
n
_h
o
o
k
isf
r
e
e => unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Da
n
C
arpenter
mo
v
e m
o
dif
i
cati
o
n
hook to the front of t
h
e
hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
clean up: move everything to
g
et_dinf
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
e
r
introduce: get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
check_ov
e
rflow
:
handle addresses differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpe
n
ter
smatch_extra: clean u
p
.
state can never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
c
heck_overflow: i
g
n
o
re th
e
last
m
ember of
s
tructs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
smatch_ex
t
r
a
: I don't li
k
e empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
ad
d
s
m
a
tch
_
scripts/gen_arr
a
y
_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpente
r
smatch_data/kernel
.
a
r
ray_bounds
.
r
emove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
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 Carp
e
nter
smatch_sc
r
ipts/sh
o
w_unreach
a
b
l
e
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
new script: show_ifs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce getti
n
g_address()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
update smatch
_
scripts/ be
c
a
use
of --info format changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
n
t
e
r
check offset after use: ignore
f
oo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpente
r
check_overflow: move som
e
more stu
f
f
under the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Car
p
ent
e
r
clean up o
u
tpu
t
: warning:
=
> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
C
a
r
penter
modificati
o
n
_
ho
o
k: --
a
n
d ++ are modi
f
ications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carp
e
nter
It makes
s
ense to check an array offset if i
t
has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
rpenter
check_over
f
l
ow: separate the two types of states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpe
n
ter
F
i
x
prece
d
ence
/
crashi
n
g
b
ug check_
o
v
erflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
chec
k
_ove
r
flow:
check for l
i
mitin
g
o
f
fset after u
s
in
g
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
penter
introduce al
l
oc_
s
t
ate_
n
um()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: rename alloc_state() => alloc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
intro
d
uce get_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
Carpent
e
r
call_tree
.
pl: make it
a
n interactive
program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Car
p
e
n
ter
cre
a
te get_imp
l
ied
_
ra
n
ge_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_info: fix
f
or
m
a
tt
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
ca
l
l tr
e
e: initial uploa
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
d
ma
o
n stack: m
o
v
e
data to sm
a
tch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
ter
trace_pa
r
ams
.
pl: re
w
rote s
o
i
t
'
s fa
s
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
add --param-mapper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
cleanu
p
up
o
p
tion par
s
ing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add option: --inf
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
red
o
h
ow options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
en
t
er
cleanup: de
b
ug_implied_states => option_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
cleanup: debug_st
a
tes => option_deb
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am_mapper: add -
-
param-m
a
pper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
t
er
dm
a
on sta
c
k:
e
l
im
i
n
ate some fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma
f
uncti
o
ns
t
hat
m
ap t
o
usb_control_
m
s
g()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
d
d smatch_script
s
/
t
r
ace_pa
r
ams
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
ter
p
ara
m
_mapper:
i
nitia
l
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
dma
_
on_stack:
&
f
o
o
means it
'
s an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
u
p
date smat
c
h_data to 2
.
6
.
3
3
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpenter
c
h
eck_o
v
erflo
w
:
fix crashi
n
g
b
ug
(
divid
e
by zer
o
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
r
p
e
nter
c
h
e
c
k_o
v
erf
l
ow: fix
crashing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add a check for passing st
a
ck
v
a
r
ia
b
les to dma fu
n
ctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
ar
p
ent
e
r
check_used_re
t
u
r
ns: ignore inb, inw,
a
nd inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Car
p
ent
e
r
u
p
date validation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
te
r
ch
e
ck_
o
verflow
:
handle
a
rrays
i
nside str
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Car
p
enter
Fix cra
s
hing bug
:
func(a & b)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
war
n
abo
u
t if(x)
;
typ
e
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
precedence: warn about:
if
(!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
err_ptr: it's
per
f
ectl
y
ok to
r
eturn both
null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
C
arpenter
whi
t
e spa
c
e change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remove hack for
handling Steve
R
osted
t
's if
c
ondi
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an
C
a
rp
e
nter
check_unused_ret
.
c: fix che
c
k for local variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
heck_unused_
r
et
.
c: ignore unreac
h
a
b
le ass
i
gnments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
penter
If --debug is p
a
ssed
the messages
f
rom the
f
i
rst pas
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan
C
a
rpen
t
er
Add a check
for unused assi
g
nme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpen
t
er
simple ch
e
ck for format string vulnera
b
i
lity
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
H
andle EXPR_FORCE_CA
S
T in __
s
pli
t
_exp
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/
2
]
redefine SYM_HOOK
e
nti
r
ely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2] Change d
e
finitio
n
o
f SYM_
H
OOK i
n
smat
c
h
_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next