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-02-23
Da
n
Carpenter
precedence:
c
ut
down a f
e
w
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
*
new* check
_
le1
6
: print an
error for double cpu
_
to_le1
6
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
new*
c
h
eck_mod_timer: print an warning
if
someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
an Carpen
t
er
str
i
p_expr(
)
: remove force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpenter
k
p
atch
.
sh: figure
the
e
mail a
d
dress out auto
m
atically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
*new*
sm
a
tch_scrip
t
s/kpatch
.
sh: script fo
r
m
ailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Pri
n
t fe
w
er messa
g
es ab
o
ut
u
nreache
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
enter
smatch_conditions:
s
m
al
l
cle
a
nups a
n
d add
debu
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpent
e
r
fix WARN_ON handling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Carpent
e
r
sm
a
t
c
h_templ
a
t
e
: small chang
e
s
t
o commen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
cl
e
a
n up the makefile a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carp
e
nter
handle assignments
l
ike:
f
o
o = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
_
s
tat
e
s: whi
t
e sp
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
a
rpenter
smatch is
supposed to be
using "long long
"
types internal
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
new_b
u
gs
.
sh: better filt
e
rin
g
of smatc
h
erro
r
s f
r
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
h
andle
stuff like the k
e
rnel's WARN_O
N
() mac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
smatch_extra: foo
=
!!x; does not modify
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpent
e
r
ha
n
dle a
s
signments l
i
ke: foo = !bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
check_o
v
erflow: check
f
or m
e
mset()
i
ssues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
aut
o
ma
t
icall
y
g
e
ner
a
t
e the lis
t
of
functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
an Carp
e
nter
*new* smatch_s
c
ripts/summarize
_
errs
.
sh:
s
cript for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
arpenter
k
e
rnel:
fix
xfs
f
alse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpente
r
che
c
k_overfl
o
w: handle:
"
i
n
t *p = &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
C
a
rpenter
check_ov
e
rflow
:
f
ix bug in ge
t
_
a
r
ray
_
size_byte
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
p
u
s
h
s
ome more stuff
on the big_ex
p
ression
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpe
n
ter
check
_
overflow: hand
l
e cas
t
s like ((char *)arr
a
y)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_overf
l
ow: f
i
x assign
i
ng arrays to pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
verf
l
o
w
:
fix alignment b
u
g i
n
g
et_arr
a
y_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
ch
e
ck
_
overflow
:
p
r
e
fer recent assign
m
en
t
s over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
te
r
A
dd quotes
a
r
o
und
s
t
r
ing
li
t
er
a
l
s
i
n sm
a
t
ch o
u
t
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nte
r
check_over
f
low: upda
t
e
strcpy()
and strncpy() check
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
k
e
rnel
.
no_
r
et
u
r
n_funcs: __reiserfs_panic doesn't retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ente
r
check_overflow: store th
e
s
iz
e
in bytes in
s
tead
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpe
n
ter
check
_
overflo
w
:
d
on't
c
omplain about i
f
(
ptr <
&
a
r
ray
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n C
a
rpenter
sma
t
ch_
f
low: change how the big ex
p
ression stack wor
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_ov
e
rflow: ren
a
me my_d
e
cl
_
id =
>
my_s
i
ze_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arp
e
nter
check_ov
e
rflow: white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpente
r
check_overflow: use
the _exp
r
() hooks ins
t
ead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carp
e
nt
e
r
check
_
o
ver
f
l
ow:
r
em
o
ve some old debug
g
in
g
cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
che
c
k
_
o
verf
l
ow:
r
e
name d
e
st
=
> a
r
ray_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
ch
e
ck_overfl
o
w: get_in
i
ti
a
li
z
e
r_bytes
(
) => get_in
i
tializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
check_overflow: option_spammy =>
o
p
t
ion_i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_ov
e
rflow: hand
l
e indexed array initializatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
enter
check_ov
e
rflow:
fix endless loop parsing
"
int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an
C
arpenter
fix get_i
m
p
lied_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
check_overflow:
lot
s
of improvements
a
nd also a v
a
lidation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash callin
g
get_typ
e
() on imp
l
icitly
defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpen
t
er
Add
s
match
_
data/kernel
.
no_re
t
urn_f
u
ncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Ca
r
pente
r
fu
n
cti
o
n hooks:
g
et rid of
c
o
nditiona
l
f
unction hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpen
t
er
add sm
a
t
ch_scripts/ne
w
_
bugs
.
s
h
: prints th
e
bugs in
t
roduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpenter
e
r
r
_
ptr_deref: upda
t
e to use n
e
wer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpen
t
e
r
unreachable code: enab
l
e b
y
default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
s
ho
w
_u
n
reachable
.
sh:
a
dd -k (kernel mod
e
)
-
b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpen
t
e
r
un
r
each
a
bl
e
c
od
e
:
w
o
rk around
gcc work
arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpente
r
pri
n
t
a
n
e
rror mes
s
age about unreache
d
i
niti
a
lizers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
D
an Carpenter
check_stack:
t
weak the output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christopher
L
i
Pointe
r
don't inherent the ali
g
nment from base type
commit
|
commitdiff
|
tree
2010-02-08
Dan C
a
rpen
t
er
Ne
w
c
h
eck_stack
.
c: warn if kernel code put
s
too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n Carpenter
A
dd register_p
r
oject(
)
to check_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan C
a
rp
e
nter
update th
e
doc
u
mentation
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memo
r
y: on
l
y
load ker
n
el
.
frees_argument
when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Car
p
enter
C
r
ea
t
e:
smatch_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpenter
bail if thi
n
gs ar
e
t
a
k
ing
too lo
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add smatch_script
s
/filter
_
ke
r
nel_dere
f
_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Car
p
enter
c
he
c
k_deref_chec
k
: do not complain in loop pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tw
e
ak unreachable code messa
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpent
e
r
check_s
i
gn
e
d:
h
an
d
le signed 1
bi
t
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
c
heck_si
g
ned:
don
'
t c
o
mpla
i
n about
u
nsign
e
d int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Ca
r
p
e
nter
ne
w
function: type_uns
i
gned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carp
e
nter
pa
r
tl
y
replace chec
k
_null_d
e
re
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpenter
modification hook
s
:
only a
l
low
o
n
e hook per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Ca
r
pent
e
r
i
n
troduce:
set_default_
m
odifi
c
a
tion_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
clea
n
up: g
e
t
rid of smatch_co
n
tainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_null_der
e
f: only the kerne
l
cares about
f
ailed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carp
e
nte
r
Fix OpenBS
D
compi
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
an
C
arpen
t
er
check_signed: clean ups
.
a
dd check
f
or impossi
b
ly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
mak
e
everything
use smatch_functio
n
_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
a
dd s
m
atch
_
func
t
ion_hash
t
abl
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpe
n
t
er
Mo
v
e ever
y
thi
n
g to the new
cwchash hash table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add cwchash h
a
sh table imple
m
enta
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Rob
e
rt
B
e
d
iche
k
Nova
f
ora
l
icense gran
t
us
i
ng MIT
li
c
ense
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpente
r
f
unction_impl
i
es_h
o
ok: fix bu
g
when a functi
o
n
ha
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpent
e
r
check_signed: warn on assignin
g
negative to u
n
signed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatch
w
ork again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpente
r
Merge
git://
g
it
.
k
ern
e
l
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the
checks out of
s
m
atch
.
c int
o
c
heck_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Car
p
enter
s
i
l
ence some
sparse
warnings:
(
) =
>
(
void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
p
e
nter
intro
d
uce: type_min()
a
nd ty
p
e
_m
a
x(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine WtoA: fi
x
c
r
ashing
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
new fi
l
e:
smatch_s
c
ri
p
ts/gen_dma
_
f
uncs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
a
rpent
e
r
show_ifs
.
sh: Add the -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
check_memo
r
y:
eliminat
e
so
m
e false p
o
si
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpent
e
r
get_
v
a
l
ue(): the return value
w
as getting cut o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nte
r
che
c
k_signed: c
l
arify
e
rro
r
m
essage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
wine_filehandles: if the
f
ile handle gets reassigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
enter
Help kch
e
cker and w
i
ne_che
c
ker
.
sh find t
h
e
smatch
binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
get_var
i
able_fr
o
m_expr():
fix array display
(even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Carpen
t
er
delete_state():
fix a
b
u
g calling
d
elete
s
ta
t
e inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan C
a
rpenter
ge
t
_variable_
f
rom_expr(): us
e
[
] for arra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carp
e
n
ter
fix "
m
ake install"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next