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: clean ups. add check for impossibly low comparisons
2010-01-23
Dan Carpen
t
er
c
hec
k
_signed: clean ups
.
add
c
heck for imp
o
ssibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpenter
m
a
ke everythin
g
use smatch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
te
r
add smat
c
h_functi
o
n_ha
s
htable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
ter
Move everything to t
h
e new cwc
h
ash hash
ta
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Ca
r
pen
t
er
a
d
d cwcha
s
h h
a
sh table imple
m
entation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Robert
Bediche
k
Nov
a
fora license
grant usin
g
MI
T
lic
e
nse
.
commit
|
commitdiff
|
tree
2010-01-21
Dan
Carpenter
f
u
nction_implies_hook
:
fi
x
bug when a function has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpente
r
c
h
eck_signed: warn on a
s
signing negat
i
ve to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Make smatch w
o
rk ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
r
penter
Me
r
g
e git
:
/
/
g
it
.
k
e
r
n
e
l
.
org/pub/scm/
d
evel/sparse
/
chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Mov
e
the che
c
ks out
of smatch
.
c i
n
t
o
ch
e
c
k_li
s
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
silen
c
e
som
e
spars
e
warn
i
n
gs: ()
=
> (vo
i
d)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
introd
u
c
e: typ
e
_
min() and ty
p
e_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpent
e
r
wine WtoA: fix cr
a
shing b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new fil
e
:
smatch_scripts/ge
n
_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
show_ifs
.
s
h: Add the
-C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
c
heck_m
e
mory:
elim
i
nate so
m
e false positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
g
et_value(): the ret
u
rn valu
e
was getting cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
p
e
nter
check_
s
igned: c
l
arify error messa
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
wine_fi
l
ehand
l
es: if the file handle gets reassig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Car
p
enter
He
l
p k
c
hecker
a
n
d wine_checker
.
sh find the smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
get_va
r
i
a
ble_
f
rom_e
x
pr
(
): fix array display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
del
e
te_state
(
): fi
x
a bug
callin
g
del
e
te
state inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
ter
get
_
variable_f
r
om_
e
xp
r
():
use [] for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Carpenter
fix
"make
i
nstall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fix bu
g
in printing fi
l
e n
a
m
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
ar
p
ente
r
get_array_name(): return th
e
strip
p
ed
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
C
arp
e
nter
wine
:
pp_i
n
te
r
n
a
l
_er
r
or() doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
r
penter
unused return:
warning: =>
w
arn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpenter
precedence:
make tes
t
s
tricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
__USE_ISOC99: sil
e
nce a gcc w
a
rnin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
p
enter
check_dev_queue
_
xmit
:
m
ake
v
alid_use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpe
n
ter
c
heck_sign
e
d
:
ch
a
nge some error: messages to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
check_signed: fix and
t
u
rn on by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
ge
t
_ty
p
e():
f
ix cast ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
get_value(): add in
i
tial support for handling
casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
r
penter
whitespace: "switch(" => "swi
t
ch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
p
enter
ge
t
_t
y
pe(): d
o
n't ignore casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpe
n
ter
e
l
iminate 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 ge
t
ting_addr
e
ss()
f
u
nct
i
ons vs pare
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpenter
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
fo
r
rare bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
rp
e
nter
in
t
roduce: add_modifi
c
ation_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carp
e
n
ter
imp
l
ied cle
a
n
u
p: move po
o
l_in_pools() and
is_
c
hecked
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied
c
leanup
:
rename: get_eq_neq() => separate_a
n
d
_
f
ilter(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied cl
e
an
u
p: separate do_c
o
mpa
r
e int
o
its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
i
m
plied clea
n
up: move get_implications(
)
low
e
r in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Car
p
enter
implied cleanup: 1 =>
LE
F
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpe
n
ter
implied
cleanup
:
clean handle_c
o
mparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed cleanup: rename state =>
s
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carp
e
nte
r
i
m
p
lied cleanup: mov
e
check for !i
s
_merg
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ied
c
leanup
:
re
n
ame left =
>
lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpen
t
er
implied cleanup: re
n
ame some sm_states: st
a
te
=> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ie
d
cl
e
anup: move
s
ome f
u
nc
t
ions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
e
n
ter
impli
e
d cleanup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
clean
u
p: c
r
eate print_once()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied clea
n
up: ge
t
rid of some curly
braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup:
m
o
ve variable
de
c
l
a
ration
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpent
e
r
Add
validatio
n
/sm_ar
r
a
y_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan C
a
r
p
enter
cleanup
r
emove fals
e
_only_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
Fix bug in
h
an
d
l
ing for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
foo
(
&bar) means bar
i
s
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Car
p
enter
c
heck_
m
emor
y
: ad
d
_modif
i
cat
i
on_hook isfre
e
=> un
f
ree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
ter
m
ov
e
modifi
c
ation hook to
t
he f
r
ont of th
e
hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Car
p
enter
c
lean up
:
m
o
v
e every
t
h
i
ng
t
o get_dinfo
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
introduce
:
get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
ar
p
en
t
er
c
he
c
k_overflow:
handle
a
d
dr
e
sses differentl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sma
t
ch_e
x
tra: clean up
.
s
t
ate ca
n
n
e
ver be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
check_o
v
e
r
flow:
i
gno
r
e
the
last member o
f
structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
smatc
h
_ex
t
ra: I d
o
n't like empty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n C
a
r
penter
add smatch_scri
p
ts/gen_a
r
ray
_
bounds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
smat
c
h_data/kern
e
l
.
array_b
o
unds
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overflow
:
a
n
a
n
"error: " prefix
to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an
C
arpent
e
r
smatch_scripts/show_unreachable
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new script: show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an C
a
rpenter
in
t
roduce getting_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpen
t
er
updat
e
s
match_scrip
t
s/ becaus
e
of --
i
nfo format
c
hange
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
check offset after
u
se: ignor
e
foo = &array[ba
r
];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
check_overflow: move some more stuff under
the --in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
cl
e
an up output: w
a
rning: =>
warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
modifi
c
ati
o
n_ho
o
k:
-
- an
d
++ are modi
f
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Da
n
Carpenter
It mak
e
s se
n
se t
o
check a
n
array
offset if it
h
as been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Car
p
en
t
er
check_overflow: separ
a
te
the
t
w
o types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carpenter
Fix prec
e
dence/cras
h
ing bu
g
check_o
v
e
rflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_overf
l
o
w
: check for lim
i
t
i
ng of
f
set after using it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpen
t
er
introduce alloc_s
t
a
t
e_num(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: r
e
name
a
l
loc_st
a
te(
)
=> allo
c
_sm_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Carpenter
int
r
oduce get_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpente
r
call_
t
re
e
.
pl:
m
ake it an
int
e
r
acti
v
e program
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
cre
a
t
e
get_implied_ran
g
e_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Carpe
n
ter
sm_info: fi
x
forma
t
tin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpen
t
er
call t
r
ee: i
n
itial uploa
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpente
r
dma on s
t
a
ck:
m
ove data to sm
a
t
ch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
tra
c
e_
p
arams
.
pl: rewro
t
e so it's fas
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
t
er
add --param-map
p
e
r back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
cle
a
nu
p
up option parsing a litt
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
rpen
t
er
add
o
p
t
ion: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
ar
p
ente
r
red
o
how optio
n
s are pars
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
cleanup: d
e
bug_implied_states
=> op
t
i
o
n_d
e
bug
_
implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
cleanup: debug_state
s
=> option_de
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next