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
_
to_str()
p
rint fu
n
ction types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-06
Dan Carpe
n
ter
ty
p
e:
don'
t
crash tryin
g
to print pointer typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-06
D
an Ca
r
penter
de
b
ug: add __smatch_type
(
) whi
c
h
prints the type of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-06
Dan
Carp
e
n
te
r
t
ype:
type_to_str() sho
u
l
d take
a ty
p
e parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan
C
ar
p
enter
f
low, db: fak
e
an unkn
o
w
n ret
u
r
n if the function is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Ca
r
pe
n
ter
db,extra: fixes to param fil
t
ering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpenter
debug:
a
dd a
f
unction to do in
t
e
rsections
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Ca
r
penter
db, ranges: introduce
long_min/max v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
an
C
arpen
t
er
kernel, db: pretend pci functions can
'
t re
t
urn
PCIBIOS_BAD_R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Ca
r
pent
e
r
db, kern
e
l
:
when
k
mal
l
oc() succee
d
s that implies the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan C
a
rpe
n
te
r
d
b
: do the com
p
arison against
t
he split apart returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
a
n Carpenter
db: split functi
o
n call returns if w
e
can
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
an Carpenter
fl
o
w: handle backwa
r
ds goto ho
o
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
a
n Carpenter
flow
:
fu
n
c
t
ion declarations are not functi
o
n d
e
f
initions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
return_enome
m
: re-
w
rite w
i
thout us
i
ng re
t
urn_implies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n
Carpenter
b
uf_c
o
mpa
r
ison:
h
andle zero size arrays
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpente
r
buf_co
m
parison: export t
h
e get_size_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carp
e
nter
buf_compariso
n
, d
b
: record top l
e
vel va
r
iab
l
es in data_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpent
e
r
funct
i
on
_
hooks, db: fix a problem with nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpenter
compa
r
ison: oops
.
for
g
ot to commit a ch
u
nk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpen
t
er
64bi
t
_
s
hift: find bugs like: u64 foo = 1 <<
x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
D
a
n Carpent
e
r
auto
_
copy: fix
a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan
Carpenter
precedence:
b
& mask >> shift
is normally
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
shift
_
to_zero: fix an error m
e
ssag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
fr
e
e:
ch
e
c
k
for pa
s
sing
or returni
n
g freed memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: don't
t
urn off warnings if -
-
spammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
db/fixup_ke
r
nel
.
sh: bit
m
ap_allocate_region does
n
't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
an
C
arpenter
buf_comparison: s
t
ore which d
a
ta holds array limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpent
e
r
buf_
c
ompa
r
ison, buf_size:
add realloc() to allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
rpent
e
r
compar
e
: intro
d
uce
g
et_all_comp
a
r
isons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n
Carpenter
db: add data_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan C
a
r
p
enter
a
u
to
_
copy:
a
ssig
n
ments c
o
pies states
automatically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpenter
b
u
f_compa
r
ison: lo
o
k fo
r
off by on
e
e
r
ror
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan C
a
rpenter
M
e
rg
e
b
r
a
n
c
h 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
a
r
penter
err_ptr_deref: error m
e
ssage
s
houl
d
say "negat
i
ve
"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free
:
improve cros
s
functio
n
t
r
acking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
shift_to_zero: check for things l
i
ke "(foo & 0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan
Carpenter
parse_ca
l
l_mat
h
:
h
and
l
e ma
t
h
l
ike
"
$
0->foo + 5
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan
Car
p
en
t
er
p
a
rse_
c
all
_
math: more f
o
rm
a
t change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
p
arse_call_math: NUL
L
te
r
min
a
te buf size recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Ca
r
p
enter
call_mat
h
: use range lists instead of only exact value
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
arpe
n
t
e
r
r
a
nges:
start implementing rl_bin
o
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
compar
i
son:
store gen
e
ra
l
limits
i
n t
h
e dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
c
om
p
arison: take orig
i
nal comp
a
rison into
a
ccount
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
v
a
lidation:
a
dd a test
f
or t
h
e recent funct
i
on compa
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n Carpenter
function_hooks: func
t
ion comparison
s
can
imp
l
y a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup_k
e
rnel
.
sh: several
i
mportant updat
e
s (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpenter
comparison:
r
ename
f
alsify
_
op() to
n
egate
_
compar
i
son
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arp
e
n
ter
ranges: rena
m
e
filter_by_comparison() to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
cgcc: revert part of
t
he -Werror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison: rename flip
_
op() t
o
flip_comparison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpe
n
te
r
Mer
g
e git://git
.
kernel
.
o
rg/pub/s
c
m
/
devel/sparse/ch
r
i
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py: add
s
o
me help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carp
e
nter
build_ke
r
nel_data
.
sh: error
out if th
e
ri
g
ht pac
k
ages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpente
r
comparison
:
don'
t
store comparis
o
ns to on
e
's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
com
p
arison: add a comment f
o
r update_tf_l
i
nk
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpen
t
er
compa
r
iso
n
: get rid of the chunk_vsl
_
eq() f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison:
pa
s
s
t
he
f
ilt
e
red false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n
Carpenter
comparison: c
l
ea
n
u
p
updat
e
_
tf
_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
a
n
Carpenter
db: fix h
a
ndling of nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
st
a
t
e
s
:
add an asse
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Ca
r
penter
buf
_
size:
handle strlen(
)
a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking:
add ffs_mute
x
_loc
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
f
low:
the __in_pre_condition variable needs to
be
set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smatch
.
h:
s
tore some dummy datab
a
s
e
types temporari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db: expose the dat
a
parameter
so we can use
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
pa
r
se_ca
l
l_math: chang
e
API to use ra
n
g
e
l
ists (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
n
ter
ra
n
g
es
:
fix
parsing
t
hat
I
broke this af
t
e
r
noon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
co
m
p
a
rison: fi
x
up
f
ilter_c
o
mparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use the ranges stored in t
h
e database
properl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
r
a
ng
e
s: fix
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ranges: simplify a
n
d robustify
str_
t
o_rl_helper(
)
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
pa
r
a
m
_l
i
m
i
t: sav
e
t
he com
p
ar
i
s
o
n to
t
he arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpent
e
r
function_hooks:
fix how da
t
aba
s
e comparisons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpe
n
ter
comparison: pass
t
h
e ig
n
ore field
t
o range_comparison_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
c
omp
a
ris
o
n: take
p
r
e
vious compariso
n
s into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nter
d
b: prefer l
i
terals to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
an Car
p
enter
d
b: re-add
some m
i
ssing [] c
h
aracters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned_ex
p
r: undef
i
ne on modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
e
nter
db: fix
how parameter mat
h
works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpent
e
r
ass
i
gned_ex
p
r: add reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
l
i
nks: crea
t
e
a sma
t
ch_links
.
c file wi
t
h functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpenter
parse_call_math: fix left overs from the
f
ormat
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param_set:
write st
r
uct
m
e
mbers
in terms of para
m
eter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra:
write certain returned struct members
i
n terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
a
r
penter
db: pass the r
e
turn
e
xpr
e
ssion to
the returne
d
_member_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
xtra: save
r
e
t
urn values in term
s
of paramet
e
r math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpen
t
er
db: unify how pa
r
ameter desc
r
ipti
o
ns ar
e
saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
comparison: add a
n
i
g
nore paramete
r
to expr_equa
l
_to_para
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpen
t
er
unreachable: ignor
e
t
he unreachable() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpenter
e
rr_ptr_de
r
ef: passing a
n
ERR_PTR
to kf
r
ee() is
a
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpen
t
er
e
x
tra: h
a
ndle mer
g
ing NU
L
L pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Da
n
Carpenter
extra
:
a
ddresse
s
of
ar
r
a
y
s are non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
a
rpenter
db: remove bogus
p
ara
m
eter info
r
mation from hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
penter
db: add a new table which hold paramet
e
r types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Ca
r
pent
e
r
type: i
n
troduc
e
t
y
p
e_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
l
ocking:
remove s
o
me duplicate "som
e
times
l
ocked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpenter
generisize
.
pl: filter some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpente
r
g
e
n
e
resize
.
pl: cleanup indentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Ca
r
pen
t
er
r
anges
:
a pointer
to an ar
r
a
y is just a
p
oint
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next