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
type: make type_to_str() print function types
2014-11-06
Dan Carpenter
type: make type_
t
o_str()
p
rint function types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-06
D
a
n
Carpenter
type: don't crash trying
t
o
p
r
int
p
o
i
nt
e
r types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-06
Dan Carpenter
debug: add __smatch_type() which prints the typ
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-06
Dan Carpenter
t
ype: type_to_str()
s
hould ta
k
e
a typ
e
p
a
r
a
m
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpente
r
flow, db
:
f
ake an
unknown
r
etu
r
n if the
f
u
nction is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpe
n
t
e
r
db,extra:
f
ix
e
s to param fil
t
eri
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Da
n
Carpent
e
r
debu
g
: add a fu
n
ction
to d
o
intersection
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db, ranges
:
i
n
tr
o
duce long_min/max
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Da
n
Carpenter
ke
r
nel, db: pretend pci functions can't
r
et
u
rn PCIBIO
S
_BAD_R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db, kernel: w
h
en km
a
l
lo
c
()
s
ucceeds that implies th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Ca
r
penter
db: do
the comparison ag
a
inst the split a
p
art
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
D
an Ca
r
penter
db: split function call ret
u
r
ns if
we can
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpent
e
r
flow
:
handl
e
backwards goto
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
D
an C
a
rpen
t
er
flow: function
decl
a
ra
t
ions are not funct
i
on def
i
nitio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Carpenter
ret
u
rn_enomem: re-write witho
u
t using return_implies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
r
penter
buf_comp
a
ri
s
o
n: han
d
le z
e
ro size arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carpenter
buf
_
comparison: export the get_siz
e
_variable
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n
Carpenter
buf_comparison, db: reco
r
d
top level
v
ariables
in data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
function_
h
ooks,
db:
f
ix
a problem
w
ith
nest
e
d c
a
l
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
comparison
:
oop
s
.
forg
o
t t
o
comm
i
t a chu
n
k
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
D
a
n Carpen
t
er
6
4bit_shift: find bugs like: u64 foo =
1
<
< x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan C
a
r
p
ent
e
r
auto_copy:
f
ix a crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Car
p
enter
p
r
ec
e
dence: b & mask >> shif
t
is norm
a
l
l
y a
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
Carpe
n
ter
shift_to_zero: fix an error
messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpent
e
r
free: check for pas
s
i
n
g
or return
i
ng
f
reed memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
free: don't turn
o
f
f
warni
n
gs
if --
s
pammy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
pent
e
r
db/fixu
p
_kernel
.
sh: bitma
p
_
allocate_regio
n
doesn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
C
a
r
pe
n
ter
buf_co
m
pariso
n
: sto
r
e
which data holds a
r
ray limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpenter
buf_
c
o
m
parison, buf_size:
a
dd
realloc() to allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpe
n
ter
c
o
mpare:
i
ntroduc
e
get_all_compariso
n
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
db: add data_i
n
f
o
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carp
e
nte
r
auto_copy
:
assignments copies
s
tates auto
m
atically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carp
e
nter
buf
_
comparison: lo
o
k for
off by
one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Car
p
enter
err_ptr_d
e
re
f
: error m
e
ssage should say
"
nega
t
ive"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
C
arpenter
free: improve cross
func
t
ion
t
ra
c
k
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
sh
i
ft_to_zero: check for things like "(foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpe
n
te
r
pa
r
se_cal
l
_math: h
a
ndle mat
h
like "$0->
f
oo
+ 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
pars
e
_call_math: more format change fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
penter
parse_call_math: NULL ter
m
i
n
ate buf siz
e
rec
i
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpente
r
c
a
l
l_math:
u
se range l
i
st
s
instea
d
o
f only exact
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Carpente
r
ranges: start i
m
plementing
rl_bi
n
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Ca
r
p
e
nter
comparison: store general li
m
its i
n
the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
com
p
ar
i
son: take original co
m
parison into ac
c
ount
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpenter
val
i
dation: add a test for the
r
ecent f
u
n
c
t
ion compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_hooks: function comparisons can imply a
par
a
m
e
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fi
x
up_kernel
.
s
h
: several important upda
t
es (bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Ca
r
p
e
nter
c
o
mpari
s
on: rename falsify_op() to negate_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpenter
ranges: r
e
nam
e
fi
l
ter_by_comparison() to somethi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
cgcc:
revert part
of the
-Werror check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
a
rpente
r
compar
i
son
:
rename
f
l
ip_op() to flip_comparis
o
n() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge git://
g
it
.
kernel
.
org/p
u
b/scm/devel/s
p
ars
e
/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
C
a
r
p
enter
smdb
.
p
y: add some hel
p
t
ext
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
Carpent
e
r
buil
d
_kernel_data
.
sh
:
error out if the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
comparison: don't store compariso
n
s to o
n
e's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
ar
p
en
t
er
c
om
p
aris
o
n
:
add a co
m
me
n
t for update_tf
_
links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
r
pent
e
r
c
ompar
i
son:
g
et rid o
f
the
ch
u
nk_vsl
_
eq() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
comparison: pa
s
s the
filtered false sta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison
:
cleanup u
p
date_tf_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carp
e
n
ter
db
:
fix ha
n
d
ling of nested cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
states
:
add an
a
sser
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Car
p
ente
r
b
u
f_size: handle strlen() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking:
a
dd f
f
s
_
m
utex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flow
:
the __in_pre_condit
i
o
n vari
a
ble needs t
o
be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
s
m
a
t
ch
.
h: store so
m
e dummy da
t
a
b
ase
t
ypes t
e
mporari
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
db: expose the
d
a
ta par
a
meter so we can use data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Ca
r
penter
parse_call_math: change
A
P
I to use range
lists (mo
s
tly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: fix
parsing
that I broke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
com
p
arison:
f
ix up filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
r
a
nges: use the ranges stored in th
e
database properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpen
t
er
ranges: fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
ran
g
es: simpli
f
y and robustify str_to_rl_h
e
lper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_
l
imit: sa
v
e the compa
r
ison to the a
r
guments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Ca
r
penter
func
t
io
n
_hooks:
f
ix how
d
ata
b
ase comparisons are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
compa
r
i
s
on: pass
the ignore field to range_compa
r
i
son_to_p
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n C
a
rp
e
nter
c
o
mparison: take
p
revious compari
s
o
ns into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nter
db
:
prefer li
t
erals to par
a
meter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
d
b
: re-add s
o
me missing [] chara
c
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
as
s
ign
e
d_ex
p
r: unde
f
ine on modif
i
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
db: fix how par
a
meter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
a
rpenter
assig
n
ed
_
e
xpr: add reverse link
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
links: create a
s
match_
l
inks
.
c
f
ile wi
t
h
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
par
s
e_call_math: fix
l
eft overs from the format
cha
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
r
p
e
nter
param_set: write struc
t
membe
r
s in terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpente
r
extra: wr
i
te c
e
rtai
n
returned struct mem
b
e
r
s in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
db: pass the return expression to the ret
u
rned_member
_
c
allback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
extr
a
: save
r
eturn val
u
es
in terms of parame
t
er math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Car
p
en
t
er
db
:
unify how pa
r
ameter
d
escrip
t
i
o
ns
are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
compa
r
ison: add an ig
n
or
e
p
arameter to expr_
e
qua
l
_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carp
e
nter
u
nreachable
:
ignore the
unreachable()
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpen
t
er
e
rr_ptr_deref: p
a
ssing an ERR_
P
TR to kfree() is
a
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
extra: handle merging NULL
p
o
i
n
te
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Car
p
enter
ext
r
a: addr
e
sses of
arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpent
e
r
d
b
: remo
v
e
bogus parameter inf
o
rma
t
ion from
h
ook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
pe
n
ter
d
b: add a new t
a
ble which hol
d
para
m
et
e
r types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n Ca
r
penter
type: introduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carp
e
nter
locking: remove some duplicate "someti
m
es locked" wa
r
ni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
C
a
rpe
n
t
er
ge
n
erisize
.
pl: filter
some more s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
ter
generesize
.
pl: cleanup inden
t
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ranges: a pointer to
an arr
a
y
i
s
j
ust a
point
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next