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
flow, db: fake an unknown return if the function is too hairy
2014-11-05
D
a
n Car
p
e
nter
f
low,
db:
fake an unknown re
t
u
rn
if the fun
c
t
i
on is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan
C
arpenter
db,e
x
tra:
fixes to param filtering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan Ca
r
pent
e
r
d
ebug: add a function to do intersections
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpent
e
r
db, ranges:
introduce l
o
n
g
_min/max v
a
l
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan C
a
rpenter
kernel, db
:
p
retend pci functions
can't return PCIBIOS_BAD_
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carp
e
nter
db, kernel: when
kmalloc() succeeds that
implies
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db: do the
c
o
mp
a
r
ison agai
n
st the split apa
r
t returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
d
b
:
s
plit func
t
i
on call r
e
turns if w
e
can
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow: h
a
ndle
b
ackw
a
rd
s
go
t
o hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpente
r
f
l
ow:
f
u
n
c
tion declarations
a
re
n
ot f
u
nction definitions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpente
r
r
e
turn_enomem: re-write w
i
thout usi
n
g
retu
r
n_implies_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
C
arpenter
buf_
c
ompari
s
on: handle zero size
arrays b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n C
a
r
penter
buf_comparison: ex
p
ort the
g
et_size_v
a
riable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Car
p
enter
buf_comparison
,
db:
reco
r
d top level variabl
e
s in
data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpe
n
ter
functio
n
_hooks, db: fix a proble
m
with
nested calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpente
r
compa
r
ison
:
oops
.
forgot to commit a
chunk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan
C
arpenter
6
4bit_shift: find bugs like: u64
f
oo = 1 << x
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
auto_copy:
f
ix
a cras
h
ing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
D
a
n Carpente
r
precedenc
e
:
b
& mask >
>
shift is normally a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
sh
i
ft_to_zero: fix an er
r
or message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arp
e
n
ter
free: check for passi
n
g or return
i
ng f
r
eed memo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free:
don't turn off wa
r
ni
n
gs if --spammy is se
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n Carpenter
db/fixup_kernel
.
sh: bitmap_
a
llocate
_
region
d
o
esn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an Car
p
enter
b
uf_comp
a
riso
n
: store which data holds a
r
ray limi
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_c
o
m
pari
s
on, buf
_
si
z
e: ad
d
realloc() to alloc
a
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Car
p
e
n
ter
com
p
are: introduce ge
t
_al
l
_compari
s
ons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
rpenter
db: add
d
a
t
a
_info tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
auto_copy: assignment
s
copies states au
t
omatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
D
a
n Carp
e
n
t
er
buf_
c
ompar
i
son:
l
ook for off by one
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan
C
arpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan C
a
rpenter
err_p
t
r_deref: e
r
ro
r
m
es
s
a
g
e s
h
ould say "negative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free:
i
mprove cross functi
o
n tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
sh
i
ft_to_
z
ero: c
h
eck for things like "(foo &
0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpente
r
parse_call_mat
h
: handle math li
k
e
"
$0->foo
+
5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
par
s
e
_
c
a
ll_ma
t
h: more format
c
h
ange fall
o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math:
N
UL
L
t
ermin
a
te buf size recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpent
e
r
c
all_math: u
s
e ra
n
ge lists inst
e
ad of o
n
ly exact values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpente
r
ranges:
s
t
art impleme
n
ting
r
l_
b
inop
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
co
m
par
i
son: store
g
eneral
limit
s
in the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
enter
compa
r
ison: take original comparison into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation: add a test for t
h
e recent func
t
ion comp
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_hooks: functi
o
n comparisons can i
m
p
ly a
p
a
ramete
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
a
r
p
enter
fixup_kerne
l
.
sh: several important u
p
dates (b
u
gfi
x
es)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpen
t
er
com
p
a
r
ison: r
e
name
f
alsify_op() to neg
a
te_comp
a
rison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpenter
ranges: rename fi
l
t
e
r
_by_comparison() to someth
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpenter
cgcc: rever
t
part of the -Werror c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpent
e
r
comparison: rename
f
lip_op() to flip_c
o
mparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
D
a
n Car
p
enter
Merge git://git
.
kernel
.
org/pub/sc
m
/deve
l
/sparse/ch
r
i
s
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpen
t
er
s
m
db
.
py: add some
h
elp text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Da
n
Carpenter
build_kern
e
l_data
.
sh:
e
rror out i
f
t
h
e right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
o
mpar
i
son: don't store comparisons to o
n
e's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpente
r
com
p
a
rison:
a
dd
a
c
o
m
ment for
u
p
date_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison: get rid of the chunk_vsl_
e
q() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpent
e
r
compar
i
son:
p
ass the filtered fa
l
se s
t
ate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: cleanup updat
e
_
t
f
_
d
ata(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db: fix
h
andlin
g
of nested c
a
l
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpen
t
er
s
t
ates
:
add
a
n
a
s
sert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
buf_size
:
handle s
t
rlen() a bit be
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpente
r
locking: add ffs_mutex
_
l
o
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
flow: the
_
_in_
p
re_condition v
a
r
i
ab
l
e
n
e
e
d
s to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
t
er
smatch
.
h: store some dummy
database types temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db:
e
xpose
t
he
d
at
a
parameter
s
o
we
c
an use
d
a
t
a i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
parse_call_math: change API to use range lists (
m
ostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
r
a
nges: fix par
s
ing that I
broke t
h
is afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
C
a
rpe
n
ter
c
o
m
p
arison
:
f
ix up filter_compar
i
so
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ranges: use the ranges st
o
red in the d
a
tab
a
se proper
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
r
a
nges:
f
ix
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pe
n
te
r
ranges:
s
implify an
d
robustify str_to_rl_hel
p
e
r() a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpe
n
ter
param_limi
t
:
save
the compar
i
son to the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
f
unction_hook
s
:
f
i
x how
d
a
t
ab
a
se comp
a
risons are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
c
o
m
p
a
rison: pas
s
the
i
gnore
f
i
eld
t
o
r
a
n
ge_comparison
_
to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
comparison: tak
e
previo
u
s compa
r
isons
i
n
to account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Car
p
enter
db: p
r
e
f
er literals to parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an Carpenter
db: re
-
ad
d
some mi
s
sing [] character
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpent
e
r
as
s
i
g
ned_expr
:
u
n
defin
e
on
m
odifica
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db:
f
ix how paramete
r
ma
t
h wor
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
a
rpenter
assigned_expr:
ad
d
reverse li
n
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
link
s
: create a smatch
_
li
n
ks
.
c f
i
le wi
t
h
f
unc
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
pars
e
_
c
all_math: fix left ov
e
rs f
r
om the f
o
r
mat change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
param_set:
w
rite struct
m
embers in terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpent
e
r
ext
r
a: wr
i
te certain returned
struct members in
t
erms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: pa
s
s the return express
i
on to the ret
u
r
ne
d
_m
e
mber_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n C
a
rpe
n
t
e
r
ext
r
a
: save return values in
terms o
f
par
a
meter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
db: unify how param
e
ter descriptions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpent
e
r
comparis
o
n:
add a
n
ignore
p
aramete
r
t
o
expr_equal_to_param
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Car
p
enter
unreachable: i
g
n
o
re the u
n
r
e
achable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpenter
err_ptr_
d
eref
:
passing
a
n ERR_
P
TR t
o
kfr
e
e() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
pente
r
e
xtra: h
a
ndle mergi
n
g NULL pointers be
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extra:
addres
s
e
s of arrays
a
re
no
n
-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Car
p
e
nter
db: remove bogus
p
ar
a
met
e
r in
f
ormation from h
o
ok type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan C
a
rpente
r
d
b: add a new table which hold parame
t
er ty
p
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Car
p
e
nter
type: i
n
troduce
type_to
_
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Da
n
Carpenter
locking: remove some
d
upl
i
cate "som
e
ti
m
es locked" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisi
z
e
.
pl: f
i
lter some
m
o
r
e
s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpent
e
r
generesize
.
pl: cle
a
nup i
n
dentati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Carpenter
range
s
: a
p
ointer
t
o a
n
array is just a
p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
xtra: record global declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
conditions: update
s
ome debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
comp
a
rison:
i
ntro
d
uc
e
possible_compa
r
ison
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
a
r
penter
extra
:
update a de
b
ug
s
tateme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next