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
sval: remove type_min/max() which are not used any longer
2012-08-14
Dan C
a
rpenter
db: caller
_
info: update fixup_kernel
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ex
t
r
a: get_impli
e
d_r
a
nge_
l
ist() shou
l
d re
t
urn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
r
penter
user_data: use the new return_states da
t
a
b
ase
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
user_data: syscalls
a
re a so
u
rce
o
f
us
e
r
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
u
s
e
r_data: if "ptr" is user
d
ata t
h
e
n
"*ptr" is
user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_
d
ata: ad
d
i
s_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
u
s
er
_
dat
a
: skb->dat
a
is
u
s
e
r
d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
extra: make a function stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: create
r
et
u
r
n
_s
t
ates table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpente
r
db:
a
dd get_return_id() and retur
n
m
arkers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: impr
o
ve error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
d
b: caller_info
c
h
a
n
ges: s
t
ore th
e
ca
l
ler
,
param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
err_ptr
_
deref: r
e
move duplicate
c
onflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
f
u
nction_hooks: move r
e
gistrati
o
n to the ri
g
ht place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
arpenter
deref_check: remove dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n C
a
rpenter
misc
w
h
ite space
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arp
e
nter
im
p
lied:
cha
n
ge de
b
ugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: g
e
t rid of some del
e
te_state
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pe
n
ter
deref_
c
heck: fix a f
a
lse posit
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpenter
s
pars
e
: c
o
mment ou
t
a
n interna
l
e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Car
p
enter
Merge
g
i
t
://g
i
t
.
kernel
.
or
g
/pub/scm/
d
e
vel/sp
a
rse/ch
r
is
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* as
s
ign_vs_compa
r
e: if (
(
x
=
<con
s
ta
n
t
>
)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
n
t
er
rang
e
s:
introdu
c
e rl_conti
g
uous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
deref_ch
e
ck: silenc
e
som
e
false positive
on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
fill
_
db_call_implie
s
: check correct
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
fill_db_return_i
m
p
lies: delete
t
h
e cor
r
ect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poi
n
ter_math: c
h
eck ALIGN() macro ma
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpe
n
ter
helper: han
d
le if
(
W
A
RN_ON(i == ARRA
Y
_SIZ
E
(
foo)
)
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
e
r
assigned_expr: move check_assigned_expr()
t
o
s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
m
acro_side_
e
ffe
c
ts: onl
y
enable when --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
i
gnore_sid
e
_
effects: add some mo
r
e
m
acros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_si
z
e: add --spammy t
o
validation tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
over
f
low:
remove strncpy() fals
e
positi
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
ter
Merge branch 'de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpen
t
er
buf_
s
iz
e
:
t
urn off buf size for &addresses
unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the
_
_noreturn
_
_
attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpente
r
buf
_
size: remove th
e
&* and [0] from around the
p
oin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
s
m
_buf: don't return t
h
e maximum store b
u
ffer
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carpen
t
er
buf
_
s
ize: ret
u
rn th
e
s
ize
o
f &fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Car
p
enter
buf_
s
i
z
e: add kmalloc
_
a
r
ray(
)
and sock_k
m
all
o
c
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size:
i
f the m
e
mber
s
ize is not known then
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge b
r
a
n
ch
'
buf_size
'
in
t
o devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
Merge
git://
g
it
.
kern
e
l
.
org/pub/scm/dev
e
l/sp
a
rse/spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: first get
t
he size in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf_size: remove c
a
s
t
_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fix
b
y
t
e
s
_per_element(
)
f
o
r
s
t
rin
g
s
and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
enter
buf_si
z
e: d
e
let
e
some d
u
pl
i
cate cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_s
i
ze: p
r
efer the declared array
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pent
e
r
buf_size: strcpy(
)
only sets t
h
e
si
z
e of the des
t
i
n
a
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
e
r
b
u
f
_
s
ize: ignore casts i
n
get_array_size_by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
i
ze: create
an el
e
men
t
s_to
_
by
t
es()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
buf_size: separate bytes_per_element(
)
into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size
:
using ->
b
it_
s
ize d
o
e
sn't
w
o
r
k fo
r
void pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
r
pen
t
er
b
uf_
s
ize: use
g
et_stored_size
_
b
ytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: make
get_store
d
_size_bytes() a separat
e
functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
penter
b
u
f
_
siz
e
:
p
ull
bytes_t
o
_elements() i
n
its own func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_
s
iz
e
: calculate
bytes pe
r
e
l
ement bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: add a basic v
a
lidat
i
on test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
u
f_s
i
ze
:
i
f the
size is variable pick the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_size: move get_size_from
_
str
l
en() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f_size:
pull get_si
z
e_from_i
n
i
t
i
alizer() into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpente
r
buf_siz
e
: move get_store
d
_
size() ou
t
o
f ge
t
_arra
y
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf_
s
ize: pull handling
o
f
normal arrays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
te
r
buf_size: m
o
ve some funct
i
ons arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
a
r
penter
buf_size: add modification ho
o
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug
:
add a way to debug buffer sizes
__sma
t
ch
_
bu
f
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpen
t
er
Or vs and: warn
a
bo
u
t bit
w
ise ANDs that always giv
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
r
penter
O
r
vs and: if (foo
&
ZERO) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
functi
o
n_hash: m
a
ke it easier to handle a fil
e
wit
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
p
e
nter
signed: unbrea
k
the che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
ov
e
r
f
l
ow: upd
a
t
e
v
a
lidation te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
flow: ha
n
dl
e
struct i
n
itialization
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
f
l
ow: han
d
le
EXPR
_
O
F
FS
E
TOF
and EXPR_A
L
IGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
a
rpenter
overflo
w
:
i
gnore
"x = &fo
o
[ARRAY_
S
IZE(f
o
o)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpente
r
overflow: whi
t
e space cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
i
mplied: the base slist is
n
ot
s
pecial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
slist: change
f
ormat for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Carp
e
nte
r
e
x
pressions: i
n
trodu
c
e
s
ome mor
e
expression all
o
cation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validation
:
update deref
e
r
ence check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
impl
i
e
d
: certain
s
t
a
tes should be
left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpe
n
ter
slist:
p
u
t
the sm
_
state i
t
self into
->possible
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
slist: cleanup merge_hooks
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: do
n
't
c
reate a new
m
erged est
a
te if ->righ
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nte
r
estates:
reuse
s
ame
e
state for ext
r
a_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
c
o
nstra
i
nt
s
:
get
r
i
d of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: rem
o
ve some dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fi
x
s
e
t_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constra
i
n
ts: add_
r
elated() should take a rela
t
ed_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints
:
sort the ->r
e
l
ate
d
list properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpente
r
constra
i
nts: replace
get_common
_
relatio
n
sh
i
p() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
slist:
move 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
bit_shif
t
: add
test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpente
r
flow: s
i
lence false
p
ositives caus
e
d by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
i
mpl
i
e
d: ren
a
me
->my_pool to
-
>p
o
ol
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
l
ist: rename
add_possib
l
e() => copy_
p
ossibl
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Car
p
enter
or_vs_and: igno
r
e *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
tracker: f
i
x
a
s
m
a
l
l memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modification:
r
emove c
a
lls to delete_state
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
c
heck_
d
ereference: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next