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: pull get_size_from_initializer() into separate function
2012-06-12
Dan Carpenter
buf_size
:
pull ge
t
_size_from_in
i
ti
a
lizer()
i
nto separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
t
er
buf_size:
move get_stored_size(
)
out of get_array_
s
ize()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: pull handling
o
f norma
l
arra
y
s into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpen
t
er
buf_s
i
ze
:
move some f
u
nctio
n
s around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_
size:
a
dd modificati
o
n hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug: add a way to
de
b
ug buffer sizes __
s
m
atch_buf_s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: warn about bitwis
e
ANDs
that alway
s
give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs an
d
: if (foo
&
Z
E
R
O) is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpent
e
r
fu
n
c
tion_hash:
m
ake it easi
e
r t
o
ha
n
dle a
file w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpe
n
ter
sign
e
d: unbreak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpente
r
overflow: updat
e
vali
d
a
t
ion t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpen
t
er
flow: handle struct initiali
z
a
t
io
n
b
ette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
h
andle
EXPR_OF
F
SETOF and EXPR_ALIG
N
OF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpe
n
ter
o
v
er
f
low: ignore "x = &foo[A
R
RAY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpenter
overfl
o
w: white sp
a
ce cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the base slist is
not sp
e
cial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpen
t
er
slist: change form
a
t for debug outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
expre
s
s
i
ons:
i
n
t
ro
d
uce
some
m
ore expres
s
ion alloca
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
v
alid
a
tion: update derefer
e
n
c
e
ch
e
c
k
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
impli
e
d: certain sta
t
e
s should be
left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
slist: put the sm_state itse
l
f into ->possibl
e
no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cl
e
anup merge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
pent
e
r
ex
t
ra:
d
o
n
't c
r
eat
e
a new merged estate if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
estates: reus
e
same estate for
e
xtra_und
e
fined(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstr
a
ints
:
get rid of add_equ
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
const
r
a
int
s
: remo
v
e some de
a
d
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
traints: fix s
e
t
_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constrain
t
s: add_
r
elated() should
t
ake a related_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constraints
:
so
r
t
the ->related l
i
st pro
p
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraints: replac
e
get_common_relation
s
hip() w
i
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
p
e
nter
slist: m
o
ve add_pool() to
sma
t
c
h_impl
i
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpe
n
t
er
bit_shift
:
add test_
b
it() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan
Car
p
e
n
t
e
r
flow: silence
false posi
t
ives
c
aused by
h
air
y
func
t
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
im
p
l
ied: renam
e
-
>
m
y
_pool to
-
>pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpenter
slist:
rename
add_pos
s
i
ble()
=
> c
o
py_p
o
ssi
b
les()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
or
_
v
s_and:
ignore *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: fi
x
a small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
m
o
dific
a
tion: remove
calls to delet
e
_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
check_dere
f
erence: enable t
h
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Car
p
en
t
er
db: store
w
h
eth
e
r
functions
are glo
b
al
or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
r
p
e
nter
tracker:
r
emove
unused clone_tracker_li
s
t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
s
l
is
t
: bu
f
f
er ove
r
flow in debugging
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpent
e
r
user_
d
at
a
: fi
x
NU
L
L d
e
refer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: white space clean
u
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Carpenter
d
b: mo
v
e pa
r
ameter_implicat
i
ons into
t
he
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpent
e
r
ranges: add p
o
ssibly
_
true/f
a
lse_range
_
li
s
t
s_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow:
a
utomatically
li
s
t fun
c
tions that ta
k
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
mo
d
i
fication_hooks: comp
l
ete r
e
wr
i
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
db:
p
rint the SQ
L
queries when --d
e
bug is
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
clea
n
u
p:
u
se valid_ptr_min/ma
x
.
get rid
of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra: dereferenc
i
ng a pointer means it is
va
l
id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
im
p
li
e
d: cleanup debug outp
u
t a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pent
e
r
slist: pull
s
h
o
w_
s
m() into a separa
t
e funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
chec
k
_
kernel: ERR_PTR()
r
e
t
urns non-NU
L
L
(mo
s
tl
y
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Ca
r
penter
dereference checks:
use
t
h
e c
r
oss
function
info f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
e
n
ter
*new* che
c
k
_deref
e
rences_param: lis
t
functi
o
ns that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
*new* returns: m
e
rge
all s
l
i
sts from
all ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
db
:
add
call
_
implies tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
low: pr
i
n
t
a
different filename wh
e
n --info
opt
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref: fix a typo in the err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
use
r
_data: track user data
that
is r
e
turned t
o
other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool_implicati
o
ns: remove
d
ebug
g
ing output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
f
ix compile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
Carpenter
generisiz
e
.
pl: strip all strings not just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
ar
p
enter
buf_size: Add a
NULL check to get_arr
a
y_
s
ize_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
*
n
ew* siz
e
of_poin
t
e
r: using s
i
z
e
of(p) where sizeo
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
ov
e
rflow: ch
e
ck
m
e
m
cpy() to
s
ee if we're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
t
er
extra:
don't reset &arguments until the ot
h
e
r
checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
flow: change how "for (i = 0; ; i++) {
.
.
.
"
is handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*new* or_vs_an
d
: comp
l
ain a
b
ou
t
i
f
(x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
s
p
ar
s
e
:
int
r
oduce get_expression_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
y
pe
:
introduce is_pointer() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
penter
e
x
tra: frob(foo
)
resets
t
h
e
value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
D
an Carp
e
nter
extra: foo((void *)&x) writes to x probab
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
a
rpenter
ranges: i
n
troduce invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
t
h
: han
d
l
e
__smatch_implied(&x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
r
anges: commi
t
range_lists_equiv() so that bo
o
l_implic
a
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
smdb_
p
aram_buf_s
i
z
e
.
s
h
:
ask db what size
bu
f
fers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
extra: ge
t
_implied_range_list
(
) should handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpenter
bu
f
_si
z
e: store buffer sizes in db
(
turned off
b
y defau
l
t)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
db: don't die on S
Q
L errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
boo
l
_
i
mpli
c
ati
o
ns: make a list of
implication
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan
Carpen
t
er
ma
t
h: handle lo
g
ic
a
l expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
cor
e
:
p
rint sm_m
s
g()s before parsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an Carpenter
pa
r
a
me
t
er_im
p
licati
o
ns: gen
e
rate l
i
st of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Carpenter
db: match_
r
e
t
urn() shouldn
'
t r
e
-
i
m
plement
get_impl
i
e
d_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: s
o
rt of
handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Car
p
enter
math: simpl
i
fy im
p
l
ied_co
n
d
itio
n
_
t
rue
/
fals
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpe
n
ter
math: s
i
mpli
f
y known_conditio
n
_
t
rue/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
enter
math: handle __s
m
a
tch_imp
l
ied((
{
f
rob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
han
d
le foo =
!
2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
a
rpe
n
t
e
r
e
x
t
r
a, math: mo
v
e known_conditon_true/false(
)
e
tc fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
p
r
o
j
e
ct:
f
ix p
a
rameter
impli
c
ation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpenter
h
elper: intro
d
uce get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db: print all retu
r
n values at end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n
C
arpenter
db: ad
d
som
e
s
mdb_ scr
i
pts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
ar
p
enter
fill_db_return_
i
nfo: fi
x
out dated parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
e
x
tra: always in
i
tialize the range in ge
t
_
implied_ra
n
g
e
_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
extra: fix get_i
m
plied_range() for function ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
che
c
k_macr
o
s
:
cl
e
anup: use posit
i
ons_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next