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
handle select assigns: foo = a ? b : c;
2010-02-23
Dan Carpenter
debug: rename __smatc
h
_print_
v
alue(
)
=> __smatc
h
_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
c
h
eck_si
g
ned: expr
-
>op
is type int not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
In
t
roduce get_fuzzy
_
min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpe
n
ter
pr
e
cedence
:
cu
t
d
o
wn a
f
ew
false
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
*new* check_le16: print an err
o
r for
d
ouble cp
u
_to
_
le
1
6
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_mod_time
r
: pri
n
t an wa
r
n
ing if s
o
m
e
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
C
a
rpenter
st
r
ip_
e
xpr(): remove force c
a
st
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
kpatch
.
sh
:
figure
th
e
ema
i
l a
d
dres
s
out au
t
omat
i
cally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
t
er
*new* sma
t
ch_scripts/kpatch
.
sh: sc
r
ipt for mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpenter
Print fewer messages abou
t
u
n
re
a
ched code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pente
r
sma
t
ch_c
o
nditions:
s
mall c
l
eanups and add debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
f
ix WARN_ON handling some mo
r
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
smatch_template: smal
l
c
hanges to comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpente
r
clean up the m
a
kefile a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
ha
n
dle assignmen
t
s like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
s
m
at
c
h_states: whit
e
space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smat
c
h is
s
upp
o
sed to
b
e
using "
l
ong long" types in
t
ernally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_bugs
.
sh: better filtering o
f
sma
t
ch errors
from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
h
a
ndle
s
tuff like the kernel
'
s
W
A
RN_O
N
() macr
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
_
extra:
foo = !!x; does not modify
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
ha
n
d
l
e a
s
signments like: foo = !bar
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Ca
r
p
e
nter
check_overflow: check for mems
e
t(
)
issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automatically generate the list of functi
o
n
s
w
h
ich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan C
a
rpe
n
te
r
*new* smat
c
h_scri
p
ts/summariz
e
_errs
.
sh
:
script for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
penter
kernel: fi
x
x
fs fa
l
se
p
ositives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
c
heck_overf
l
ow: handle: "int *p
=
&
array;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check_overfl
o
w: fix
bug in get_array_size_byt
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
push some more stuff
o
n
the big
_
expres
s
ion_s
t
ack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_over
f
low:
h
andle casts li
k
e ((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check
_
overf
l
ow:
f
i
x
a
s
s
igning
a
rrays t
o
p
o
inters of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
check_overflow: fix alignment
bu
g
in g
e
t_array_size_bytes(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Car
p
enter
ch
e
ck_overflow:
p
refe
r
re
c
ent
assignme
n
t
s over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
Add quo
t
e
s
a
r
o
u
nd
s
tring liter
a
ls in smatch output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: upd
a
t
e strcpy() and strncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
no_retur
n
_funcs
:
__reise
r
fs_panic doesn't re
t
ur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ente
r
check_ove
r
flow: store
t
he siz
e
in bytes instead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k_o
v
e
r
flow: don'
t
c
omplai
n
about if (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Ca
r
penter
sma
t
ch_fl
o
w
:
change how the
b
ig expression stac
k
works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
ent
e
r
check_overflow: rename my_decl_id => my_s
i
ze_
i
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck
_
ov
e
rf
l
ow:
whi
t
e
space chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpe
n
ter
ch
e
ck_overflow: use the
_e
x
pr(
)
hoo
k
s instead of
doi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpen
t
er
check
_
overflow: remove s
o
me old debuggi
n
g
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
enter
ch
e
ck_overflow: rename dest =
>
array
_
expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: get_initi
a
lizer_byte
s
() =>
get_initialize
r
_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
e
r
check_overflow:
o
p
tion
_
spammy =>
option_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_over
f
low: handle indexed arra
y
initializations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
rflo
w
: fix en
d
less
loop parsing "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
fix
g
et_implied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpente
r
check_overfl
o
w: lots of impr
o
veme
n
ts
and
a
lso a
validat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Da
n
Carpenter
fix
c
r
ash calling g
e
t
_
type() on
implicitl
y
defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Car
p
enter
A
dd smatch_data/ker
n
el
.
no_
r
etu
r
n_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
fun
c
tion hooks:
get rid
o
f cond
i
tio
n
al fu
n
ctio
n
hook
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpe
n
te
r
add
s
match_scripts/new_bugs
.
s
h:
pr
i
n
t
s
t
he bugs in
t
rodu
c
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
er
r
_
ptr_deref:
up
d
a
t
e to u
s
e newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
C
a
r
p
e
nter
unreachable code: enable by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rp
e
nter
sho
w
_unreachable
.
sh: add -k (kernel
m
o
de)
-
b (ign
o
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
u
n
reacha
b
le cod
e
: work around
gcc work ar
o
unds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpent
e
r
print an er
r
or message ab
o
ut unreached
i
ni
t
ia
l
izers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpe
n
ter
check_stack: tweak
the out
p
ut a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
C
h
ris
t
opher L
i
Poin
t
er
don
'
t inh
e
rent the alignment from
b
ase
type
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
N
e
w c
h
eck
_
stac
k
.
c: warn if kernel code puts too m
u
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
D
an
C
arpenter
A
d
d
register_proje
c
t()
to c
h
eck_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Car
p
enter
update
t
h
e
document
a
tion
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carp
e
nter
check_mem
o
ry: only lo
a
d ke
r
nel
.
fre
e
s_argument
when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Car
p
e
n
ter
Crea
t
e: smatch_
p
roject
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpente
r
bail if thin
g
s ar
e
t
akin
g
too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpe
n
ter
add
s
match_scr
i
p
t
s/filter_
k
ern
e
l_deref_c
h
ec
k
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan C
a
rpenter
c
h
e
ck_de
r
ef_check: do
n
ot co
m
plain in lo
o
p
pre conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Car
p
enter
tweak unreacha
b
le code messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Car
p
enter
check_signed: ha
n
d
le signed 1 bit values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
an Carpenter
chec
k
_s
i
g
n
ed:
d
o
n't
c
omplain about uns
i
g
n
e
d int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpenter
new f
u
nc
t
ion:
t
y
pe_uns
i
gned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Ca
r
p
e
nter
p
a
r
t
ly repla
c
e
chec
k
_nul
l
_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpenter
mod
i
fication hook
s
: only allow one hook per variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpenter
int
r
oduce: set_
d
efault_modifi
c
ati
o
n_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpente
r
c
l
e
anup:
g
et rid of smatch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
C
arpenter
check_
n
ull_deref: onl
y
the kernel ca
r
es about fail
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpen
t
er
Fix OpenBSD comp
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
an
Carpenter
check_
s
igned: clean ups
.
a
d
d check
for
i
mpossi
b
ly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
m
ak
e
everything use sma
t
c
h
_function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add
s
m
atc
h
_function_ha
s
htable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
M
o
ve
e
verything to
t
he new cw
c
h
as
h
h
ash
t
able
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpenter
a
dd cwch
a
sh hash table im
p
l
e
ment
a
t
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bediche
k
Novafora license g
r
ant using MIT li
c
e
n
se
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
f
u
n
ction_implies_
h
ook: f
i
x
b
u
g
whe
n
a fu
n
ction h
a
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
C
a
r
p
e
n
ter
ch
e
ck_sign
e
d: warn on assigning ne
g
at
i
v
e
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
Dan Carpenter
Merge
gi
t
:
/
/
g
i
t
.
k
e
r
n
el
.
o
r
g/pub/scm
/
deve
l
/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
r
p
ente
r
Mo
v
e the checks out of s
m
at
c
h
.
c i
n
to check_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpente
r
silence some
s
parse w
a
rnings
:
(
)
=> (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Ca
r
penter
i
n
troduce: ty
p
e_
m
in() and ty
p
e_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
wine WtoA: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
new file: smatch_scr
i
pts/gen_
d
ma_func
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
s
h
o
w_if
s
.
s
h
: Ad
d
the -C
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memory: elimi
n
ate some
fal
s
e positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpen
t
er
get_val
u
e(): th
e
retu
r
n
v
alue w
a
s
getting cut of
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
C
arpenter
check
_
si
g
ned: clarify error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
wine_filehandles: if
t
h
e
file h
a
ndle get
s
rea
s
sig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
H
e
lp kchecker and wine_chec
k
er
.
sh find
t
h
e
smat
c
h binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
Carpent
e
r
get_varia
b
le_
f
rom_e
x
pr():
f
ix array display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next