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
ranges: start implementing rl_binop()
2014-10-10
Dan Carpenter
ranges
:
start implementing r
l
_bin
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nt
e
r
comparison: store general limits in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
C
a
rpenter
comparison: take orig
i
na
l
comparison into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpenter
validatio
n
:
a
dd a test for the recent
f
u
nction compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n Carpe
n
ter
function_hoo
k
s
:
function com
p
a
riso
n
s can imp
l
y a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
arpe
n
ter
f
ix
u
p_kernel
.
sh: several
i
mporta
n
t updates
(
bu
g
fixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Ca
r
penter
comparison: renam
e
fal
s
i
f
y
_op
(
) to negate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpenter
ranges: rename filte
r
_by_com
p
arison
(
)
to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
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
Da
n
Ca
r
penter
Mer
g
e git://git
.
kernel
.
o
r
g
/
pub/scm/devel/sparse/c
h
ri
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpenter
s
mdb
.
p
y: add so
m
e help tex
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpe
n
ter
build_
k
ern
e
l
_d
a
ta
.
sh: err
o
r out i
f
the
rig
h
t packages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
compariso
n
:
d
on't st
o
re
co
m
parison
s
to
one's s
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
c
om
p
arison:
add a comment for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: ge
t
rid
o
f
the chunk_vsl
_
eq() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpenter
com
p
arison: pass the filtered false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n
C
arpenter
co
m
p
a
rison: cleanup update_tf_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db:
fix
h
andling of
nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
n
ter
states: a
d
d
an
a
ssert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
buf
_
si
z
e: han
d
le strlen() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nte
r
locking: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flow:
the __in_pre_cond
i
ti
o
n
variab
l
e needs
to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpente
r
smatch
.
h
:
st
o
re some dummy database
types
temporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
db: expose the data
pa
r
ameter
s
o we can use d
a
ta in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
par
s
e_call_mat
h
: change API to u
s
e
range list
s
(mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges
:
f
i
x parsing that I broke
t
his aft
e
rnoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
penter
compa
r
ison: f
i
x up
f
ilter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
ra
n
g
e
s
: use the ra
n
ges stor
e
d in the d
a
tab
a
se properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: fix
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: simplify and rob
u
stify
s
tr_to_rl_helper
(
) a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
param_limit:
s
ave the comp
a
ris
o
n to
the ar
g
uments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
nter
function_hooks: fix h
o
w d
a
taba
s
e comparis
o
ns a
r
e done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
comparison: pass
t
he ignor
e
f
ield to range
_
comp
a
r
i
son_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
omparison: t
a
k
e
previous compari
s
o
n
s in
t
o
account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpente
r
db
:
prefer liter
a
l
s to
p
arameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n Car
p
e
nter
db: re-add some missing []
chara
c
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpe
n
ter
assi
g
n
ed_expr:
undefine on
mo
d
ification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
d
b
: fi
x
h
ow parameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
assigned_expr: ad
d
reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
links: create a
smatch_links
.
c file with functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpen
t
er
pa
r
se
_
call
_
math
:
f
ix left ov
e
rs from the fo
r
mat ch
a
nge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpe
n
ter
param_set:
w
rit
e
struct m
e
mb
e
rs in terms
of paramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
ex
t
ra: w
r
ite certain r
e
turned struct members
i
n
te
r
ms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db: pass th
e
r
e
turn expression
to the retu
r
ned_member_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
ext
r
a:
s
a
ve return values in terms of p
a
ra
m
eter mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
db: unif
y
h
ow par
a
me
t
er descriptions are
s
av
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
comparis
o
n
:
a
d
d an ignore parame
t
e
r
to expr_equa
l
_to_param(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpenter
un
r
eachable
:
ignore the u
n
r
eachable()
m
ac
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
er
r
_ptr
_
der
e
f
: passi
n
g
an ERR
_
PTR t
o
k
f
r
ee(
)
is a
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpenter
e
xtra
:
handl
e
merging NULL
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan
Car
p
enter
ex
t
ra: addresses of ar
r
a
y
s are no
n
-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: remov
e
bogus parameter
inform
a
tion from
hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: add a new table w
h
ic
h
hol
d
para
m
ete
r
t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpen
t
e
r
t
y
pe: introduce typ
e
_to_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Da
n
Carpenter
locking: remove some dupli
c
ate "som
e
times locked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
a
r
penter
generi
s
iz
e
.
p
l
: fi
l
te
r
s
o
me
m
ore stu
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
Carpenter
gen
e
resize
.
p
l
: cleanup inde
n
t
a
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
range
s
: a pointer to
a
n array is jus
t
a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: record global declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
conditi
o
ns: update some debug outp
u
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
r
penter
com
p
arison: introd
u
ce possible_c
o
mparis
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Ca
r
pe
n
ter
e
x
tra:
u
pdate
a
debug statemen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
f
unction_
p
trs: track functions which
r
e
turn a
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
e
r
show
_
errs
.
sh:
quot
e
some str
i
ngs
p
rop
e
r
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slis
t
:
put ge
t
_s
m
_sta
t
e
_s
t
ree_stack
(
) in the
.
h
f
i
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
st
a
tes:
c
hange the debug output
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
stru
c
t_a
s
s
i
gnm
e
n
t: handl
e
k
z
a
l
lo
c
() bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
s
l
ist: a
d
d t
h
e
f
ilename to s
o
m
e
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow: parse gl
o
bal variables before p
a
rsing functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
s
list: expo
r
t the set_stat
e
_stree_perm()
f
u
n
c
t
ion to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
comparison:
a vari
a
b
le is a
l
ways equal to itself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
D
an Carpente
r
remove
null
tests for arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
arpenter
Make
f
i
l
e: allow CC to be
d
efined out
s
i
de the
m
akefi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
silence non-ANSI war
n
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan
C
a
r
penter
h
e
lper:
prevent segfault in expr_to_v
a
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpenter
extr
a
: improve handling of "if (x *
4
>
12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan
Carpenter
missing_bre
a
k: m
a
ke
a
f
u
nction stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Car
p
enter
db: fix runtime breakag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Da
n
Carpenter
dereferenc
e
s_param: add more dereferenced variabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
C
arpenter
range
s
: remove unneeded
NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpen
t
er
type_val: sto
r
e fake assignm
e
nts
in a s
l
i
g
htly different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan
C
arpenter
p
aram_set/fi
l
ter:
don't print less useless informati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: fixup after
c
all_implies changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan C
a
rp
e
nter
p
a
ra
m
_cleared: handl
e
direct assignm
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Ca
r
penter
db: mak
e
call_implies
m
at
c
h cal
l
er_info
w
ith a k
e
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
D
an Carpent
e
r
smd
b
.
py:
fix t
e
st for if a
d
atatype is
know
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
a
r
p
ente
r
a
ssigned_
e
xpr
e
ssion: get the assign
e
d expre
s
sion usi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
rosenberg: handle struct to
s
tru
c
t assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
arpenter
data/k
e
rne
l
.
sizeof_param
.
r
e
mov
e
: add __dynamic_pr_debug(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Ca
r
p
e
n
ter
st
r
uct_assignm
e
nt
:
in
t
roduce get_
f
aked_
e
xpre
s
sion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_assignmen
t
: handle memcpy
(
f
o
o,
.
.
.
)
wh
e
re foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpen
t
e
r
math: be more ambitio
u
s handling r
i
ght shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpent
e
r
user_data:
k
s
trtoul
(
)
and f
r
iends
should taint
d
a
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra: m
o
re limi
t
s on which variabl
e
s
are equ
i
v
al
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan C
a
rpenter
db: get
return states from function point
e
rs i
f
possi
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan
C
arpenter
propagate: remov
e
va
l
idation tes
t
because w
e
r
em
o
v
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
ter
slist:
introduce merg
e
_
fa
k
e_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Carpe
n
t
er
u
n
reachable: silen
c
e "not
ac
t
u
a
lly initia
l
ized"
f
alse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Ca
r
p
ente
r
ros
e
n
b
e
rg: fix some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
D
a
n Carpenter
debug: introduce __smatch
_
debug_check() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next