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
Fix OpenBSD compile
2010-01-23
Dan Carpenter
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
check_signed:
c
l
ean ups
.
ad
d
c
h
eck
for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Carpenter
m
ake
everyth
i
ng
u
se smatc
h
_function_has
h
table
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpent
e
r
ad
d
smatch_
f
unct
i
on_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Ca
r
penter
M
ov
e
everythi
n
g to the new cw
c
h
a
sh has
h
tabl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Carpenter
add cwchash hash table implem
e
ntation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
f
u
nction
_
implies_hook: fi
x
bug wh
e
n a
f
unction has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpen
t
er
check_signed: warn on assigning negative to unsig
n
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
ake s
m
a
tch work ag
a
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpente
r
Me
r
ge gi
t
:/
/
gi
t
.
k
e
r
n
el
.
org/pub/scm/deve
l
/sparse
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move t
h
e
c
hecks out of s
m
atc
h
.
c into
c
heck_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpent
e
r
silence some
spars
e
warnings
:
() => (vo
i
d)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
introduc
e
: type_min() and type_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n C
a
r
penter
w
i
ne WtoA
:
fix c
r
ashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
new file: smatch_s
c
r
i
pts/ge
n
_dm
a
_
funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpent
e
r
show_ifs
.
sh: Add the -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
check_memory: el
i
minate
s
o
me fal
s
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
get_value(
)
:
the
r
etu
r
n
value was
g
e
tting cut o
f
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
e
nter
che
c
k
_signed: c
l
arify error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpen
t
er
wine_f
i
lehandles: if the file handle gets reass
i
gned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
Help
k
checker
a
n
d wine_checker
.
s
h
find the smatch bin
a
ry
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpen
t
er
get_v
a
ria
b
le_f
r
o
m_
e
xp
r
():
f
ix array
d
isp
l
ay (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Carp
e
n
ter
delete_state():
f
i
x a bug calli
n
g delete state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Car
p
enter
get_variable_f
r
om_expr():
u
se
[
] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
fix "make install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fi
x
bug
i
n
print
i
ng
file nam
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpe
n
te
r
get_
a
rr
a
y
_
name(
)
:
retur
n
the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
w
i
n
e: pp_int
e
rnal_error() doe
s
n't
r
eturn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpen
t
er
unu
s
ed ret
u
rn: warning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpen
t
e
r
p
r
ecedence
:
mak
e
t
est s
t
ric
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
__USE_
I
SOC99: silence a gcc warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Carpenter
c
h
eck_de
v
_queue_xmit: mak
e
valid_u
s
e
() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpente
r
check_s
i
gne
d
: ch
a
nge some error:
m
essages to wa
r
n:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
check_sig
n
ed: fix and t
u
r
n
on by de
f
a
u
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
get_type():
fix cast
ha
n
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_value
(
): add initial support for h
a
ndling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
w
h
i
t
esp
a
ce: "switch(" => "switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get
_
type(): d
o
n't igno
r
e casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carpenter
eliminate all the "x can
'
t fit into
0" fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
fi
x
getting_address()
functions vs pare
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carp
e
nter
add check_dev_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpent
e
r
add --rare option for rare
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
introduce: add_modification_hook_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Ca
r
p
en
t
e
r
implied cleanup: move pool_in_pools() and is
_
checked
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arp
e
nter
im
p
lied cle
a
nup: rename: get_eq_neq() => separate_and_filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implied
c
leanup: separ
a
te do_compare into its o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
imp
l
i
ed cl
e
an
u
p:
move
get_i
m
pli
c
ations() lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
i
mplied cl
e
a
nup: 1
=> LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d clean
u
p: clean handle
_
c
omparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n C
a
rpenter
implie
d
cleanu
p
:
r
enam
e
st
a
te =>
s
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arpent
e
r
impli
e
d cl
e
anup: move
c
he
c
k for !is_merg
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
i
mplied cle
a
nup: rename
left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
ean
u
p:
r
ena
m
e so
m
e sm_states:
state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
imp
l
ied cl
e
anup: mov
e
so
m
e functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
impl
i
ed cleanup: c
o
mments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
impl
i
ed c
l
eanup
:
c
r
eat
e
prin
t
_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied cl
e
anup: get rid o
f
some curly braces
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
n
t
er
i
mplied clea
n
u
p
: move
v
a
ri
a
ble declara
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
Ad
d
v
al
i
d
at
i
on/
s
m_ar
r
ay_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Ca
r
penter
c
leanup remove false_only_sta
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
Fi
x
bu
g
in han
d
lin
g
for lo
o
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
D
a
n Carpenter
foo
(
&
b
ar) means bar is
modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
check_memory: add_modification_hook isfree => unf
r
e
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
move mod
i
f
i
cati
o
n
hook to the front o
f
the hoo
k
list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n C
a
rpenter
c
l
ean up: move
everything to get_di
n
f
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
arp
e
nter
in
t
r
o
d
u
c
e: get_d
i
nfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
check_over
f
low: ha
n
dle
address
e
s differ
e
ntly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Car
p
enter
sm
a
tch_
e
xtra:
cle
a
n up
.
sta
t
e can ne
v
er be
&
m
erged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_
o
ver
f
low
:
ignore the las
t
member
o
f
structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
sma
t
ch_ext
r
a:
I don't like empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an C
a
rpe
n
te
r
a
d
d smatch_scripts/g
e
n_array_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an C
a
r
p
en
t
er
s
ma
t
ch_data/
k
ernel
.
array_
b
ounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
ec
k
_overflo
w
: an an "error: " prefix to a pri
n
tf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
smatch_scripts/show_unreachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
new sc
r
ipt: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
introduce getting_a
d
dress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
update s
m
atch_script
s
/ becaus
e
of -
-
info
f
or
m
at
c
han
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
check offse
t
after
u
se: ignore foo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
check_overflow: move some more stu
f
f un
d
er the
--in
f
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
c
l
ea
n
up output:
w
a
rni
n
g: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
e
r
modificatio
n
_hook: -- an
d
++ are modifi
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It makes sen
s
e t
o
ch
e
ck
a
n
array offset if it
has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_o
v
erflow: separate the two types
of
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Ca
r
penter
Fix p
r
ecedence/crashing bug che
c
k_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpen
t
er
check
_
overflow: check
fo
r
limi
t
ing offset after usin
g
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
p
e
n
ter
int
r
odu
c
e alloc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: ren
a
me
alloc_stat
e
() => alloc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
introduc
e
ge
t
_fuzzy_
m
ax()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tre
e
.
p
l: make
it an inter
a
cti
v
e prog
r
am
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpent
e
r
create
g
et_implied_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpen
t
er
sm_
i
nfo:
f
ix forma
t
tin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan
Carp
e
nte
r
call
tree: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan C
a
rpenter
dma on stack: move data
t
o smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Car
p
enter
trace_para
m
s
.
p
l
:
r
ewrote so it's faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
ter
add
-
-
p
aram-mapper bac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
rpenter
cleanup
u
p option
parsing
a l
i
ttle
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
add optio
n
: --in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Ca
r
pent
e
r
redo
ho
w
options are par
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
C
arpenter
cleanu
p
: de
b
ug_implied_states =>
option_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
cleanup: d
e
bug
_
s
tates => option_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next