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
modification hooks: only allow one hook per variable per check
2010-01-25
Dan C
a
rpenter
mod
i
fic
a
tion h
o
oks: only allo
w
one hook per
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpen
t
er
int
r
oduce: se
t
_default_modificatio
n
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpenter
c
leanup:
get rid of smatch_
c
onta
i
ners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_
n
u
l
l_deref: only the k
e
rnel cares a
b
out f
a
i
l
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
a
r
penter
Fix O
p
enBSD compi
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Ca
r
penter
check_s
i
g
n
ed: clean ups
.
add check for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
enter
make everything u
s
e s
m
atch_
f
unction
_
h
ashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpen
t
er
ad
d
sm
a
t
c
h_function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
Move everything to the new cwchash hash
t
able
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpen
t
er
add cwchash hash
t
ab
l
e
implementatio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
D
a
n
Car
p
ente
r
f
u
nction_implies_hoo
k
: fix bug when a func
t
ion has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
C
arpent
e
r
check_signed: warn o
n
assigning
n
egat
i
ve to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Ca
r
pen
t
er
Make
sm
a
tc
h
work agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpen
t
er
M
e
rge git
:
/
/g
i
t
.
k
e
rnel
.
o
r
g/pub/s
c
m
/de
v
el/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Mo
v
e
the checks
out
o
f s
m
atch
.
c into check_l
i
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
sil
e
nce some
sparse warni
n
gs: (
)
=> (voi
d
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
C
arpente
r
introduce: type_m
i
n() and type_
m
ax
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
w
ine WtoA: fix crashing
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
new file: smatch_
s
crip
t
s/gen_
d
ma
_
funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
show_ifs
.
sh: Add th
e
-C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memo
r
y
:
elimina
t
e some false positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
r
p
enter
get_value(): the
retu
r
n value w
a
s
gettin
g
cut
o
ff
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signed: cla
r
ify e
r
ror message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
wine_filehandl
e
s: if the file handle ge
t
s reas
s
ig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
C
arpenter
Help kche
c
ker and wine
_
check
e
r
.
sh find the sm
a
t
c
h binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_variable_from_exp
r
():
f
ix a
r
ray display
(
even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
de
l
ete_state(): fix
a
bug
c
a
ll
i
ng de
l
ete
state
inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
C
arpenter
ge
t
_
v
aria
b
le_from
_
expr(): u
s
e [] for arr
a
ys
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carp
e
nt
e
r
fix "make inst
a
ll"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpe
n
ter
fix bug in
p
rinting fil
e
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
Carpenter
ge
t
_array_name
(
): return the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine:
pp_int
e
rn
a
l_error() doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
p
e
nte
r
unused return:
w
a
rn
i
ng: =>
w
arn
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
prec
e
dence
:
make test s
t
ricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpenter
__US
E
_ISOC9
9
:
silence a gcc w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
c
heck_dev_queue_
x
mit: ma
k
e
v
a
l
id
_
use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
check_signed: chang
e
s
ome error: message
s
to war
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
C
ar
p
ent
e
r
check_signed: fix an
d
tu
r
n
o
n by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
C
a
rp
e
nter
ge
t
_type(): f
i
x cast handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_value(): add initial support f
o
r handli
n
g
casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
w
h
itespace: "switch(" => "switc
h
(
"
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
Dan
C
arp
e
nter
eliminate all the "x can
'
t
fit into 0" false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
rp
e
nter
fix getting_addre
s
s() functions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpe
n
ter
add
check_dev
_
que
u
e
_
xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add --rare option fo
r
rare bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
i
ntroduce: add_modif
i
c
ation_hook_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied cleanu
p
:
m
ove pool
_
in_
p
oo
l
s() and i
s
_checked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
im
p
lied cleanup: rename: get_eq_neq()
=
> separate
_
and_
f
ilte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpenter
i
m
p
l
i
e
d clea
n
up: separate do
_
compare
i
nto its own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied c
l
e
a
n
up: move get_implications()
l
o
wer
i
n
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cle
a
nup: 1 =>
LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpent
e
r
implie
d
cleanup:
cl
e
an handle
_
comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implie
d
cleanup: renam
e
state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implied cleanup:
move c
h
ec
k
for !is_merged
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
im
p
lied
c
leanup: re
n
ame le
f
t => l
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
imp
l
i
ed
cleanup: r
e
name some sm
_
states:
sta
t
e => s
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pe
n
te
r
i
mplied cl
e
anup: move some funct
i
ons
around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
e
an
u
p: comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
a
rpenter
im
p
lied cleanup:
c
r
e
ate pr
i
nt_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanup: get rid of
s
ome cu
r
ly
b
races
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an
C
arpenter
implied clean
u
p: move variable
de
c
lar
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
Add valid
a
t
ion/sm_a
r
ray_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
an Carpente
r
cleanup rem
o
ve false_
o
n
l
y
_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan C
a
rpenter
Fix
b
ug
in handl
i
ng
for loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
D
a
n C
a
rp
e
nter
foo(&
b
ar) means bar is mod
i
fi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Car
p
enter
check_m
e
m
o
ry: add_modif
i
cation_hoo
k
isfree => u
n
free
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
D
an C
a
rpenter
move modificati
o
n
h
o
o
k to the fro
n
t of
t
he hook lis
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan
C
arpenter
clean up: move e
v
erything to get_dinfo(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduce: get_dinf
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
check_ove
r
flow: handl
e
ad
d
resses differ
e
ntly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
a
rpenter
smatch_
e
xtra
:
c
lea
n
up
.
st
a
t
e
can never be
&
merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
check_overflow: ignore the l
a
st memb
e
r of
stru
c
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
m
atch_extra: I
d
on't like empty rang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
add smatc
h
_scripts/gen_arra
y
_b
o
unds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
smatch_data/
k
ernel
.
array_bounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
a
r
p
enter
check_ov
e
rflow: an an "error: " prefix to a
p
rintf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
sm
a
tch_scripts/s
h
ow_
u
nreachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carpenter
ne
w
scr
i
pt:
s
how_ifs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
introdu
c
e
gett
i
ng_addres
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
u
pdate smatch_scr
i
pt
s
/ bec
a
use o
f
--i
n
fo format change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
chec
k
offset
af
t
er use:
ign
o
re foo
=
&
a
r
ray
[
ba
r
];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
C
a
rpenter
c
h
eck_overflow: move some more st
u
ff
under the --
i
nfo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpent
e
r
c
lean up
o
utput: warnin
g
: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
m
o
dification_hook:
-
- and ++ ar
e
modificat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
D
an
C
a
rp
e
nte
r
It mak
e
s
s
ense to ch
e
ck an array offset i
f
it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
C
a
rpenter
c
h
eck
_
o
v
erf
l
ow:
s
eparate the two types of s
t
ate
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
Carpe
n
ter
Fix precedenc
e
/
crashing bug check_overfl
o
w
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
penter
ch
e
ck_overflow: ch
e
ck for limiting of
f
set
a
fter using
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
pe
n
ter
introduce alloc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nt
e
r
cleanup:
r
ename al
l
o
c
_state() => alloc_sm_s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
penter
intr
o
duce get_fuzzy_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
call_tree
.
pl: make it an
interactive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Car
p
ente
r
create
g
e
t_
i
mplied_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
a
n Ca
r
penter
sm_info: fix
formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan
Carp
e
n
ter
call tree:
initial up
l
oa
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
an
C
arpe
n
t
er
d
m
a on stack: m
o
v
e d
a
ta to smatch_da
t
a/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpen
t
er
trace_p
a
ram
s
.
pl: rew
r
ote so
i
t
'
s
f
aster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
nter
a
d
d --param-mapper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
cleanup up
o
ption pa
r
sing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next