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_function_hashtable.h
2010-01-22
Da
n
Carpe
n
t
e
r
add smatch_function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
Move everything
to th
e
new
c
w
chash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
add cwchash hash table
implementati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
R
ober
t
Bedichek
N
ova
f
ora licens
e
g
ran
t
using MIT license
.
commit
|
commitdiff
|
tree
2010-01-21
D
a
n Car
p
enter
f
u
nction_implies_hook: fix
b
u
g
when
a
fu
n
c
t
ion h
a
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
check_signed: warn on assigning negative to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
Carpe
n
te
r
Make
s
match work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
C
a
r
penter
Merge git://
g
it
.
ker
n
el
.
or
g
/pub/scm/devel/sparse
/
c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Mov
e
the c
h
ecks out of
s
m
atch
.
c
into check_lis
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
silen
c
e so
m
e sparse warni
n
g
s
: (
)
=
> (vo
i
d)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carp
e
n
ter
introduce:
type_min() and ty
p
e_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
wine WtoA:
f
ix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
enter
new file:
smat
c
h_scripts/
g
en_dma_fu
n
cs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpente
r
show_ifs
.
s
h:
Add the -
C
op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
check_memory: eli
m
ina
t
e
so
m
e f
a
lse
positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpente
r
get_va
l
ue()
:
the retur
n
value w
a
s getting cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_si
g
ned: cla
r
ify error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
win
e
_
f
i
leh
a
ndles: if the
fil
e
handle g
e
ts reassign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
Help kchecke
r
a
nd
w
ine_checker
.
sh find t
h
e smatch bi
n
ary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
g
e
t
_variable_f
r
om_expr
(
): fix array display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
delete_state(
)
: fix a bug cal
l
ing delete state
insid
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
g
e
t_vari
a
ble_from_expr(
)
: use []
f
or
a
rrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n
C
a
rpenter
fix "make instal
l
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
enter
fix bug
i
n print
i
ng file
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get_array_name
(
): retur
n
the st
r
ipped v
a
lu
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine: pp_in
t
ernal_error() doesn't ret
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpente
r
u
nused ret
u
rn:
w
a
rning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpe
n
ter
p
r
ecedence: make test stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
p
e
nter
__
U
SE_ISOC99: silence a gc
c
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpe
n
t
er
check
_
dev_
q
ueue_xmit: make
v
alid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
n
ter
c
h
e
c
k_signe
d
:
c
hange some error
:
messages to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
check_sign
e
d: fix and turn
o
n by
d
efa
u
lt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
g
et_type(): fix cast
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pent
e
r
get_v
a
lue
(
): add in
i
tial support
for handl
i
n
g
casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whites
p
ace:
"
s
witch(
"
=
>
"switch (
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get
_
type
(
)
: don
'
t ignore
casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
e
limina
t
e
a
l
l the "
x
can't fit into 0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fix getti
n
g
_
address()
functions vs
paren
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
enter
add check
_
dev_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
penter
add --rar
e
o
ption fo
r
rare bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
introd
u
c
e
:
a
d
d
_mo
d
if
i
cation
_
hook
_
e
x
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implie
d
cleanu
p
: move p
o
ol_in_pools() and is_che
c
ked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Ca
r
penter
implied cleanup: rename: ge
t
_
e
q_neq() => sepa
r
ate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implied cleanup: separate do_compare in
t
o i
t
s own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
impl
i
ed cleanup
:
move get_implica
t
i
o
ns() low
e
r i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup
:
1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed cleanup:
c
l
e
a
n hand
l
e_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an Ca
r
p
e
nter
implied
c
lea
n
up: rename
s
tate =>
sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
arpenter
imp
l
i
e
d
cl
e
anup: m
o
ve check for
!is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied cleanup: rename left => l
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied c
l
eanup: rename some s
m
_st
a
tes:
state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup
:
mo
v
e some fu
n
cti
o
n
s
arou
n
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied clean
u
p
:
c
o
mments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rp
e
nter
implied c
l
eanup: create print
_
once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
cleanup
:
get
rid of some curly braces
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
impli
e
d cleanup:
m
o
ve variable de
c
l
aration
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpente
r
Add validation/sm_arr
a
y
_overfl
o
w
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpente
r
cle
a
nup r
e
move false_only_
s
ta
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
an Carpenter
Fi
x
bug
i
n
handling fo
r
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Da
n
Ca
r
pe
n
t
er
foo
(
&bar) means bar is modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpent
e
r
c
h
e
c
k
_memory: add_
m
o
d
if
i
c
ation_hook isfree => un
f
ree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
rpenter
move
m
odific
a
tion hook to the front of the hook l
i
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Da
n
Carpenter
clea
n
up: move
e
veryt
h
ing to g
e
t
_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
introduce: get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpen
t
er
check_
o
v
er
f
l
ow: h
a
ndle ad
d
resses differe
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
t
e
r
smatch_extra: clean
u
p
.
st
a
te
c
an never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overflow: ignore the last member o
f
s
truc
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
m
atch_extr
a
: I
d
o
n
'
t like empty ran
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
add
smat
c
h_scri
p
ts/gen_a
r
ray_boun
d
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
smatch_d
a
ta/kernel
.
array_bounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
ch
e
ck_ove
r
flow: an an "erro
r
: "
p
refix
t
o a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
smatc
h
_scripts/show_unreachab
l
e
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpe
n
t
e
r
new script: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
n
ter
introduce getting_address
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
pente
r
u
p
dat
e
smatch_s
c
rip
t
s/
b
e
cause of --in
f
o
f
o
r
mat changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
c
h
e
c
k o
f
fset afte
r
use: ignore foo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_overflo
w
: move s
o
me more stuf
f
under the --inf
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
p
e
nter
c
l
e
an up
o
utput:
w
arning: =>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
r
penter
modif
i
cation_hook:
--
a
nd ++
a
re modif
i
ca
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpe
n
ter
I
t
makes s
e
ns
e
to
c
heck an
a
rray
offse
t
if i
t
ha
s
been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_overflo
w
: s
e
parate the
t
wo types of sta
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix
p
recede
n
ce/crashing bug
check_overflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_overflow: check for limit
i
ng offset aft
e
r using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
introduce alloc
_
s
t
at
e
_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpe
n
ter
cleanup: rename allo
c
_
state() => allo
c
_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
i
n
trodu
c
e
get_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arp
e
nter
call_tree
.
pl: make it an interac
t
ive
program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
a
rpenter
create get_implied_range_
l
i
s
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
s
m
_info:
f
i
x
f
o
rmat
t
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
D
a
n Car
p
enter
call tr
e
e: initi
a
l upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n Car
p
e
nter
dma on stack: mo
v
e da
t
a to
s
match_d
a
ta/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Car
p
enter
trace_params
.
pl: rewro
t
e so it's fast
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
add
--par
a
m-mapper b
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
clean
u
p up
option parsing
a
little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
a
d
d option: --in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
re
d
o
how options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
p
e
nter
cleanup
:
de
b
ug_implied_st
a
tes
=> op
t
ion_debu
g
_imp
l
ied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
te
r
cleanup: debug_states =>
o
ption_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
a
rpe
n
ter
p
a
ram_mapper: add --param-m
a
pper o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
arp
e
nter
dma o
n
s
t
a
ck: elimi
n
ate so
m
e false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next