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,extra: fixes to param filtering
2014-11-05
Dan
C
a
r
penter
db,ex
t
ra: fixes t
o
param
f
iltering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpenter
debug: add a fun
c
t
i
o
n to
d
o i
n
tersections
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpent
e
r
db, ranges: introduce long_min/max val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpen
t
er
kern
e
l, db: p
r
etend pci fu
n
c
t
ions
c
an't return PCIBIOS_BAD
_
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
arpenter
db, kern
e
l
: w
h
en
k
malloc(
)
succeeds that i
m
p
lies the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db: do
t
h
e
comparison against the split apart return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db: split
f
unction call retu
r
n
s if we can
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carp
e
nter
flow: handle
b
ackward
s
got
o
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
D
an Carpenter
flow
:
funct
i
on dec
l
aration
s
are not function definiti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carpenter
r
eturn_enomem: re-write without us
i
ng
return_implies_sta
t
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
arpen
t
er
buf_comp
a
rison: handle zero siz
e
arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Ca
r
penter
buf_
c
omparis
o
n:
e
xport t
h
e g
e
t_size
_
variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Carpenter
buf
_
comparison, db: r
e
cord t
o
p level
v
a
ri
a
b
l
es in d
a
ta_inf
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
r
pe
n
ter
function_hooks,
d
b:
f
ix a p
r
oble
m
with nested calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Ca
r
pen
t
er
comparison: oops
.
forgot t
o
comm
i
t a chunk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
D
a
n
Carpen
t
er
64bit_shift: find bugs like: u64
foo = 1
<< x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
auto_copy: fix a
c
ras
h
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
prec
e
d
e
n
ce: b
& mask >>
s
h
i
ft
i
s normally
a
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carpenter
shift
_
to_zer
o
: fix an error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an
C
a
rpenter
free: check for passing
or returning fr
e
ed memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
f
r
ee: do
n
't turn off warnings if --spammy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
d
b
/fixup_kern
e
l
.
sh: bitmap_allocate_region
do
e
sn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
Carpenter
b
u
f
_
comparison
:
sto
r
e which d
a
ta hol
d
s array limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n Carpente
r
buf_comp
a
r
ison
,
buf_size:
a
dd realloc
(
) to al
l
ocati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
comp
a
r
e: introduce get_all_co
m
parisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpen
t
er
d
b
: ad
d
da
t
a_i
n
fo table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Car
p
enter
auto_copy: assignments copies st
a
t
es automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
D
an
C
arpente
r
buf_comparison: look for off
by
one
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
D
a
n Carpenter
M
e
rge b
r
a
n
ch
'
deve
l
'
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
err_
p
tr_
d
eref: error message
s
hould
s
ay "negat
i
v
e
"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
free:
i
m
p
rove cros
s
f
u
ncti
o
n tra
c
king
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
shif
t
_to_z
e
ro: check for things l
i
k
e
"(foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carp
e
n
t
er
parse_call_math: han
d
le math like "
$
0->foo
+
5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan
C
a
r
pe
n
ter
parse_call_ma
t
h: more
format chang
e
f
allou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carp
e
n
ter
parse_call_math:
NULL terminat
e
buf
s
i
z
e
r
ecipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
an Carpenter
call_m
a
t
h
:
u
se range
l
ists instead of only exact values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
arpenter
ra
n
g
es: start imple
m
enting
rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpen
t
er
comparison: store general
limits in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
r
pen
t
er
comparis
o
n:
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 the recent function com
p
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
enter
fu
n
ction_ho
o
ks: functio
n
comparisons c
a
n
imply
a
p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n
Carpent
e
r
fixup_kernel
.
s
h
: several important upd
a
tes (bugfi
x
es)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
comp
a
rison
:
ren
a
me fal
s
ify_op() to negate_comp
a
rison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
ran
g
e
s
: r
e
name
filte
r
_by_comp
a
r
i
s
on() to some
t
hi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpenter
cgc
c
: re
v
e
rt pa
r
t of t
h
e
-
We
r
ro
r
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
comparison: r
e
n
ame flip_op() to
flip_comparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Da
n
Carpenter
Merge git://git
.
kernel
.
org/pub/scm/devel/sparse/chr
i
sl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py: add
s
ome help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
bu
i
ld_k
e
r
n
el_data
.
sh:
error out if
t
he right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
compa
r
ison: don't st
o
re comparisons to
one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison: add a commen
t
for
update_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpente
r
comparison: get rid of the chunk_vsl_eq() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Car
p
enter
compar
i
son
:
pass t
h
e
f
iltered false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
C
arpen
t
er
comparis
o
n: clea
n
up
update_tf
_
data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan
C
a
r
penter
db:
f
ix handling of nes
t
ed
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
states
:
add
a
n
assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
b
uf_size: h
a
ndle strlen
(
) a
b
it bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
l
o
ckin
g
: add ffs_
m
ut
e
x_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
flow:
t
he __in_pre_conditi
o
n
v
ariabl
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 Carpenter
s
m
at
c
h
.
h: store some dummy data
b
ase types temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
db: expose the data param
e
ter so we
can use dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carp
e
nter
p
a
r
se_ca
l
l
_
math: c
h
a
n
ge API to use range
l
ists (m
o
stly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
ranges: fix p
a
r
s
ing that I broke th
i
s
after
n
oon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n C
a
rpenter
compari
s
on: fix u
p
filter_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
r
a
nge
s
: us
e
the rang
e
s
sto
r
ed
in
the database proper
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
ran
g
es:
s
implif
y
and robustify str_to_rl_helper() a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Car
p
e
nt
e
r
param_lim
i
t:
save the
c
omparison to the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
function_hook
s
: fi
x
h
o
w database compa
r
i
s
o
ns ar
e
done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
nter
comparison: pass the ignore field to rang
e
_comparison_to_pa
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: t
a
ke previous comparison
s
into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpen
t
er
d
b
:
p
ref
e
r
l
iterals
to
parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Car
p
enter
db: re-add some
missing [] character
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
as
s
igned_expr: und
e
fi
n
e
o
n mo
d
ificat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpent
e
r
d
b
: fix
h
ow parameter ma
t
h wo
r
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n C
a
r
p
enter
assig
n
ed_
e
xpr: a
d
d
r
everse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an
Ca
r
penter
l
i
n
ks: create
a
smatch_link
s
.
c file with function
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
parse_call
_
m
a
th:
f
i
x left ov
e
rs from the
f
orma
t
change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an
C
arpenter
pa
r
am_set: w
r
i
t
e struct m
e
mbers i
n
terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
ex
t
ra: write
c
e
r
tain
re
t
urned
st
r
uct members in
ter
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
db: pass the retu
r
n ex
p
ression to the returned
_
member_c
a
llback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
e
x
tra: save return val
u
es i
n
t
e
r
ms of
p
a
ramet
e
r math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
d
b: un
i
fy how p
a
rameter descr
i
ption
s
ar
e
saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
p
e
nter
comparison: add an ignore parameter to expr_equal_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpente
r
unreachable:
i
gn
o
r
e
t
h
e u
n
r
eachable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n C
a
r
penter
err_pt
r
_
d
e
r
e
f: passing an ER
R
_PTR
t
o kfree
(
) is a
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpenter
extra: handle me
r
ging NU
L
L
p
o
inters bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extra:
a
ddresses of
a
rrays are non-
N
U
L
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
a
rpente
r
db: remove bogus
parameter inf
o
rmation
f
rom hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n C
a
rpenter
d
b
: add a new
table which hold parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Ca
r
pe
n
te
r
type: intro
d
uce
typ
e
_
to_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carp
e
nter
l
ockin
g
: remov
e
s
o
me duplicate
"sometim
e
s locked" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generi
s
iz
e
.
pl: fi
l
ter
s
o
me more stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpenter
gen
e
resize
.
pl:
clean
u
p indentatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpe
n
t
er
ra
n
ges:
a
poi
n
ter
t
o an arr
a
y is just a
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
extra
:
rec
o
rd
g
lobal
declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
conditions: up
d
ate some
debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
c
ompari
s
on: intr
o
duce possible_com
p
a
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
e
x
tr
a
: update a de
b
ug stateme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
pen
t
er
funct
i
on_ptrs: track fun
c
tio
n
s which re
t
u
r
n a fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next