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
Dan Carpenter
add
s
match_
f
unction_ha
s
h
table
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
t
e
r
M
ov
e
everything to the ne
w
cwc
h
ash hash
t
a
ble
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
add cw
c
ha
s
h
h
a
s
h
table i
m
pl
e
mentation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Ro
b
ert Bedichek
Novafo
r
a lic
e
ns
e
gran
t
using MIT
l
icense
.
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Car
p
enter
functi
o
n_impli
e
s_hook: fix
bu
g
wh
e
n
a f
u
n
c
tion has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
D
a
n Carpenter
ch
e
c
k_signed: wa
r
n on a
s
s
ig
n
ing negat
i
ve to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
a
ke smatc
h
work a
g
a
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merge
g
it://git
.
kernel
.
org/pub/scm/deve
l
/sparse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
Carpe
n
ter
M
ove the c
h
ecks o
u
t of smatch
.
c into che
c
k_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpe
n
t
e
r
silence some sparse warnings: () => (voi
d
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
introd
u
c
e: type_min
(
) and ty
p
e_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
wine WtoA
:
fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new file: smatch_
s
cri
p
ts/gen_dma_
f
uncs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an
Carpent
e
r
show_i
f
s
.
s
h
: Add t
h
e
-C o
p
tio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpente
r
c
h
eck_mem
o
ry
:
eliminate
s
o
m
e false
p
o
s
itive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
get_value(): the return value 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_signed: cl
a
rify
error
m
essage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
p
e
nter
wine_filehandl
e
s: if the
f
ile
handle g
e
t
s
rea
s
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
Help k
c
hecker a
n
d wine_checker
.
sh find the smatch bina
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get
_
variable_
f
rom_expr()
:
f
i
x arr
a
y display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
d
e
lete_state(): fix a bug calling dele
t
e st
a
te inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
g
e
t_var
i
ab
l
e_
f
r
om_ex
p
r(): u
s
e [] for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n
Carpe
n
ter
f
ix "make in
s
t
a
ll"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
enter
fix bug in prin
t
ing file
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
C
arpen
t
er
g
e
t_array_na
m
e(
)
: return the stripped valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
Carpenter
wine
:
pp_internal_error() doesn't
r
e
tu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
unu
s
ed ret
u
rn: war
n
ing: =>
w
arn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
precedence: make test stricte
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpenter
__US
E
_IS
O
C99:
si
l
en
c
e
a
g
c
c
warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arp
e
nter
c
heck_dev_queue_xmit: mak
e
vali
d
_
use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
c
h
eck_signed: change some error: messages to wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
c
h
e
c
k
_signed
:
fix
a
nd turn on
b
y
de
f
ault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an
C
ar
p
enter
g
e
t_type(): fi
x
cas
t
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
a
r
p
enter
g
et_value(): add initial
support f
o
r handling casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
whitesp
a
c
e
: "switch
(
" =
>
"
s
w
i
t
ch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
get
_
type(): d
o
n'
t
ignore
cas
t
s!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
elimina
t
e all the "x
c
an't fi
t
into 0
"
false posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
r
p
e
n
ter
fi
x
getting
_
ad
d
ress() funct
i
ons vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
penter
a
d
d check_
d
ev_queue
_
xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
p
enter
add --rare
option for r
a
r
e bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
pe
n
t
e
r
introduce:
add_modi
f
ication_hook_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpente
r
imp
l
ied cleanu
p
: move
pool_in_pool
s
(
)
and
i
s_checked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
i
mplied cleanup:
rename: get_
e
q
_neq() => s
e
parate_a
n
d_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied cle
a
nup:
s
eparate
d
o_comp
a
re i
n
to its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Ca
r
p
e
nter
implied cleanup
:
mo
v
e ge
t
_im
p
lications() lower in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Ca
r
penter
implied cleanup: 1 => LE
F
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpe
n
t
e
r
implied cleanup:
c
lean handle_comparison
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ied cleanup: rename state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
t
er
implied c
l
eanup: mo
v
e check for !i
s
_
me
r
ged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed
c
l
eanup:
ren
a
me
l
eft => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied
cleanup: rename some sm
_
states: s
t
ate => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: move
some fu
n
ctions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: comm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied c
l
ea
n
up: create print_on
c
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
ent
e
r
i
mplied cleanup
:
g
e
t
ri
d
of some curl
y
braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Ca
r
penter
i
m
plied cleanup:
m
o
v
e variable declara
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
Add va
l
idation
/
sm_array_overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Da
n
Carpenter
c
l
eanup
remove f
a
lse_only
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpent
e
r
Fix bug in handling fo
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
D
an C
a
r
pe
n
ter
fo
o
(&bar)
means
b
ar is
m
odi
f
ie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
ch
e
c
k
_mem
o
r
y: a
d
d_modif
i
ca
t
io
n
_hook isf
r
e
e =>
u
nfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Ca
r
penter
move modification hook to
t
he
f
ro
n
t
of the hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n C
a
rpenter
c
l
e
a
n up:
mo
v
e everyth
i
ng to get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
introdu
c
e: get_d
i
nfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
p
e
n
ter
check_overflow: handle addres
s
e
s dif
f
er
e
nt
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
s
m
at
c
h_extra: clean up
.
state can
n
e
ver be
&m
e
rg
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
pente
r
check_overf
l
o
w:
i
gno
r
e
t
h
e
last member
of s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an C
a
rpenter
smatch_extra
:
I
don't lik
e
e
m
pty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
add sma
t
ch
_
scripts/gen_array_boun
d
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
smatch_data/
k
ernel
.
array_
b
ounds
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpenter
c
heck
_
overflow:
a
n an "error: " prefix to a prin
t
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
smatch_
s
cripts/show_
u
nrea
c
hable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
new script:
show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
in
t
roduce getting_
a
ddress
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
u
pdate
s
match_scr
i
pts/
b
ecause of
--in
f
o for
m
a
t changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arp
e
n
ter
check o
f
f
set afte
r
use: ignore foo = &array[
b
ar]
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
pe
n
ter
check_overflow: mov
e
s
o
me mo
r
e stuff under
t
he --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
cle
a
n up outpu
t
:
w
arning: =>
w
ar
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpen
t
er
mo
d
ification_hook: -- and ++ are mod
i
f
i
c
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n Carpenter
It makes sense to check
an array offset i
f
it has be
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
Carpenter
c
he
c
k_overflow: separ
a
te the two types o
f
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
r
p
enter
Fix precedence/c
r
ashing bug check_ove
r
flow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
ch
e
c
k
_overflow: check for li
m
iting offs
e
t af
t
er usin
g
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpenter
introduce alloc_state_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: rename alloc_state() => alloc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduce
g
et_fuzzy_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
c
a
ll_t
r
ee
.
pl: make it an interactive progra
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
c
reate get_im
p
lied_rang
e
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arpent
e
r
sm_info: fix formatting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpe
n
ter
call tree: initi
a
l upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dm
a
on
stack: mo
v
e data to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
C
arpenter
trace_params
.
pl: rewrote so it's faste
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
a
r
p
enter
a
d
d --param-map
p
er bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
e
nte
r
c
l
ean
u
p
up option parsing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
r
penter
ad
d
option
:
--in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
ent
e
r
red
o
how optio
n
s
are pa
r
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup:
d
ebug_implied_states => option_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
cleanup: debug_states => optio
n
_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpen
t
er
pa
r
a
m
_mapp
e
r: add --param
-
ma
p
per op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carp
e
nte
r
dma on stack:
e
l
i
mina
t
e some false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next