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 bytes_to_elements() in its own function
2012-06-13
Dan Carpenter
buf_size: pull byte
s
_to_elemen
t
s(
)
in its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
e
n
ter
buf
_
s
ize
:
calcul
a
te byt
e
s per ele
m
en
t
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: ad
d
a basic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf
_
size: if th
e
size is variable pick t
h
e l
a
r
g
er on
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
m
ove get_s
i
z
e
_from_strl
e
n() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Ca
r
penter
b
u
f_size: pull get_
s
ize_fr
o
m
_
init
i
alizer() into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rp
e
nter
buf_size: move get_stored_siz
e
() out of
get_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
buf_
s
ize: pu
l
l handling of normal ar
r
ays into
s
e
parate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_si
z
e:
mo
v
e some functions a
r
ou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
buf_size:
a
dd modification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
debug: ad
d
a
w
ay to debug b
u
f
f
er
sizes
__sma
t
ch_buf_si
z
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpente
r
Or vs a
n
d: warn
about bi
t
w
ise ANDs
t
hat alwa
y
s
give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpent
e
r
Or vs
and: i
f
(foo & ZERO) is n
o
n
s
ense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Carpenter
f
unction_hash: mak
e
i
t
easier
t
o
handle a
file
w
i
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
penter
signed: unbreak the c
h
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
r
p
ent
e
r
ove
r
flow: upd
a
te va
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: han
d
le st
r
uct initialization bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpen
t
er
flow:
h
andle EXPR_O
F
F
S
ETOF and
E
XP
R
_ALI
G
NOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
e
n
ter
o
ve
r
fl
o
w: ignor
e
"x = &foo[AR
R
AY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpe
n
ter
o
v
er
f
low:
white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
C
arpenter
implied: th
e
bas
e
slist is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
sl
i
st:
c
hange f
o
rmat for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpen
t
er
expres
s
ions: introduce some more expression
allocat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validat
i
on: update dereference chec
k
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpent
e
r
implied: certai
n
sta
t
es should
be
left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
slist:
p
ut the sm_
s
tate itself int
o
->pos
s
i
ble not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
ter
slist: cle
a
n
up merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extr
a
:
d
on't cre
a
te a new me
r
ged estate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
est
a
tes: reuse sam
e
estate fo
r
extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constraints: get rid of a
d
d_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Car
p
e
nter
constra
i
n
ts:
r
e
m
o
ve some de
a
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
co
n
straints:
a
dd_re
l
ated() shou
l
d take a rela
t
ed_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: so
r
t the ->re
l
ated list
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
con
s
tr
a
ints:
replace
g
et_common_
r
el
a
tion
s
hip(
)
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
s
list:
mov
e
add_pool() to
smatch_im
p
lied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpent
e
r
bi
t
_shift: add test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpent
e
r
flow: sile
n
ce false
p
o
s
itives cause
d
by hairy functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpente
r
implied: rename
->my_poo
l
to -
>
p
ool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpenter
slis
t
: r
e
n
a
me add_possi
b
le() => c
o
py_p
o
ssibles
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
or_vs
_
and: ignore *p
+
+ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: fix a sma
l
l mem
o
ry
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
modification: remove calls to
d
elete_sta
t
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
ch
e
ck_deref
e
rence:
enable t
h
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
db: store wh
e
ther
f
u
n
ctions are
g
lobal or
stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker:
r
em
o
ve unused
clo
n
e
_
tr
a
cker_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
slist: buffer overflow i
n
debugging cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: fix NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: white space cle
a
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
move parame
t
e
r
_im
p
lica
t
ions into the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpenter
rang
e
s: add
possibl
y
_true/false_ra
n
ge_lists_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carp
e
n
t
e
r
overflow:
a
utomatically list functions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpente
r
modi
f
ication_hooks:
c
o
mp
l
ete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Car
p
e
n
te
r
db:
print the SQL q
u
er
i
es
when -
-
debug is
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
cleanup: us
e
v
alid_
p
tr_min/max
.
get ri
d
of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra: dereferencing a pointe
r
means i
t
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Ca
r
penter
i
mplied
:
cleanup debug
o
utput a
l
ittle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
slist
:
pull sho
w
_
s
m() int
o
a separa
t
e function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an
C
a
rpe
n
ter
check_k
e
rnel: ERR_PTR
(
)
retu
r
ns
non-NUL
L
(mostl
y
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
dereference checks:
use
the cross fu
n
c
tion
info
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Car
p
e
nte
r
*new*
check_d
e
r
eferenc
e
s_param: list functi
o
ns tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
*new*
returns:
me
r
g
e all sli
s
ts from all retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
e
nter
db: add call_imp
l
ies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpent
e
r
flow: print a d
i
fferen
t
filenam
e
when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref
:
fix
a typo in th
e
err
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpen
t
er
user_data:
t
rack user dat
a
that
i
s returned
to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carpente
r
b
o
ol_i
m
plicati
o
n
s
: remov
e
debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n
C
arpe
n
t
er
f
i
x compile o
n
Ubunt
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Ca
r
penter
generisize
.
pl: s
t
rip all s
t
rings not
j
u
s
t
t
h
e
first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carp
e
nter
b
uf_size: Add a NULL
check to
get_array_siz
e
_by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
*new* sizeo
f
_point
e
r
: using
sizeof(p) whe
r
e sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
over
f
low: check
m
emcpy() to s
e
e
i
f we're comp
a
ri
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
r
pent
e
r
extra: don't reset
&
argu
m
ents until the other
checks
.
.
.
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 handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
pent
e
r
*ne
w
* or_vs_and: complain abou
t
i
f
(x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
Carpe
n
t
e
r
s
p
arse: introd
u
ce g
e
t
_expressio
n
_val
u
e_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: intr
o
d
u
ce is_poi
n
ter()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an Ca
r
pente
r
extra: frob(foo) r
e
sets th
e
v
alue
o
f
*foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
xtra
:
f
oo(
(
v
o
id
*)&x) writes
t
o x p
r
obably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n
C
ar
p
enter
r
anges: introduce inve
r
t_rang
e
_
li
s
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __s
m
a
tch_impli
e
d(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
ran
g
es: commit
r
ange_list
s
_equiv() s
o
tha
t
bool_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
s
md
b
_
p
aram
_
bu
f
_
s
ize
.
s
h
: ask db
what size
buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra
:
get_implied_rang
e
_li
s
t() should
ha
n
dle con
d
itions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
buf
_
size: stor
e
b
uffer sizes in db (
t
u
rned
o
ff by de
f
a
u
lt
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
pent
e
r
d
b:
d
on
'
t die on SQL erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
en
t
er
bool_implications
:
make a list of implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n C
a
rpenter
math:
h
andle logical e
x
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpente
r
core: print sm_ms
g
()s before parsing s
t
arts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
parameter
_
im
p
lications: genera
t
e lis
t
o
f funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an Car
p
en
t
e
r
db: match_ret
u
rn() shouldn'
t
re
-
implement ge
t
_impl
i
ed_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math: sort
o
f
handle
c
o
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplif
y
implied_cond
i
t
i
on_true/fa
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
math: simplify known_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rp
e
nte
r
math: handle __smatch_implied(({f
r
ob(); 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
Dan Carpent
e
r
extra, math: move k
n
own
_
con
d
ito
n
_true/false() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
ente
r
project: fix parameter impli
c
ation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
enter
helper:
i
ntroduce get_me
m
ber_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
ter
db:
p
rint all return values
at en
d
of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next