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 crash calling get_type() on implicitly defined functions
2010-02-13
Dan Carpent
e
r
f
ix crash calli
n
g g
e
t
_type() on implicitly
d
efined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Ad
d
s
match_data/ker
n
el
.
no_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
function h
o
oks:
get rid
of conditi
o
nal function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Car
p
enter
add smat
c
h_scripts/new_
b
u
g
s
.
sh: prin
t
s
t
h
e b
u
gs introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_ptr_deref:
up
d
ate to use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
n
t
er
unr
e
a
chable c
o
d
e
:
enable by
d
efault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an
Carpe
n
t
e
r
s
h
ow_unreachable
.
s
h
: a
d
d -k (kern
e
l
m
ode) -b
(ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Ca
r
pe
n
ter
unreachable code: work around g
c
c work
a
rounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print an
e
r
r
o
r
m
e
s
sage about
unreached
initializers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan
C
arpent
e
r
c
h
eck_s
t
ack:
t
weak
the output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christopher Li
P
ointer d
o
n't inh
e
r
ent
t
h
e alignment from base type
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
a
rp
e
nter
New
c
heck_stack
.
c
:
warn if k
e
rnel code puts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
arpenter
A
d
d r
e
gister_project() to
c
h
eck_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpent
e
r
up
d
ate the documen
t
a
tion a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carp
e
nter
check_
m
emory: only load kern
e
l
.
fre
e
s_argum
e
nt w
h
en
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpen
t
e
r
Create: smatch_p
r
o
ject
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpenter
bail
i
f thin
g
s
are
t
a
k
ing too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpente
r
add
sma
t
c
h_script
s
/
f
ilter_kernel_
d
eref_ch
e
ck
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
check_deref_check
:
do no
t
complain
in
l
oop pre condit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Carpenter
t
w
eak unrea
c
hable co
d
e messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpenter
check
_
signed: h
a
ndl
e
sign
e
d 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
rpenter
c
h
eck_signed:
d
on't compl
a
in about uns
i
gne
d
int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new
func
t
i
o
n: ty
p
e
_unsigne
d
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
part
l
y replace che
c
k_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carp
e
n
te
r
mo
d
ification
h
o
oks: only
allow on
e
hoo
k
per vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
int
r
oduc
e
:
s
et_default_modifi
c
a
t
ion_
h
o
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n C
a
rpenter
c
lean
u
p: get rid of smat
c
h_
c
on
t
ainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Ca
r
penter
check_null
_
der
e
f:
o
nly
the k
e
rnel cares
about
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpente
r
F
ix OpenBSD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Car
p
enter
c
h
eck_signed: clean ups
.
add check fo
r
impossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
make e
v
erything us
e
smatch_fu
n
c
tion_hash
t
able
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpent
e
r
a
d
d sm
a
t
ch_fun
c
tion_hasht
a
b
l
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
Move everything to t
h
e ne
w
cwchash h
a
sh table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
p
e
nter
add
c
wchash hash tabl
e
i
m
p
le
m
ent
a
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Robe
r
t Bediche
k
N
o
v
afora lic
e
nse grant using
M
IT l
i
cense
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
f
u
nc
t
ion_
i
mplie
s
_hook: fix bug when a fu
n
c
t
i
o
n has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpenter
c
heck_signed: warn on a
s
signing nega
t
ive
to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatch work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
Merge git:
/
/git
.
kernel
.
org
/
p
u
b/scm/
d
evel/spar
s
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Mov
e
th
e
c
hecks out
o
f s
m
at
c
h
.
c into check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpent
e
r
s
ilence some
sparse warnings:
() => (
v
oid)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpent
e
r
introduce:
t
y
p
e_m
i
n() and type_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carp
e
nter
wine WtoA: f
i
x
cr
a
shing bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
new f
i
le:
s
match_scripts/gen_dma_funcs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_ifs
.
sh: Add the -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
n
ter
check_mem
o
r
y: eliminate some false pos
i
ti
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
get_value(): the r
e
t
u
rn value was getti
n
g cut
o
ff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
check_signed: cla
r
ify err
o
r
message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Ca
r
penter
w
ine
_
f
i
l
e
h
an
d
les: i
f
the
f
ile handle
g
et
s
re
a
s
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Ca
r
pent
e
r
Help
k
c
h
e
c
k
er and
w
i
n
e_checker
.
sh find the
s
ma
t
ch
b
inary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n C
a
r
p
e
nter
get_variable_from_e
x
pr(): fix array displa
y
(
even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpenter
d
e
lete_state()
:
fix a
b
ug
calling
del
e
te state inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpe
n
ter
get_vari
a
bl
e
_from_exp
r
(): use [] for arra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpent
e
r
fix
"make inst
a
ll"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
e
n
t
er
fi
x
bug in
printing
f
il
e
n
a
m
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Ca
r
penter
get_ar
r
ay
_
name(): return the stri
p
p
e
d value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n Carpenter
w
ine: pp_internal_e
r
ror() doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
penter
unused return: war
n
ing: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
prec
e
de
n
ce: make test stric
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Ca
r
pente
r
__USE_ISOC
9
9: s
i
lence
a gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
check_dev_queue_xmit: m
a
ke valid_use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
check_
s
igned: change some error:
m
essages to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
c
heck_signed: fi
x
and t
u
rn on
b
y d
e
faul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_t
y
p
e
(): fix cast ha
n
dlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n C
a
rpenter
g
e
t_
v
alue(): add
init
i
al support
f
or
h
a
ndling ca
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespace:
"
s
w
itch
(
" => "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
ge
t
_typ
e
(): don't ignore cast
s
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
elimin
a
t
e
a
ll the "x can't fit int
o
0" false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
f
ix ge
t
ting_address(
)
func
t
i
o
ns vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpenter
add
c
heck_de
v
_queue_xm
i
t
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpe
n
t
e
r
add
-
-rare
opti
o
n
for
r
a
re bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
introduce: a
d
d
_
m
o
dification_
h
ook
_
expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
e
nter
implied cleanup:
m
ove pool_in_pools(
)
an
d
is_checked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d
cleanup:
rename:
g
e
t_eq_
n
eq() => se
p
arate_and_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cleanup: separ
a
te do
_
compa
r
e into
its
o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
cleanup:
m
ove get_impli
c
ations() lower in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implied cleanup: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nt
e
r
imp
l
i
e
d
cle
a
nup: cl
e
a
n
handle_comparison
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
rename state =
>
s
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
t
e
r
implied clean
u
p: move check
f
or !is_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied c
l
eanup:
rena
m
e
left => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpe
n
ter
implied cleanu
p
: rename
s
om
e
sm
_
states: state
=> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
implied cleanup: move some functio
n
s
aroun
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
a
r
penter
i
m
p
lied cleanup:
c
o
mments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arpenter
implied cleanup: create print_
o
nce()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Car
p
ent
e
r
implied cl
e
a
nup: g
e
t r
i
d
o
f
some curly braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
i
mplied cleanup: move vari
a
ble declaratio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
Add validation/sm_array
_
overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Carp
e
nter
clean
u
p remove f
a
lse_o
n
ly_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Car
p
e
n
ter
Fix bug
i
n han
d
lin
g
for l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
fo
o
(
&bar) mea
n
s bar is modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Ca
r
pe
n
ter
check_memory:
a
dd_modificat
i
on
_
hook
i
sf
r
e
e => unf
r
ee
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
r
p
e
nter
m
o
ve mod
i
ficat
i
on hook to the fron
t
of
the hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n
Carp
e
nter
cl
e
an up: move everyth
i
ng
t
o
g
et_dinfo
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
i
n
troduce: get_d
i
n
fo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
ch
e
ck
_
overflow: handle addresses
diffe
r
ently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
n
t
er
smatch_extra:
cl
e
a
n up
.
state
can
n
ever be
&merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpenter
c
heck_overf
l
ow: ignore the last member of struc
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
s
match_extra: I don't li
k
e empty r
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
a
dd
sma
t
ch_s
c
ripts/gen_array_bounds
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next