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
unwind: only enable with --spammy
2012-06-15
Dan Carpenter
buf_size
:
add kmalloc_array() and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
bu
f
_size: if th
e
me
m
b
er size is not known t
h
en store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
M
erg
e
bra
n
ch 'buf_size'
i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Merge
git:
/
/g
i
t
.
kernel
.
org/pub/scm/d
e
vel
/
sp
a
rse/spa
r
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
bu
f
_size: fi
r
st get the size in bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_s
i
ze: remove cast_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
pe
n
ter
buf_size: fi
x
bytes_per_
e
lement(
)
for strin
g
s
and ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size
:
delet
e
some
dup
l
icate c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: prefer the declared ar
r
ay size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_siz
e
: strcpy() on
l
y
s
ets the size of the destinati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: ignore c
a
s
t
s in
g
et
_
array_size_b
y
tes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
buf
_
size: cre
a
te a
n
elem
e
n
t
s
_to_byt
e
s
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
separat
e
b
y
tes_per_e
l
ement() into i
t
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
n
t
e
r
bu
f
_size: us
i
ng -
>
bit_size does
n
't
w
ork fo
r
void
p
o
i
n
t
e
rs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: use get_st
o
red_
s
ize_bytes
(
) directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_siz
e
: make get
_
stored_size_bytes
(
) a
sepa
r
ate funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size:
p
u
l
l
bytes_t
o
_e
l
ements() in its own
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
penter
buf_s
i
ze: calculate b
y
tes pe
r
element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
p
enter
bu
f
_size:
a
dd a basic va
l
ida
t
i
o
n test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size: if the size
i
s
variable p
i
ck the
l
a
r
g
e
r one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_siz
e
: mov
e
ge
t
_size_from_strlen()
i
n
t
o it's o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_siz
e
:
p
ull
g
et_size_from_initializer() into
s
eparat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: move get_stored_
s
ize() out of
get_array_
s
ize()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f
_size: pull handling
o
f
n
ormal arrays into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
e
nter
bu
f
_size: move
s
o
m
e
fun
c
tions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
te
r
buf_size: add mo
d
ifi
c
a
t
i
on hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
debug: add a way to d
e
b
u
g
buffer s
i
zes __smatch
_
buf_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and:
w
arn about bi
t
wise ANDs that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r
v
s and:
if (foo & ZERO)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
function_hash
:
make
it eas
i
er to ha
n
dle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan C
a
rpe
n
ter
signed: u
n
b
reak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
o
v
e
rfl
o
w: upda
t
e validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
e
r
f
l
o
w: handle s
t
ruc
t
initializatio
n
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
f
low: hand
l
e EXPR_OFFSET
O
F and EXPR_A
L
IGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
e
r
overf
l
ow: ignore "x = &foo[ARR
A
Y_SIZE(
f
o
o
)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
overflow:
w
hite space
c
lean
u
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
im
p
lied: the ba
s
e slis
t
i
s
not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
slist: change format for
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
expres
s
ions: introduce some more express
i
on allocat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
valid
a
tion: update dereference check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpent
e
r
implied
:
certain states sho
u
ld be left as i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpenter
slis
t
: put the sm_state
itself into ->possib
l
e
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpenter
slist:
c
leanup m
e
r
g
e
_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
penter
ex
t
ra:
d
on't crea
t
e
a
new merged estate
i
f -
>
right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
e
n
t
e
r
e
stat
e
s:
r
euse same estate f
o
r extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
constraints:
get ri
d
of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constraints:
r
em
o
v
e some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constra
i
nts: fi
x
set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
n
str
a
int
s
:
add_rela
t
ed()
s
h
ould ta
k
e a re
l
a
t
ed_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
constraints: sort the ->related list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n C
a
rpent
e
r
co
n
s
traints: replace get_com
m
on_relationship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
sli
s
t
:
move
add
_
pool() to smat
c
h_impli
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Da
n
Carpent
e
r
bit_shift: add test_bit
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: si
l
ence false
positives caused by hairy fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpen
t
er
i
mplied: rename ->my_poo
l
t
o ->p
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
slist: rename add_pos
s
ible() => cop
y
_possible
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
or_vs_and:
i
gn
o
re *
p
++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
t
racker: fix
a
sma
l
l m
e
mory l
e
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
modifi
c
at
i
o
n
: remove calls
to delete_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
check_deref
e
rence: enab
l
e this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
p
e
nter
db: store w
h
ether
functions are global or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
r
ac
k
er:
remove unus
e
d c
l
o
ne
_
track
e
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: buffer o
v
e
r
flow
in debuggin
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpent
e
r
u
s
er_data: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
db: whit
e
s
pace clea
n
u
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
Carp
e
nt
e
r
db:
m
ove
parameter_implication
s
into the da
t
aba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
ranges
:
add p
o
s
sibly_t
r
ue/f
a
lse_
r
a
n
ge_li
s
ts_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
ov
e
r
f
low
:
automatically list functions that take
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
mo
d
ificatio
n
_hook
s
: complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Da
n
Carpenter
db:
print t
h
e
S
Q
L queries wh
e
n
-
-debu
g
i
s on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
cl
e
a
nup:
u
se
valid_ptr_mi
n
/max
.
get rid of P
O
INTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
ext
r
a: dereferencing
a poi
n
t
e
r means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
implied: cleanup debug out
p
ut a l
i
t
tl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
n
ter
sl
i
st: pull s
h
ow_
s
m() into a sep
a
rat
e
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
che
c
k_kernel: ERR
_
PTR() return
s
non-N
U
LL (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dere
f
erence checks: use
t
he cross functio
n
info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carpenter
*new*
check
_
dereferences_param:
list
fun
c
tions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new*
r
eturns:
m
erge all slists
f
rom all
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
db: add call_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
f
l
ow: print
a
different f
i
l
enam
e
whe
n
--info
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
eref: fix a typo in the
e
rror m
e
s
s
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carpenter
user_da
t
a: track u
s
er data that
i
s retu
r
n
ed to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rpenter
boo
l
_
implications: remove
d
ebugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix co
m
pile on Ubun
t
u
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpente
r
g
e
neri
s
ize
.
pl: stri
p
all str
i
ngs not just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_size: Add a NULL check to get_ar
r
a
y_size_b
y
tes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
*new* sizeof_pointer: using s
i
zeof(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
p
enter
o
verfl
o
w:
c
he
c
k
m
emcpy() to
s
ee if w
e
're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Ca
r
penter
extra: don
'
t reset
&arguments until the o
t
her c
h
eck
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
e
n
t
er
flow
:
ch
a
nge how "for (i = 0; ; i++) {
.
.
.
"
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nte
r
*new* or_vs_a
n
d
:
c
o
mplain about
i
f
(x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
D
an Carpente
r
sparse:
i
ntroduce g
e
t_expres
s
ion_value_n
o
mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
an Carpenter
type: introduc
e
i
s_pointer() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
e
x
tra
:
frob(fo
o
) resets
t
he
v
alue of *
f
oo
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
t
o x pr
o
b
ab
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
rpe
n
ter
ra
n
ge
s
:
introduce inve
r
t_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
th
:
handle __
s
mat
c
h_imp
l
ied
(
&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
range
s
: commit range
_
lists_eq
u
iv(
)
s
o
that b
o
ol_
i
mp
l
ications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
smdb_param_buf_size
.
sh: ask db what size b
u
ffe
r
s are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
extra
:
get_implied_range_list()
should
han
d
l
e
co
n
ditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next