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
check_signed: don't complain about unsigned int x = -1;
2010-01-27
D
an Carpenter
check
_
signed: d
o
n't
c
om
p
lain
about unsigned int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
an Carpe
n
ter
ne
w
functio
n
: type_unsigned(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
D
an Carp
e
n
t
er
partly replace check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carp
e
nter
m
o
d
ificatio
n
hoo
k
s
:
only allow one hook p
e
r variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpente
r
i
n
troduce: set_de
f
ault_mo
d
ific
a
tion_
h
ook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
penter
c
leanu
p
: get ri
d
o
f
smatc
h
_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
c
h
ec
k
_null_deref: only
t
he kernel cares ab
o
ut
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
a
rpenter
Fix Ope
n
BSD
comp
i
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
ch
e
ck_sign
e
d: cle
a
n ups
.
ad
d
check for impossib
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
ma
k
e everything u
s
e s
m
atch_function_
h
ashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add
smatch_
f
un
c
tion_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
M
ove everything to
the new cwc
h
as
h
hash t
a
ble
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add cwchash ha
s
h ta
b
le implementati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Ro
b
e
r
t Be
d
i
c
h
e
k
Novafora
license g
r
a
n
t
usin
g
MI
T
li
c
ens
e
.
commit
|
commitdiff
|
tree
2010-01-21
D
a
n
C
arpe
n
ter
function_implies_hook: fix
bug when a
f
unction has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
che
c
k_si
g
ne
d
: warn on assigni
n
g negative to
u
nsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
enter
Mak
e
smatch wo
r
k a
g
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merge git:
/
/g
i
t
.
kernel
.
o
r
g/pub
/
sc
m
/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
Move the checks out of sma
t
ch
.
c into chec
k
_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
silenc
e
some sparse
w
arning
s
:
() => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
introduce: type_min() and type_m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
w
ine
WtoA: fix c
r
ashin
g
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
n
e
w file: smatch_scripts
/
gen_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
show_ifs
.
sh: Ad
d
the -
C
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ch
e
ck_memory
:
e
l
i
m
inate some false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
g
e
t
_v
a
lue(): the ret
u
r
n value was get
t
ing cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
h
eck_sig
n
ed: clarify error messa
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
wine_filehandles: if the file handle gets re
a
ssi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
H
el
p
kchecke
r
and
w
i
n
e
_checker
.
sh find t
h
e s
m
atch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
g
e
t
_
variable_fr
o
m_expr():
f
ix array display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
delete_state(): fix
a
bu
g
calling dele
t
e state insid
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
get_variable_from_expr
(
)
:
use []
f
o
r arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpenter
f
i
x "
m
ake in
s
tall
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
enter
fix bug in p
r
inting f
i
le names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carpenter
get_array_name(): re
t
urn the stripped
v
al
u
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
e
r
wine: p
p
_internal_err
o
r() doesn't ret
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpen
t
er
unused re
t
urn: war
n
ing
:
=> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
Carpent
e
r
precedenc
e
:
ma
k
e test stricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
__USE_IS
O
C99:
s
i
l
ence a gcc wa
r
ning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
penter
chec
k
_dev
_
queu
e
_x
m
it:
make val
i
d_use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
chec
k
_signed
:
change some error: m
e
ssages
to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
check_s
i
g
n
ed: fix and turn on by def
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
get_type():
fix cast
h
an
d
l
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
get_valu
e
(): add in
i
tial support
for handlin
g
cas
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
arpenter
whitespace: "switch
(
"
=> "switch (
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
a
rpenter
get_type():
don't ignore c
a
sts
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
elim
i
nate all the "x can't fit
i
nto 0" false po
s
iti
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpenter
fix gett
i
ng_a
d
dress()
functions vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
penter
add check_dev_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add
--
r
are opt
i
on
f
or rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
int
r
oduce: ad
d
_modificatio
n
_ho
o
k_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Ca
r
pente
r
im
p
lie
d
cleanup: mov
e
po
o
l_in
_
po
o
ls
(
) and is_che
c
k
e
d
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
i
m
p
l
i
ed clea
n
up: re
n
ame: get_eq_neq
(
)
=>
s
e
p
arat
e
_and
_
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
im
p
li
e
d cleanup: separate
do_
c
ompa
r
e into
i
ts own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
impl
i
ed cle
a
n
up: move get_
i
m
plic
a
tions
(
)
lower in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanu
p
: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpen
t
er
implie
d
cleanup: clean h
a
n
dle_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
impli
e
d
cl
e
anup:
rename
state =
>
sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: move check for
!
is_mer
g
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
en
t
er
i
m
plied cle
a
n
up: rename left =
>
lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
i
m
plied cle
a
nup: rena
m
e some sm
_
states:
state =>
s
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpent
e
r
implied
c
leanup: move some functi
o
ns around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
m
plied cleanup: c
o
mm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
i
mplied cl
e
an
u
p
:
cre
a
te pri
n
t_on
c
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d cleanup:
g
e
t
r
i
d
of so
m
e curly brace
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
imp
l
i
ed
c
l
eanup:
move variable declarations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arpenter
Add val
i
d
a
tion/sm
_
arra
y
_overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpente
r
cleanup rem
o
ve false
_
onl
y
_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
D
an
C
arpenter
Fix bug in handling for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan
C
arpenter
foo(&bar) mean
s
bar is mo
d
ified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
rpenter
check
_
memory: add_modification_hook isfree => unfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n Carp
e
nter
mov
e
modificat
i
o
n hook
to t
h
e
front of
the hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
clean up:
m
ove everything t
o
g
et_din
f
o(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduce:
ge
t
_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
r
p
e
nt
e
r
check
_
overflow: handle
a
d
d
r
e
sses differ
e
n
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
smatc
h
_extra:
clean up
.
state can never be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpent
e
r
ch
e
ck_ove
r
f
low: ignore
t
he last m
e
mber of s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
smatch_ext
r
a: I don't like
empty
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpenter
add sm
a
tch_scripts
/
g
e
n_array_bounds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sm
a
tch_data/kernel
.
arr
a
y_b
o
unds
.
rem
o
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an C
a
rpenter
ch
e
ck_overfl
o
w
:
a
n
a
n
"
error: " prefix
to a
p
rintf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
s
match_sc
r
ipts/show_unreachab
l
e
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
p
e
nter
n
ew
script: sh
o
w_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpen
t
er
intro
d
uce
ge
t
ting_add
r
ess()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
upd
a
te smatch_scripts/ because o
f
--info
forma
t
ch
a
ng
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
c
he
c
k offset after use: igno
r
e f
o
o = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
chec
k
_over
f
l
ow: mov
e
s
o
me mor
e
s
tuff under the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpe
n
t
er
clean up output:
warning
:
=
> warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
modificat
i
on_hook: -- an
d
++ are m
o
di
f
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpente
r
It makes sense to check
a
n array
o
f
fset if it has
b
een
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carp
e
nter
check_overflow: separate t
h
e t
w
o type
s
of state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carp
e
nter
Fix pre
c
edence/crashing bug check_o
v
erflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
c
heck_overf
l
ow: check fo
r
limiting offset
af
t
e
r
using it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpent
e
r
introdu
c
e
allo
c
_s
t
a
t
e
_
num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
C
a
rp
e
nter
cleanup: rename al
l
oc_state(
)
=> alloc_sm_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Ca
r
pe
n
t
er
introduce get_fuzzy_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
Car
p
ente
r
c
all_tree
.
p
l
: make it an interactive program
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Ca
r
penter
create get_implied_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Carpenter
sm_info: fix forma
t
ting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Da
n
C
a
r
penter
call
tree: initial uploa
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next