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
slist: change format for debug output
2012-05-30
Dan Carpenter
slist:
c
hange fo
r
m
a
t
for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
e
x
pressions: introduce some
mo
r
e
e
xpression al
l
ocati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Car
p
e
n
ter
validation: update derefer
e
nc
e
ch
e
ck
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implied: certa
i
n states
s
hould be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
s
l
i
s
t: put t
h
e sm_state
itself
into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
s
list: cle
a
nup mer
g
e_ho
o
ks
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpen
t
e
r
extra: do
n
't create a new
m
erged estate if ->ri
g
ht
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Ca
r
penter
estates
:
reuse same estate for extra
_
und
e
f
ine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: get ri
d
of add
_
equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rp
e
nter
constraints:
r
emo
v
e some
d
ead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpen
t
er
constraints: fi
x
set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constr
a
ints:
a
dd_rel
a
ted() should take
a
related_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
constraints: sort the ->rela
t
e
d
list prope
r
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints:
replace get_com
m
on
_
relationship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
s
l
ist: move add_pool() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n C
a
r
penter
bi
t
_s
h
ift:
a
dd
test_bit(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan
C
a
rpent
e
r
f
l
ow: silence false posi
t
ives
caused by hairy func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
i
m
plied
:
ren
a
me ->my_p
o
ol
t
o ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nter
slist: renam
e
add_p
o
ssib
l
e
()
=
>
copy_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpenter
or_v
s
_and:
ignore *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
tr
a
c
k
er:
fix a s
m
a
ll m
e
mory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
ter
modification: remove
c
alls to delete_sta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
check_derefer
e
nce: enable
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
e
n
t
er
d
b: store whether
functions are globa
l
or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
tracker: remove
unused clone_tracker
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
s
l
i
st: buf
f
er overflow in debugg
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
user_data: f
i
x NUL
L
dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
db: white space cl
e
a
nu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
a
r
penter
d
b
:
m
ove paramet
e
r_imp
l
ications int
o
t
h
e
d
at
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpe
n
ter
ranges: add possibly
_
true/false_range_lists_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: automatically list functions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carp
e
nter
modification_hooks: complete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
d
b: p
r
i
n
t
t
he SQL
q
u
eries whe
n
--debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
cleanup: use valid_ptr_min/max
.
get r
i
d of
P
OINTER
_
MA
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
en
t
er
ex
t
r
a: dereferencin
g
a pointer means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
implied: clean
u
p
de
b
ug
ou
t
p
u
t a
l
itt
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pull show_sm() into a sepa
r
ate
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
check_kernel: ERR_PTR
(
) retur
n
s non-NU
L
L (m
o
stly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpent
e
r
dereference checks: us
e
the cross
f
unc
t
ion info
f
ro
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
r
penter
*new* check_dereferences_pa
r
am: list functions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* returns: m
e
rge
a
ll slists fro
m
all re
t
ur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db:
a
dd call_implies
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
lo
w
: print
a
d
i
ffer
e
n
t filen
a
me when
--info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpen
t
er
d
eref:
f
ix a typo
in the error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: track user data that i
s
r
eturn
e
d
to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n C
a
rpenter
b
o
ol_
i
mplications: r
e
m
ove de
b
ug
g
ing output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix comp
i
le on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
ter
generisi
z
e
.
pl: strip all
s
trin
g
s
not just
t
he
f
irst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
a
rpe
n
ter
b
u
f_
s
ize:
A
dd a NULL
c
heck to get_arra
y
_size_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeof_pointer
:
using
s
i
zeof(p) wh
e
re sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
p
en
t
er
overflow: check memcpy() to see if w
e
're comparin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
e
xtra: don
'
t res
e
t
&arguments until the o
t
her che
c
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flow: change how "for (i = 0; ; i++) {
.
.
.
" is ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
ent
e
r
*new*
o
r_vs_and: complain about if (x !
=
3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carp
e
nter
sparse:
i
ntroduce
g
e
t
_express
i
on_val
u
e_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Car
p
e
nter
t
ype: introduce is_
p
o
i
nter(
)
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra
:
frob(foo) reset
s
the
value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carp
e
n
t
er
ext
r
a: foo((void
*
)&x) writes
to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
arpenter
r
a
nges: introduce
i
nvert_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Car
p
en
t
er
math: han
d
le __smatch_
i
m
p
lied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: commit
range_lists_equiv() so that bool_impli
c
atio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
n
t
er
smdb_p
a
r
a
m_buf_size
.
sh:
ask db what size
bu
f
fers a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
ex
t
ra
:
g
et_
i
mplie
d
_ra
n
ge_list(
)
should
handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
buf_size: store buff
e
r sizes
i
n db
(
turned o
f
f by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
d
b
: don't
die on
S
QL erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpen
t
er
bool_im
p
licatio
n
s: ma
k
e a l
i
st of implications
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: han
d
le logical expr
e
ss
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
core:
print sm_
m
sg()s before
p
arsing sta
r
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpenter
pa
r
ameter_implications: gene
r
ate l
i
st of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpent
e
r
db: match_r
e
turn() shouldn
'
t re-imp
l
ement get_implied_rang
e
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
a
t
h
: s
o
rt of
h
and
l
e
condi
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplify implied_c
o
ndit
i
on_true/fa
l
s
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: simplify known_con
d
i
t
ion_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: hand
l
e __smatch_implied(
(
{frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle foo =
!
2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
e
x
t
r
a, m
a
t
h
: m
o
ve known_condit
o
n_true/false(
)
etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
Carp
e
n
ter
p
r
o
j
e
ct: fix param
e
ter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
helper: introduce get_member_nam
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carpenter
db:
print
a
l
l
r
e
t
urn values at end of
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Ca
r
p
enter
db: add some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
fill_db_return_info: fi
x
out dated pa
r
s
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: always initialize
the range
i
n
get_implied_r
a
n
ge_
l
ist(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ex
t
ra: fix get_i
m
plied_
r
ange() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an C
a
rpenter
check
_
macros: cleanup: use
p
o
sitions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Ca
r
pe
n
ter
mac
r
o:
t
a
k
e
a s
t
ru
c
t
p
osition, not a
p
ointe
r
t
o
a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
i
m
plied: cleanu
p
: move dubug
pri
n
tf
s
t
o their
o
wn function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
r
a
nges:
g
et rid of possibly_(tru
e
/false)_range_
l
is
t
_l
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: cleanup: move true_com
p
ari
s
on_range_lr
(
) into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carp
e
nter
extra: ad
d
para
m
eter implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpent
e
r
rang
e
s
: introduce clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpenter
r
a
nges:
i
n
it
i
al
i
ze the point
e
r i
n
get_valu
e
_ran
g
es(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
d
b
:
ign
o
re
f
unc
t
i
ons w
h
ich are
ca
l
led a l
o
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
typ
e
:
export get_rea
l
_b
a
s
e_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arp
e
nter
db: add code
t
o hack up the databa
s
e with pro
j
ect
specif
i
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpente
r
conditions: pres
e
rve |= as the
as
s
i
g
n op i
n
foo
|
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
nt
e
r
type
:
sizeof() is un
s
i
g
ned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Car
p
enter
condition
s
: sparse never see
m
s to use SPECIAL
_
UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
C
a
r
pente
r
h
elper:
introduce positions_eq(pos1, pos2) functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
build_kernel
_
d
at
a
.
s
h: make
i
t
executa
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
m
a
c
ro_side_effects
:
silen
c
e fals
e
pos
i
tives insid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next