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
db, kernel: when kmalloc() succeeds that implies the size was reasonable
2014-11-04
Dan Car
p
enter
db, kernel: when km
a
lloc
(
) su
c
cee
d
s that i
m
plies the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Car
p
enter
db: do the comparison
a
gainst the
split apart retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db: split function
ca
l
l returns if we can
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
a
r
pen
t
er
flow:
h
andle backwards goto hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
D
an Carp
e
n
ter
flow: function declarati
o
ns are
n
o
t funct
i
o
n def
i
n
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carpenter
re
t
urn_enomem: re-write without us
i
ng
r
e
t
urn_i
m
plies_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
rpente
r
bu
f
_compari
s
on
:
hand
l
e zero s
i
ze arr
a
ys better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
an Carpente
r
b
u
f_comparison: export
the get_si
z
e_variab
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
ar
p
ent
e
r
buf_comparison, db: reco
r
d t
o
p l
e
v
e
l
variables in data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
function_hooks, db: fix a problem with
nes
t
ed cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan
C
arp
e
nter
comparison: oop
s
.
forgot to c
o
mmit a
ch
u
nk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan
Carpen
t
er
64bit_shift: find bu
g
s like: u64
f
oo = 1 << x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan
C
arpenter
auto_copy: fix a cras
h
i
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan
C
a
r
penter
pre
c
edence: b &
m
as
k
>>
shift is normal
l
y a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n C
a
rp
e
n
t
er
shi
f
t_to_zero
:
f
ix an
e
r
r
or message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
free: check fo
r
pa
s
sing
or returning freed memor
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
pent
e
r
free: don't turn
off
w
arnings if --spa
m
my is s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
db/fixup_kernel
.
sh: bitmap_alloc
a
te_region doe
s
n
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
b
u
f_compa
r
ison:
s
tore whi
c
h data
h
o
l
ds arr
a
y
limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
r
penter
buf_comparison, buf_size:
a
d
d rea
l
loc() to allocat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
c
o
mpar
e
:
i
n
troduce get_all_compariso
n
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Da
n
Carpente
r
d
b: ad
d
dat
a
_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpen
t
er
aut
o
_co
p
y
:
as
s
ignments
c
opi
e
s states automatic
a
lly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan
C
a
r
pente
r
buf_comparison:
l
o
ok for off by one err
o
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Merge
branch '
d
evel
'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpente
r
e
r
r_ptr_deref: error messag
e
should
s
ay "neg
a
tive"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan C
a
rpenter
f
r
ee: improve cross
fun
c
t
i
on tracki
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_
t
o_zero: check for things like "(foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Da
n
Carpenter
parse_call_math: h
a
ndl
e
math like "$0->foo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpe
n
ter
p
a
rse_
c
all_math:
more
f
ormat chan
g
e fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math: NULL terminate buf size recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan C
a
rpent
e
r
call_ma
t
h: use range lists inst
e
ad
o
f only exa
c
t value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
an
C
a
rpenter
ranges: st
a
rt
i
mplementing rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
compari
s
on:
s
t
ore genera
l
l
i
mits
i
n
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpente
r
c
o
mparison: take origi
n
a
l
comparison in
t
o account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
a
r
penter
val
i
dation
:
add a test for the recent
functi
o
n c
o
m
pare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_hooks: function compar
i
so
n
s can im
p
ly a para
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpent
e
r
f
i
xu
p
_kernel
.
sh: sev
e
ral im
p
or
t
ant updates (
b
ugfixes
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison
:
rena
m
e falsify_
o
p
(
)
t
o
neg
a
t
e_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpe
n
t
er
ra
n
ges
:
rename fil
t
er_by_com
p
a
rison() to some
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
cgcc
:
revert part o
f
the -Werror check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpenter
comparison: rena
m
e
flip_op() to fl
i
p_
c
omparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan
C
arpenter
Merge git://gi
t
.
k
ernel
.
org/pub/scm/de
v
el/spars
e
/c
h
risl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smd
b
.
py
:
add s
o
me help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Car
p
enter
b
u
ild_kernel_d
a
ta
.
sh: error out if the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan C
a
rpenter
c
o
mparison
:
don't
s
t
ore comparison
s
to
one
'
s self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
c
omparison: add a
c
om
m
ent fo
r
u
pdate_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n
Carpenter
comparison: get
r
i
d
o
f th
e
chunk_
v
s
l_eq() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
comparison: pass the filtered fals
e
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpent
e
r
comparis
o
n
: cle
a
nup
u
p
d
a
te_tf_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Ca
r
penter
db: fix handling of n
e
s
t
e
d
c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
s
ta
t
es: add an ass
e
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an C
a
rpenter
buf_size
:
handl
e
strlen() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
nter
locking: add
ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
f
l
ow: t
h
e __i
n
_
p
re_condition va
r
iable needs
to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
sma
t
ch
.
h: store some d
u
mmy dat
a
b
a
se
t
ypes tem
p
orarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpent
e
r
d
b: expose the da
t
a
para
m
eter so
we can use data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
e
nter
p
arse_c
a
ll_math: ch
a
nge API
t
o use
r
ange lists (mos
t
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ranges: fix parsing that I b
r
o
ke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comp
a
rison:
f
ix up filt
e
r_c
o
mpa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Ca
r
penter
ranges: use
t
he ranges stored in
the
d
atabase properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
ran
g
es: fi
x
cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
r
a
ng
e
s
:
simplify and robustif
y
str_to_rl_hel
p
er() a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limi
t
: save the comp
a
rison to
t
h
e
a
rgume
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: fix how dat
a
ba
s
e c
o
mpari
s
o
ns are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpen
t
er
comparison: pass the ignore field to range_co
m
parison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
compar
i
son: t
a
k
e
pre
v
ious c
o
mparisons into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
C
arp
e
nter
db: prefer literals to parame
t
er math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nt
e
r
db: re-add som
e
missing
[
] ch
a
ra
c
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Ca
r
p
e
n
t
e
r
assign
e
d_
e
x
p
r
: undefine on
m
odi
f
i
ca
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Ca
r
pent
e
r
db: fix ho
w
param
e
ter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assign
e
d_expr: a
d
d re
v
erse
links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
lin
k
s: cr
e
ate
a
smatch_links
.
c file wi
t
h functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
pars
e
_call_
m
ath: fix
left overs from the for
m
at change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Car
p
enter
param_
s
e
t
: write struct members in
terms o
f
para
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rp
e
nter
e
xtra:
w
rite certain retur
n
ed str
u
c
t members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
db: pass t
h
e return ex
p
ression
t
o
the returned_membe
r
_callb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
extra: save r
e
t
urn va
l
ues
in terms of param
e
te
r
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db
:
unify how parameter d
e
sc
r
iptions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
com
p
arison: add an
i
gnore parameter to expr_equal_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
unreachable:
i
g
nore the unreac
h
able() mac
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
e
r
r
_ptr_deref: passing an
E
RR_P
T
R to kfree() i
s
a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpenter
e
x
tr
a
:
h
andle merging NULL poin
t
ers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extra: addresses
o
f
ar
r
ays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpenter
db: remove bogus
paramet
e
r i
n
formation fro
m
h
o
ok t
y
pe
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carp
e
nt
e
r
db: add
a
new table w
h
i
ch ho
l
d para
m
ete
r
type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Car
p
ente
r
ty
p
e:
introduce
type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Da
n
Carpe
n
ter
locking: remove
s
ome d
u
p
l
icate "som
e
t
i
mes locked" w
a
rnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpenter
generisize
.
pl:
f
ilter so
m
e more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpen
t
e
r
generesize
.
pl: cleanup inden
t
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n Carp
e
nter
ranges: a p
o
inter
t
o
a
n
array is j
u
st
a
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arp
e
nter
e
xtra:
r
e
c
ord
global declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
a
rpente
r
c
o
nditions:
update some debug
out
p
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
compar
i
son: introduce p
o
ssible_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extr
a
:
up
d
ate a
d
ebug stat
e
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Ca
r
pen
t
er
function_
p
trs: track functions
which retu
r
n a funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
show_e
r
rs
.
sh: quote
som
e
strings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
enter
s
list: pu
t
get_sm_stat
e
_stree
_
s
tack() in the
.
h
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
st
a
tes: ch
a
nge
t
he
debu
g
o
utput fo
r
m
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struc
t
_assignment: han
d
le kzal
l
oc()
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next