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
get rid of --rare option
2010-02-24
Dan
C
a
r
p
en
t
er
get
ri
d
o
f
-
-
rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n C
a
rpenter
rename get
_
single
_
value_from_range() => get_single_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
a
rp
e
nter
for loops: add
a
sp
e
cial
cas
e
for "for(i
=
0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
c
h
eck_
s
i
g
ne
d
:
check int types as we
l
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
m
at
c
h
.
c
:
us
e
s
trncpy() inst
e
ad of
s
trcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pen
t
er
debug: rename _
_
smat
c
h_pri
n
t_value(
)
=> __s
m
at
c
h_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
te
r
che
c
k_signed:
expr->op is type int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
I
ntroduce
g
e
t
_fuzzy_mi
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
preced
e
nce:
cut do
w
n a few false
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Car
p
ent
e
r
*new* check_le
1
6
:
print an error for double cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpenter
*
new*
c
heck_mod_time
r
: pr
i
nt an
w
a
rning if someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan C
a
rp
e
nt
e
r
str
i
p_exp
r
()
:
remove force c
a
st
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Ca
r
penter
kpat
c
h
.
sh
:
figur
e
the email
a
ddress out automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
an
C
a
rpenter
*new* s
m
at
c
h_scripts/kpatc
h
.
sh: scr
i
pt
for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpenter
P
rint fewer
message
s
about unreached
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
n
ter
smatch_conditi
o
ns: small cleanups and add deb
u
g co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
fix WARN
_
O
N
handling some
m
o
r
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
smatch_template: small c
h
anges to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
pe
n
ter
clean
up the makefile a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle as
s
ignments like: foo = x
<
1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an C
a
rpenter
smatch_stat
e
s:
w
hi
t
e s
p
a
ce
c
h
an
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
s
match
i
s
supposed to b
e
usin
g
"long lon
g
" types internal
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carp
e
nter
ne
w
_bugs
.
sh: be
t
ter filt
e
ring of smatch erro
r
s from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
handle stuff like t
h
e
k
er
n
el's WARN_ON() m
a
c
ro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
_
extra
:
f
oo
= !!x; does not modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpent
e
r
h
andle assignments
l
ike: foo
=
!b
a
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
check_overf
l
ow: chec
k
for
memset() iss
u
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
automat
i
cally generate
t
he
l
is
t
of functions w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
penter
*new
*
smat
c
h_s
c
ripts/sum
m
arize_errs
.
sh: scr
i
pt
f
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: fix xfs false posit
i
ve
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_ove
r
f
low: hand
l
e: "i
n
t *p
= &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
chec
k
_overflow: fix bug
in get_array
_
size
_
bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
p
u
sh some
m
ore stuff on t
h
e big_expr
e
ssion_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
e
r
ch
e
ck_overflow
:
handle casts like ((ch
a
r *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_overflow: fix
a
ssigning arrays to po
i
n
ters of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_ov
e
rflow:
f
ix a
l
ignment bug in
get_array_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
h
eck_overflow: pr
e
fer recen
t
a
s
signments ov
e
r the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
Ad
d
quo
t
es around
string
lit
e
rals
i
n smatc
h
out
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: up
d
ate strc
p
y
() and strncpy() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpente
r
kernel
.
no_
r
etur
n
_funcs: __reiserfs_panic
d
oesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
ch
e
ck
_
overflow
:
st
o
r
e
t
he s
i
ze in byt
e
s ins
t
ead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_o
v
erflow: d
o
n't complain ab
o
ut if
(ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
s
ma
t
ch
_
flow: ch
a
nge how the big e
x
pression
stac
k
works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_o
v
erflow:
r
ename my_d
e
c
l
_id => my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
ch
e
ck_overfl
o
w: whit
e
space
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n C
a
rpenter
ch
e
ck_over
f
low
:
u
s
e the _expr() hooks i
n
stead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflow: remove some o
l
d
d
ebugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_o
v
erflow: rename
dest =>
array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
e
n
ter
check_overflow:
g
et_
i
n
i
t
i
ali
z
er_bytes()
=
> get_initializer
_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_
o
verflow: op
t
io
n
_
s
pammy => option_in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
rflow: handl
e
index
e
d array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpen
t
er
check
_
ove
r
f
l
ow:
f
ix e
n
d
l
ess loop par
s
ing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an C
a
rpen
t
er
fix get_implied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpenter
check_overflow: lots of improvements and also a
validation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix cras
h
ca
l
ling get_typ
e
() on implicitly defi
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
Carpenter
Add
s
match_da
t
a/
k
ern
e
l
.
no_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpenter
fun
c
ti
o
n hook
s
: get
rid of con
d
i
t
ional function hoo
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpe
n
t
er
add smat
c
h_
s
cripts/new
_
b
ugs
.
sh: prints the bugs
i
ntro
d
uced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
err_ptr_deref: updat
e
to use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpen
t
er
u
nre
a
c
h
a
b
l
e cod
e
:
enable by
default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carp
e
nter
show_u
n
reach
a
ble
.
sh: add
-
k
(kernel mo
d
e
) -b
(
i
gnore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
unreachable code: work a
r
ound gcc work arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n
Ca
r
pent
e
r
p
rint a
n
error
m
e
ssage about unr
e
ac
h
ed initializers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan
C
a
r
penter
check_stac
k
: tw
e
ak
the ou
t
put a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christopher L
i
Pointer don't inherent the alignment from base
t
y
pe
commit
|
commitdiff
|
tree
2010-02-08
Dan C
a
rpenter
New che
c
k_stack
.
c:
warn if ke
r
nel code puts too
much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan C
a
rpenter
Add register_pro
j
ect() to
check_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
D
a
n Carpenter
updat
e
the
d
ocumentation
a
bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan
C
a
rpen
t
er
ch
e
ck_memory:
only load
k
er
n
el
.
f
rees_argument
when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Create: sma
t
ch_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpenter
bail if
t
hings
are taki
n
g
too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpenter
add smatch_sc
r
i
p
t
s
/fil
t
er_kernel_d
e
r
e
f_c
h
eck
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
penter
check_deref_check: do no
t
c
om
p
lain in loop pre conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan
Carpen
t
er
tweak unreachable code
mess
a
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n Carpenter
chec
k
_signed: h
a
nd
l
e signed 1 bit
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed: don't
comp
l
ain
abou
t
unsig
n
ed int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Ca
r
penter
new function: type_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
a
rpente
r
p
artl
y
replace chec
k
_nul
l
_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
modificatio
n
hooks:
only
a
llo
w
one h
o
o
k
per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
C
ar
p
ent
e
r
introduce: set
_
d
e
f
ault_modification_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carp
e
nter
c
l
eanup: ge
t
rid of smatc
h
_cont
a
iners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
che
c
k_nu
l
l
_deref: only the kernel c
a
r
e
s
a
b
o
u
t failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix Open
B
SD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Carp
e
nter
che
c
k
_signe
d
: clean ups
.
add check for imp
o
ssibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
make
everyt
h
ing us
e
smatch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add smatch_
f
unction_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
Move eve
r
yth
i
ng to the
new cwchash ha
s
h ta
b
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Carpen
t
er
add cwc
h
a
sh has
h
table
implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Robe
r
t B
e
dichek
N
o
v
afora
l
ic
e
nse grant using MIT li
c
ense
.
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
r
penter
f
unc
t
ion_implies_hook: fix bug
when a function has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpenter
ch
e
ck_signed:
w
arn
on assign
i
ng negative to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
ent
e
r
Make
smatch w
o
rk agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
Carpente
r
M
e
rge git://git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
Mo
v
e the c
h
eck
s
out of
smatch
.
c i
n
to check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
silence
s
o
m
e
sparse warnings: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpent
e
r
introduce: type_mi
n
() and type_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
p
e
nte
r
wine WtoA: fi
x
cra
s
hing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new
f
i
l
e: s
m
atch_s
c
ripts/gen_dma_funcs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
e
n
ter
show_ifs
.
sh: Add
t
he -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memory: elim
i
nate
s
ome
fal
s
e p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next