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 Carpenter
fi
x
c
r
ash calling get_type()
o
n im
p
licitly defin
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Da
n
Carpenter
Add smatch_data/ker
n
e
l
.
n
o
_
r
e
tu
r
n_f
u
ncs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
r
p
enter
function hoo
k
s: ge
t
rid of conditiona
l
function
hook
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpenter
add sm
a
tch_scripts/new
_
bugs
.
sh:
p
rints the bugs int
r
oduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_ptr_deref:
up
d
ate
to us
e
newer
a
pi
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreachable c
o
de: enable by defau
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
C
arpe
n
ter
show_unreachable
.
s
h
: add -k
(
k
ernel mo
d
e) -b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n Carpenter
unreachable code: work
ar
o
un
d
g
cc wor
k
arounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Ca
r
pen
t
e
r
print an error me
s
s
age about unreached ini
t
iali
z
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan
Carpente
r
check_stack: t
w
e
ak t
h
e output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Car
p
enter
N
ew
c
heck_stack
.
c: warn if kern
e
l co
d
e puts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Add register_project()
t
o che
c
k_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
updat
e
th
e
documentat
i
on a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memory
:
o
nly load
ker
n
e
l
.
fr
e
e
s_a
r
gument
w
h
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
penter
Crea
t
e:
s
match
_
proj
e
ct
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail i
f
things are
t
aking too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Ca
r
penter
a
d
d s
m
atch_scripts/filter_ke
r
nel_der
e
f
_
check
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Carpent
e
r
chec
k
_deref_ch
e
ck
:
do not complain i
n
loop pre c
o
nditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Carpenter
tw
e
ak unrea
c
hable
code m
e
s
s
ag
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpent
e
r
check_signed: handle signed
1 b
i
t va
l
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_sign
e
d: don't com
p
lain a
b
o
ut un
s
i
g
ned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
an Carpenter
n
e
w function:
type_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan C
a
r
p
enter
pa
r
tly
r
epl
a
c
e c
h
eck_
n
u
l
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpenter
modi
f
ic
a
t
i
o
n hooks: only allow o
n
e hook per
v
a
r
i
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
ar
p
enter
int
r
oduc
e
: se
t
_
d
efault_modification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
cleanup
:
g
e
t rid of
smatch_
c
ontaine
r
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpe
n
t
e
r
check_null_deref: only the
k
ern
e
l cares ab
o
ut failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Carpenter
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpent
e
r
chec
k
_signed: clean ups
.
add check for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nt
e
r
make e
v
erything use
smatch
_
function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
C
arpenter
a
d
d
smatch_function_has
h
table
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpe
n
te
r
Move everything to the new
cwchash ha
s
h table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
add cwch
a
sh
h
a
sh table imp
l
em
e
n
tation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
function_i
m
pli
e
s
_
h
ook: fix bug when a f
u
nct
i
on has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
D
an Car
p
ent
e
r
check_signed: warn on assigning nega
t
ive to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Car
p
enter
Make s
m
atc
h
wo
r
k again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
t
er
Merge git://git
.
kernel
.
org/pub/
s
cm/devel/
s
p
a
rse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
o
ve the
checks out of
smatch
.
c
i
n
t
o
c
h
eck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
silence
s
o
me spa
r
s
e
w
arnin
g
s: () =>
(
void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
te
r
introduce: type_min() a
n
d typ
e
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
w
i
ne
WtoA: fix cr
a
shing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
e
r
ne
w
file: smatch_scripts/ge
n
_dma_fu
n
cs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
ar
p
enter
show_ifs
.
sh:
Add the -C
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memo
r
y: eliminate som
e
f
a
lse
p
o
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the r
e
turn value was
g
etting cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_sig
n
e
d
:
clarify error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
win
e
_filehandles:
i
f the file han
d
le
g
e
ts reassi
g
n
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Ca
r
pen
t
e
r
Help kc
h
ecker and
w
ine_c
h
ecker
.
s
h find
the sm
a
tch binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpent
e
r
ge
t
_va
r
iable_from_expr(): f
i
x a
r
r
ay display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
d
e
le
t
e_state()
:
fix a bug ca
l
ling dele
t
e
state
i
nside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
g
e
t_
v
a
r
iab
l
e_from_expr(): use
[] f
o
r
a
r
r
ays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan C
a
rpenter
fix "make
i
nstall
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
Carpenter
fix
b
ug i
n
printing
file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
get_array
_
n
a
me(
)
: return t
h
e strip
p
ed value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpent
e
r
wine: pp_interna
l
_err
o
r() doesn't
r
eturn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpenter
unu
s
e
d
ret
u
r
n
: warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
pre
c
edence: make test strict
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nter
__U
S
E_ISOC99: silence a gcc
w
a
rn
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpenter
check_dev_qu
e
ue_xmit:
make v
a
lid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
check_signed: change some error: mess
a
ges to
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
c
h
eck_signed
:
fix and t
u
rn on by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
Carpen
t
e
r
g
et_type()
:
fix
cas
t
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
g
e
t_value()
:
add initi
a
l
s
upport f
o
r handling
c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
wh
i
t
e
s
p
a
ce: "sw
i
tch(" => "switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
get_type():
d
on't ig
n
or
e
c
a
sts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate all t
h
e "x
can't fit into
0" fa
l
se
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpent
e
r
fix getting_address() fun
c
tions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpente
r
add
check_dev_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpenter
add -
-
rare op
t
i
on for rare b
u
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpenter
in
t
roduce: add_
m
o
dification_hoo
k
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pe
n
ter
implied cleanu
p
:
m
ov
e
pool_in_pools()
a
nd is_checked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpe
n
ter
implied cleanup: rename: get_eq_ne
q
()
=> separate_and_filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied c
l
eanup:
s
eparate d
o
_com
p
are
into its o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
enter
implied cl
e
anu
p
:
m
ov
e
get_implications() lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
im
p
lied cleanup: 1 => LE
F
T
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied
cleanup: clean handle_compari
s
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
impl
i
ed cleanup: rename sta
t
e => s
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Car
p
enter
implied cleanup
:
m
ove ch
e
ck for
!is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup
:
rename le
f
t => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carp
e
n
t
er
implied c
l
ean
u
p
: re
n
ame some sm_states: state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
cl
e
a
n
u
p: move so
m
e functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rp
e
nter
implied c
l
eanup
:
co
m
men
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpente
r
implied cleanup:
crea
t
e p
r
int_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied cleanup:
g
e
t r
i
d of som
e
curly brac
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpen
t
e
r
imp
l
ied c
l
ean
u
p:
move variable d
e
clarations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
A
dd valid
a
t
ion/sm_array_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpe
n
ter
cleanup remove false
_
only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n C
a
rpenter
Fix bug in hand
l
ing fo
r
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpen
t
e
r
foo(&bar) means bar is modifie
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n
Carpent
e
r
check_
m
emory
:
a
d
d_mo
d
i
f
ication_ho
o
k isfree => unfre
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpente
r
move
m
odifica
t
i
o
n hook to the front of the
h
ook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
cle
a
n up: move everything
to get_din
f
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
introduc
e
: get_dinfo
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpe
n
ter
check_overflow: h
a
ndle addresses dif
f
erently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arp
e
nter
sm
a
t
c
h_e
x
t
r
a: cle
a
n up
.
s
tate can never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
c
heck_ov
e
rflow: ignore
t
he
l
ast m
e
mbe
r
o
f structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpente
r
smatch_extra: I don't like empty r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpe
n
ter
add s
m
atch_scripts/g
e
n_arra
y
_b
o
u
nds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
smatch_data/kernel
.
ar
r
ay_bounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
ar
p
enter
check_overflo
w
: an
a
n
"
err
o
r:
"
prefix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next