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
buf_size: add modification hooks
2012-06-12
Dan Carpenter
buf_size: add modifi
c
a
tion hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debu
g
:
add a way to debug b
u
ffer sizes __smat
c
h_
b
uf_s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpenter
Or v
s
and: warn abou
t
bitwise A
N
Ds that
a
l
ways
give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
r
p
e
nt
e
r
Or vs and: if (foo
&
ZE
R
O) is
nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an
C
a
rpenter
functi
o
n_has
h
: mak
e
it eas
i
er to handle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan
Carpenter
signed: unbre
a
k
t
he
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
o
v
erflow:
update validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
flow: handle s
t
ruct initia
l
iza
t
i
o
n
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
a
rpenter
flow: h
a
ndle EXPR_OF
F
SETOF and
EXPR
_
A
LI
G
N
O
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpente
r
overflow: i
g
nore "x = &
f
oo[ARRAY
_
SIZE(f
o
o)
]
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
o
v
erflow: white spa
c
e
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
im
p
lied
:
the base sli
s
t is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
nter
slist: c
h
ang
e
format for deb
u
g outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
exp
r
essions:
i
ntroduce some
m
ore expression
allocat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpen
t
er
validation: u
p
date de
r
efere
n
ce check outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Carpenter
implied: cert
a
in states shou
l
d be l
e
ft as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
enter
slist: put
the sm_state itself into ->
p
ossible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpen
t
e
r
slist: c
l
e
a
n
up merge_hook
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Car
p
enter
extra:
don't create a new merged esta
t
e i
f
->r
i
ght
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
rp
e
n
t
er
estat
e
s: reuse same estate for ex
t
ra_und
e
fined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
e
r
constraints: get rid
of add_
e
q
uiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
cons
t
raint
s
: remo
v
e some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
const
r
ain
t
s
: f
i
x set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constraints: add_re
l
ated() should take a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
c
onstraints:
s
o
r
t the ->relat
e
d list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints
:
r
e
p
lace get_c
o
mmon_relationship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
slist: move add_pool
(
)
to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
b
i
t
_shift: add test_
b
it() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n
Carpenter
flow: silence fals
e
p
o
s
i
tive
s
caus
e
d by hairy function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: rename
-
>my_pool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
arpenter
slist: rename add_
p
ossible() => copy
_
poss
i
bles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpen
t
er
or_vs_and: ign
o
re *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
tracker: fi
x
a sm
a
ll memory
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
m
odifica
t
ion: remove calls to de
l
ete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
check_
d
eref
e
rence: enable th
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
e
nter
db: store whether fun
c
tio
n
s
are
global or st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
t
r
acker: remove
unused
clo
n
e
_
tracker
_
list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: buffer
overflow in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
ent
e
r
user_d
a
ta: fix NU
L
L
dere
f
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
C
a
r
pente
r
d
b: white space cl
e
anups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpenter
d
b
: m
o
ve parameter
_
i
mplicat
i
ons in
t
o the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpenter
ranges: add possibly_true/fals
e
_rang
e
_list
s
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Car
p
e
nter
overflo
w
:
automat
i
cally list func
t
i
o
ns that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Carpente
r
m
o
dificati
o
n_hooks:
c
ompl
e
t
e
rewr
i
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan C
a
r
p
ent
e
r
db:
print
the SQL
q
u
eries
w
hen --de
b
ug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpenter
cle
a
nup: use valid_ptr_m
i
n/m
a
x
.
g
et
rid of
P
OINT
E
R_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carp
e
nt
e
r
ext
r
a
: dereferenc
i
ng a pointer mea
n
s it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied:
c
leanup d
e
bug
o
utput a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
slist: pull show_sm() into
a sepa
r
a
t
e functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carp
e
nte
r
check_kernel:
E
R
R_PTR() ret
u
r
n
s
n
o
n
-
NU
L
L (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rp
e
n
t
er
dereference chec
k
s: u
s
e the c
r
oss
fun
c
t
ion inf
o
from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_de
r
efer
e
n
c
e
s_pa
r
a
m
: list f
u
nctions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
*
n
ew*
r
eturns: merge al
l
s
l
ists
fr
o
m all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db:
a
dd call_impl
i
es table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
low: print a different
file
n
ame
when --in
f
o option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
r
p
enter
d
e
r
ef
:
fix
a typo in
t
he err
o
r messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
C
a
r
penter
user_d
a
ta: track user dat
a
that is r
e
t
u
r
n
ed
to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
bool_imp
l
ications: r
e
move debuggin
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n Carpenter
fix co
m
pile on Ubu
n
tu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
generi
s
ize
.
pl:
s
trip all s
t
r
ings not
j
u
s
t
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
b
u
f_si
z
e:
A
d
d
a NULL che
c
k to
g
et_ar
r
ay_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new*
s
i
zeof_p
o
i
n
ter: using size
o
f(
p
)
w
here sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
rpen
t
er
ove
r
flow
:
c
h
e
c
k memc
p
y(
)
to see if
we'r
e
comp
a
r
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpen
t
er
e
x
tra: don't
reset &arguments
u
ntil t
h
e other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
p
e
nter
flow:
c
hange h
o
w "for
(
i
=
0; ;
i++
)
{
.
.
.
" is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
*
n
ew* or_vs_and: complain about if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
D
an Ca
r
p
e
nte
r
s
parse: introduce
get_
e
x
p
ression_v
a
l
ue_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carp
e
nter
type:
introdu
c
e
is_pointer() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ext
r
a:
f
rob(foo) resets the value
o
f *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpent
e
r
extra: foo((void *)&x)
w
rite
s
t
o x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
rang
e
s:
in
t
roduce in
v
ert_
r
ange_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Ca
r
p
ente
r
ma
t
h
: handle __smatch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
r
pe
n
ter
r
anges: commit r
a
nge_l
i
sts_equiv() so that b
o
ol_
i
mplication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
smdb_
p
aram_buf_size
.
sh: ask db what size b
u
ffers
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
extra
:
g
et_implied_rang
e
_list(
)
sho
u
ld
handle
c
onditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rp
e
nter
bu
f
_si
z
e: stor
e
b
u
ffer size
s
in db (turned off
by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
pen
t
er
db: don't die on SQL erro
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
bool_implications:
m
ake
a list o
f
implicati
o
ns for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
m
ath: han
d
le l
o
gical
express
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an
C
arpent
e
r
core
:
print sm_ms
g
()s before parsing
s
tarts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
a
rpenter
parameter_i
m
pli
c
ation
s
: gen
e
rate list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: match_return()
s
hou
l
dn't re-implement get_implied_
r
a
n
g
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
math: sort of handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simpli
f
y implied
_
c
onditio
n
_
t
ru
e
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: sim
p
lify k
n
own_condition
_
t
rue/fal
s
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math: handle _
_
smatc
h
_implied((
{
f
r
ob
(
);
2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
e
n
ter
math
:
handle
f
oo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
extra, math: mo
v
e known_conditon_true/false() etc fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
project: fix par
a
meter implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpente
r
h
e
lper:
i
ntroduce get
_
member_n
a
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpent
e
r
db: print all r
e
turn values at end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add some smdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
fill_db_
r
eturn_info: fix out dated
parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
arpenter
e
x
tr
a
:
alwa
y
s initi
a
lize the range in
g
et_i
m
p
lied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get
_
implied_range() for functi
o
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
che
c
k_macros: cleanup: use pos
i
tion
s
_
eq(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
macro
:
t
ake a struct
positio
n
,
not a poin
t
er to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
im
p
lied: cleanup: move du
b
ug printfs to their
o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n C
a
rpen
t
er
ranges: get
rid
o
f
p
ossi
b
ly_(true
/
f
alse)_ran
g
e_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ran
g
es: cleanup: move true
_
comparis
o
n_ran
g
e_
l
r() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next