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
type: fix get_binop_type() for bit shift operations
2012-10-12
Dan
C
a
rpenter
ty
p
e:
f
ix get_
b
inop_type() for
bit shift
ope
r
at
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
w
h
i
t
espa
c
e:
add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Carp
e
nter
a
b
solute: track the ab
s
olute lim
i
t
s
that
v
ariables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
ma
t
h: imp
r
ove
ho
w
get_abso
l
ute_m
i
n/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
Carpenter
math
:
improve
h
ow
known logical operations are h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: simplify ge
t
_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n Carp
e
nt
e
r
type:
i
mprove
h
andling of t
y
pe promo
t
i
o
n
on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpenter
extr
a
: dele
t
e some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pente
r
ranges: parse
t
he
r
anges list correctly if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Car
p
en
t
e
r
math: known conditions are equa
l
to one o
r
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
C
a
rpenter
math: h
a
ndle
s
e
l
ect statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
hel
p
er: i
m
pro
v
e printed mess
a
ges a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
extra:
h
andle asm expressio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferences_param: handle strc
m
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
ranges: ki
l
l
t
he "
E
rror invalid
r
ange
message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpent
e
r
assigned_expr: ignor
e
+= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpenter
functi
o
n_hoo
k
s
:
w
hit
e
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
functio
n
_hooks:
u
se
t
he
stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carp
e
nter
db, bu
f
_size, par
s
e_c
a
ll
_
math
:
tr
a
ck the size
o
f returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpent
e
r
ge
t
_implied
_
range_list: use the new f
u
nc
t
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
r
penter
i
mplied_value
:
don't get con
f
used by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
C
arpenter
db/retu
r
n_states: fix return values for USER
_
DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Carpenter
func
t
i
o
n_hoo
k
s: clean up
som
e
n
a
ming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an Carpenter
functio
n
_hoo
k
s: introd
u
ce
g
e
t
_im
p
l
ied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
enter
misc: wh
i
tespace cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_cal
l
er_info: add s
o
m
e
com
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
db, fun
c
tio
n
_ho
o
k
s
: pass assignment expres
s
io
n
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
D
a
n Carpen
t
er
buf_size: introd
u
ce get_array_size_
b
ytes_min(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Br
a
nd
In
s
tall c
g
cc
t
o
o
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the min
(
) ma
c
ro is hand
l
ed
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpent
e
r
b
uf_
s
ize: db: Us
e
the --spammy opt
i
on to fill the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: merging two same siz
e
b
uffers give a s
a
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_size: re
c
ord static va
r
iables in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
proc_creat
e
: fix a whitespac
e
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
an Carpenter
buf_s
i
ze, db: if a struct m
e
mber size is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan C
a
rpenter
ch
e
ck_kernel: fix ERR_PTR
(
) false pos
i
ti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
an
C
arpenter
l
ogical_instea
d
_o
f
_bitwise: foo
= (1 <
<
x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
loc
k
ing: _
b
h lock functions
a
re nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pente
r
extra: introduce filter_range_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
ker
n
el: handle IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db_info: remove unused prin
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
te
r
extra, f
u
nction_hooks, db: change
c
ros
s
fun
c
tio
n
an
a
lysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
d
b: remov
e
t
h
e r
e
turn_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
smatc
h
_
data: update t
h
e
d
a
ta
director to t
h
e
l
at
e
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpen
t
er
db: c
a
l
l
er_info: fix more fall ou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db
:
type_size: silence a perl wa
r
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info: update fixup_k
e
r
n
el
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
get_implied_range_list
(
)
should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
dat
a
: use the new retur
n
_
s
tates database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: syscalls are
a source of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_data: if "p
t
r"
i
s user data
then "
*
ptr" is use
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
user_d
a
ta: add
is_user_mac
r
o
() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user
_
da
t
a
: skb->data
i
s user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
ext
r
a: make a
f
unction sta
t
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: crea
t
e retu
r
n_states
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db
:
add
g
e
t
_
return_id() and retu
r
n marker
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
d
b
: impr
o
ve erro
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info ch
a
n
ges: store the ca
l
ler, p
a
ram =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: a
d
d ret
u
rn_
v
alu
e
s table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
e
r
r_ptr_deref: remov
e
duplicate confli
c
ting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
an Car
p
e
n
ter
f
unction_hooks: move reg
i
stration
to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair
M
oham
m
ed Abdul
l
ah
Fix bug
i
n M
a
kefile tha
t
ca
u
ses lin
k
ing to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpente
r
deref_check: remove dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
misc white space fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
implied: change debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Ca
r
penter
checks: get
rid of
s
ome delete_state()
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpente
r
de
r
ef_che
c
k: fix
a
f
a
ls
e
posi
t
ive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christoph
e
r
L
i
F
i
x
a bug wi
t
h variables named "x86_6
4
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Ca
r
penter
sparse: comment ou
t
an internal error
me
s
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Car
p
enter
Merge g
i
t
:
//git
.
kernel
.
org
/
pub/scm/devel/sp
a
r
s
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpenter
*new* as
s
ign_vs_
c
o
mpare: if ((x = <c
o
n
s
ta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: introduce
r
l_contiguo
u
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
d
eref_check: silence some fal
s
e positive on cross f
u
ncti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_im
p
li
e
s: check cor
r
ect variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
ll_db_return_implies: de
l
ete the correct tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
p
o
i
nte
r
_math: check ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
helper: hand
l
e if (WARN_ON(i == ARRAY_SIZE(foo
)
) re
t
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Ne
u
schä
f
er
smatch_s
c
ripts
:
fix spelli
n
g of "usage
"
commit
|
commitdiff
|
tree
2012-07-02
J
onatha
n
Neusch
ä
fer
smatch: fix se
v
eral ty
p
os
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
a
s
signed_expr: move c
h
eck_assigned_e
x
pr() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpen
t
e
r
macro
_
side_ef
f
ects: only enable when --s
p
ammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpente
r
ignore_s
i
de_
e
ff
e
cts:
a
d
d some
m
ore macros th
a
t have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
a
dd --sp
a
mmy to validation t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carp
e
nter
overflow: remov
e
strncpy() false
p
osit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
an Carp
e
nter
buf_si
z
e: turn o
f
f buf size for &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
flow: handle
t
he __nor
e
t
u
rn__
a
ttribu
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
bu
f
_size: remove the &* and [0] from arou
n
d the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
iro
sparse: Add 'er
r
or' t
o
igno
r
ed attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohi
r
o
spar
s
e
: Add '__vector_size__
'
t
o
ignored att
r
ib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
s
m_buf: don't r
e
turn the m
a
ximu
m
s
tore
buf
f
er size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: return th
e
s
ize
of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_size: add kmalloc_array() an
d
sock_kmalloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
b
uf_si
z
e
: if the member size
i
s
not known t
h
en store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Car
p
enter
M
erge branch 'buf_size'
i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
D
an
C
a
r
p
enter
Merge gi
t
:
//g
i
t
.
kernel
.
o
rg/
p
ub/scm/devel/sparse/spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
ize
:
first get the
s
ize
i
n
b
y
tes th
e
n con
v
er
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
buf_size:
r
emove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf_size:
f
i
x
bytes_per_element()
f
or str
i
ngs
a
nd ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
e
nter
b
u
f_size: delete s
o
me duplicate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next