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
add smatch_scripts/filter_kernel_deref_check.sh
2010-01-29
Dan
C
arpenter
add sm
a
tch_
s
cript
s
/filter_ker
n
el_deref_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arp
e
nt
e
r
c
heck_deref_ch
e
ck:
do not
c
omplain in
l
o
op
pre condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Ca
r
penter
twe
a
k unreachable
c
ode messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpenter
check_signed:
handle
s
igned 1 bit v
a
lue
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpen
t
er
ch
e
ck_signed: don't complain a
b
out unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpente
r
ne
w
f
uncti
o
n: type_unsig
n
ed()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
D
a
n Carpenter
pa
r
tl
y
r
e
pl
a
ce check_null
_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carpenter
mo
d
ification ho
o
ks: only al
l
o
w
one hook per variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Ca
r
penter
introduce: set_default_modification_h
o
o
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpenter
cleanup:
g
et rid o
f
sm
a
tc
h
_
c
ontaine
r
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carp
e
nter
chec
k
_nu
l
l
_
de
r
ef
:
only
the
k
ernel cares abou
t
failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Ca
r
penter
Fix O
p
enBS
D
compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
an Carp
e
nte
r
check_
s
igned:
clean up
s
.
add chec
k
fo
r
impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
enter
make ever
y
thing us
e
smatch_f
u
nctio
n
_has
h
table
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add smat
c
h_function_
h
ash
t
able
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
Mo
v
e everyt
h
i
ng to the new cwchash has
h
table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add cw
c
hash
h
ash table
implementatio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bedic
h
ek
Novafora
l
icense grant using MIT lic
e
nse
.
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
arpen
t
er
function_implies
_
hook: fix
b
ug when a fu
n
ction
has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Ca
r
penter
chec
k
_signed:
w
a
r
n
o
n ass
i
g
n
in
g
negative
t
o
u
nsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
M
ake smatch
wo
r
k again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
Merge gi
t
://git
.
k
e
rnel
.
org/pub/scm
/
dev
e
l
/
s
parse
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
Move
t
he
checks o
u
t
of sm
a
tch
.
c into check_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpen
t
er
silence some spars
e
warnings: () => (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
t
e
r
i
n
trod
u
ce: type_
m
in()
a
n
d
t
y
p
e
_
max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
r
penter
wine Wto
A
: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpente
r
new fil
e
: smatch
_
sc
r
ipts/gen_d
m
a_funcs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pente
r
sho
w
_ifs
.
sh: Add
t
he
-C opt
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Ca
r
penter
check_memo
r
y: eliminate some false p
o
sitives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
get_value(): the return valu
e
was
g
etting
cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
check_signed: cl
a
rify e
r
ror message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
C
a
rp
e
nter
wine_filehandles: if the
f
i
le handl
e
gets
r
eassi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nt
e
r
Help
k
checker and wine_c
h
e
c
ker
.
sh find the smatch
binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
get_variab
l
e_from_expr():
f
ix
array display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
penter
d
e
le
t
e_state(): f
i
x a bug calling
d
elete state i
n
side
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan C
a
rp
e
nter
get_va
r
iable_from_e
x
pr(): use []
f
or
arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpenter
f
i
x "make install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n Carp
e
n
t
e
r
fix bug in printing fil
e
n
am
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
an C
a
rpenter
g
e
t_
a
rray_
n
ame(): ret
u
r
n
t
he s
t
ripped valu
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine: pp_internal_err
o
r() doesn'
t
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unused return: warn
i
ng:
=
>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
preced
e
nce: make test s
t
ricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
pen
t
er
__USE_ISOC9
9
: si
l
ence a gcc w
a
rn
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
check_dev_queue_
x
mit:
make valid
_
u
s
e() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
a
rpenter
check_signed:
chang
e
s
ome error: m
e
ssages to war
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
C
a
r
pent
e
r
check_signed:
fix and turn on b
y
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Ca
r
p
e
nter
get
_
t
y
p
e
(
)
:
fix c
a
s
t handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
Car
p
enter
get_value(): add initial su
p
p
ort fo
r
handling c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
whitespace: "switch("
=
> "switc
h
("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
get_type(): don't ignore
c
a
sts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
e
nter
e
lim
i
na
t
e all the "
x
can't fit into
0
"
f
a
lse p
o
sit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fix ge
t
ting_address(
)
fun
c
tions vs pa
r
ens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
add check_dev_
q
u
eue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add --r
a
re option f
o
r
rare
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
rpenter
int
r
odu
c
e: add_modi
f
ication_
h
ook_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied
c
leanup: mov
e
poo
l
_
in_poo
l
s
(
) and is_checke
d
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
ent
e
r
implied cleanup
:
r
ena
m
e: get_
e
q
_neq()
=
> sep
a
r
a
te_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
imp
l
ied cleanup: separate do_compare into
its o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
e
r
implied cl
e
anup: move g
e
t_im
p
lications() lower in th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup:
1
=
> LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpenter
i
m
p
li
e
d cleanup:
c
lean handle_compa
r
iso
n
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpe
n
ter
im
p
lied c
l
eanup: r
e
na
m
e state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
r
penter
impli
e
d
c
le
a
n
u
p
: move che
c
k fo
r
!i
s
_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arpenter
im
p
lied
c
leanup: rename left =
>
lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
t
er
implied
cle
a
nup: rename some sm_states
:
state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
i
m
plied c
l
ea
n
up:
mo
v
e
some functions arou
n
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanu
p
:
comm
e
n
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpe
n
ter
implied cleanup: create pr
i
nt_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanu
p
: get rid of some curl
y
brace
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
m
p
lied cleanup: move
variab
l
e
d
e
c
l
a
rations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Car
p
ente
r
Ad
d
v
a
li
d
a
t
i
on/sm_arra
y
_o
v
erflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Carpen
t
er
c
leanup r
e
mov
e
false
_
only_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Carpenter
Fix
b
ug in han
d
ling fo
r
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Ca
r
p
en
t
er
foo(&bar) means
bar
is modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
an Carpenter
ch
e
c
k
_memory
:
add_modificat
i
o
n_hook isfre
e
=> unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan
C
arpent
e
r
m
o
ve m
o
dification hook to th
e
front o
f
the ho
o
k l
i
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
clean up:
m
ove e
v
erythi
n
g to get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
introduce: g
e
t_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carp
e
nt
e
r
check_overflow
:
han
d
le a
d
dresses d
i
fferent
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an
C
a
rpenter
s
match_extra: clean
u
p
.
state can never b
e
&me
r
ged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
e
c
k
_ove
r
flow:
igno
r
e the last
m
embe
r
of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra
:
I do
n
't
l
i
ke empty ra
n
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
arpent
e
r
add smatch_scripts/
g
en_array_b
o
unds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
m
atch_data/kernel
.
array_bound
s
.
r
e
mo
v
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpen
t
er
check_ov
e
rflow
:
an an "error: " prefix
t
o a
printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smatch_
s
cripts/show_unreachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new script: sh
o
w_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
in
t
roduce getting_a
d
dress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
up
d
ate smatch_script
s
/ because of
--info form
a
t
c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check offset af
t
er use: ignore foo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
ch
e
ck
_
o
v
e
rflow
:
mov
e
some more stuff
u
nder the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
clean up output:
w
a
r
ning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
modif
i
c
a
tion_hook: -- and ++ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan C
a
rpenter
I
t ma
k
es sense to ch
e
c
k
an arr
a
y off
s
et if
it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carpenter
check
_
overfl
o
w:
s
e
par
a
te the tw
o
t
ypes of stat
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
F
ix precedence/crashing bug check_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
c
hec
k
_ov
e
rflow: check for
l
imiting
o
ffse
t
a
f
ter u
s
ing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carpenter
introduce alloc_st
a
t
e
_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: renam
e
all
o
c_state() => alloc_s
m
_sta
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n
Carp
e
nter
i
ntroduce get_fuzzy_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next