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
Dan Carpenter
flow, db
:
fake an unknown return
i
f th
e
fu
n
ction
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Car
p
en
t
er
db,extr
a
: fi
x
es to par
a
m filtering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpen
t
er
d
ebug: add a fun
c
tion to do intersections
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carp
e
nter
db, rang
e
s:
i
ntrod
u
ce
l
ong
_
min/max values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpen
t
er
k
ernel,
d
b
:
pretend pci functions can't
r
eturn P
C
IBIOS_BAD
_
R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpenter
db, ker
n
el:
when kmalloc() succeeds that imp
l
ies the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
d
b
: d
o
t
he c
o
mparis
o
n against the split a
p
art return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
arpenter
db: split function call returns if we can
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow: handle
b
ackwards goto hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Ca
r
p
e
n
ter
fl
o
w: function de
c
lar
a
tions are not
f
u
n
ct
i
o
n
definiti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Ca
r
penter
re
t
urn_enomem: r
e
-wr
i
te without using return_imp
l
ies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
an Carpen
t
er
buf_comparison
:
handle zero siz
e
arrays bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_comparison: export
t
he get_size_v
a
r
i
able()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_comparison, db: r
e
c
o
rd
t
op
leve
l
va
r
ia
b
les
in data_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
func
t
i
o
n
_h
o
oks, db: f
i
x a problem wi
t
h nes
t
ed calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpen
t
er
co
m
pariso
n
: oops
.
forgot to co
m
mit a chu
n
k
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
6
4
bit_shif
t
: find bug
s
like: u6
4
foo = 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan
C
arpenter
auto_copy: f
i
x a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
pre
c
edence: b
& mask >> shift is
n
ormally
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
shift_t
o
_zero: fix
a
n
err
o
r me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n Ca
r
penter
free: c
h
eck for passing o
r
ret
u
rning freed mem
o
r
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpe
n
ter
free: don'
t
turn off warnings
i
f
--s
p
ammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
db/
f
ixup_kernel
.
sh:
b
itmap_al
l
ocate_reg
i
on doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
buf_comp
a
rison: store
wh
i
c
h
d
a
ta hold
s
array limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Car
p
enter
b
u
f_compar
i
son, buf_size
:
add realloc(
)
to allocat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan
C
arpenter
c
o
mpare: introduce
get_a
l
l_
c
omparis
o
ns()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carp
e
n
t
e
r
db: add data_info t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan C
a
r
p
ente
r
aut
o
_copy: assignments cop
i
es
stat
e
s
automati
c
ally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpente
r
b
uf_comparison: l
o
o
k
for off by one
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
M
e
rg
e
branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpent
e
r
err_ptr_deref
:
error mess
a
ge should say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpente
r
free: i
m
prove
c
ros
s
funct
i
on tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carp
e
n
ter
shif
t
_to_zero: ch
e
ck
for thin
g
s
l
ike "(foo & 0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_call_m
a
th: handle ma
t
h like "$0->f
o
o
+ 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
D
a
n
Car
p
e
n
ter
pa
r
se_call_math: mo
r
e format change f
a
llout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
p
enter
parse_call_ma
t
h: NUL
L
termin
a
te
buf
si
z
e r
e
c
i
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Da
n
Car
p
enter
call_ma
t
h
:
use range lists instead o
f
only exact values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Car
p
en
t
er
ran
g
e
s
:
start implement
i
ng rl_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpente
r
comparison: store general limits in the
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
rpent
e
r
co
m
parison: t
a
ke original co
m
parison into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
val
i
dation: add a
t
e
st for th
e
rec
e
n
t
fu
n
ction compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
a
rpenter
function_hooks: function comparisons can imply a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpen
t
er
fixup_ker
n
el
.
sh: several im
p
ortant upd
a
tes (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
c
o
mparison: rename fal
s
ify_op() to nega
t
e_co
m
p
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n
Carpenter
r
a
n
ges: rename
f
il
t
er_by_
c
om
p
arison() t
o
som
e
thing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpenter
cgcc: rev
e
rt part of the -W
e
r
r
o
r
c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
nter
c
ompar
i
s
on:
rename f
l
i
p
_op()
to fli
p
_comparison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge git:/
/
git
.
kerne
l
.
org/pub/scm/devel/spars
e
/chris
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n C
a
rpente
r
smdb
.
py:
add some help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
an
Carpent
e
r
build_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 comparisons to one's
self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
co
m
parison: add a com
m
e
nt f
o
r update_tf_link
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison
:
ge
t
r
id o
f
the chun
k
_
v
sl_e
q
() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n C
a
r
pe
n
ter
c
o
mpar
i
son: p
a
ss the
f
ilt
e
r
e
d
f
a
lse s
t
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison:
c
l
eanup update_t
f
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db
:
fix h
a
ndl
i
ng of neste
d
ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
s
t
ates
:
a
d
d an
a
ssert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an
Carpenter
buf_size: han
d
le
strlen() a b
i
t better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs_m
u
tex_l
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flow:
th
e
_
_
i
n_pre_c
o
ndition var
i
a
ble needs to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
smatch
.
h:
s
to
r
e som
e
dummy database types tem
p
orarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
d
b: e
x
pose the da
t
a
parameter
s
o we can us
e
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
parse_call_math: change API to
u
se ra
n
ge
lists
(
mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
range
s
: fix parsi
n
g
that I broke t
h
is
a
fte
r
noon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
rpenter
comparison: fix up filter_compari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pente
r
ranges
:
use the ranges stored in the database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
rang
e
s: fix crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpen
t
er
ranges
:
si
m
plify
a
nd robust
i
fy st
r
_to_rl_helpe
r
() a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Car
p
enter
param_limit: save the
c
omp
a
rison
to
t
h
e argumen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpen
t
er
function_hooks: f
i
x how
d
a
tabase c
o
mparis
o
n
s
are d
o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: pass the ig
n
ore field
t
o range_
c
omparison_to
_
par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
o
mparison:
take previ
o
us comparisons into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n Carpenter
db:
prefer
literals to parameter
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpe
n
ter
db: re-ad
d
some missing [] cha
r
acters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpenter
ass
i
gned_expr: undef
i
ne on modificat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db:
fix how param
e
ter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
ass
i
g
n
ed_expr: add reverse l
i
n
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
l
inks:
create a smatch_links
.
c fi
l
e with funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpe
n
ter
parse_c
a
ll_math: fix left overs
f
rom
the format change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
p
en
t
er
param_set:
w
r
i
te s
t
ruct
membe
r
s in terms of p
a
ra
m
eter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
ar
p
e
nter
extr
a
: write
c
e
r
t
ain
r
eturne
d
struct members in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db:
pass the re
t
urn expressi
o
n to the
returned_mem
b
er_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Car
p
e
nter
extra: save ret
u
rn v
a
lues in terms o
f
parame
t
er
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: uni
f
y
ho
w
par
a
m
e
ter
d
escriptions
a
re saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
comp
a
rison: add an ignore paramet
e
r to
e
x
p
r
_equal_to_param(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
p
e
nter
unreachable: i
g
n
o
re the
un
r
eac
h
able() m
a
c
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arp
e
nter
err_
p
tr
_
deref:
p
assing an ERR_PTR to k
f
ree() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
ext
r
a: handle merging NULL pointers bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n Car
p
e
nter
extra
:
address
e
s of arrays are non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan C
a
r
p
enter
db: rem
o
ve bogus parameter informatio
n
from
h
o
ok type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carp
e
nter
db: add
a n
e
w table wh
i
ch hol
d
p
arame
t
er types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
type: introduce typ
e
_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
D
an
C
a
rpente
r
locki
n
g: remove some dupl
i
ca
t
e "
s
ometimes loc
k
e
d
"
warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpent
e
r
generi
s
i
z
e
.
pl: f
i
lter some
m
ore stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carp
e
nter
gen
e
resize
.
pl: cleanup indentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Carpe
n
t
er
ranges: a point
e
r to
a
n
array is just a pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
ext
r
a: rec
o
rd global declarati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
c
onditio
n
s: update some debug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
C
arpe
n
ter
compar
i
son
:
intro
d
uce possible_comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
xtra: update a deb
u
g st
a
teme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next