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
flow: fix struct initialization bug
2013-12-19
Dan Carpen
t
er
flow: fix struct in
i
tialization bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpe
n
te
r
*
ne
w
* check_array_condition
.
c: arrays can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpe
n
ter
buf_size
:
store ranges
i
n
th
e
database instead of s
i
n
g
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
strl
e
n: remove
s
ome blank l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
un
r
eachable code: don't warn a
b
out unrea
c
ha
b
le break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carp
e
n
te
r
unreachable code: don
'
t
w
arn about em
p
ty statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpenter
deb
u
g:
introduce __s
m
atch_buf_size_rl() which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpenter
deb
u
g: ad
d
_
_
smatch
_
m
embe
r
_nam
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
ernel, db:
add hweight() functions to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
e
nter
kernel, db
:
consider x = hton
l
(10) and x = 10 equiv
a
lent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
in
t
roduce:
smatch
_
d
a
ta
/
kernel
.
no_inlin
e
_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
D
an Ca
r
penter
*
new* add sm
a
tc
h
_data/kernel
.
si
l
enced_
f
unctions to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Carpenter
common
_
fun
c
tion
s
.
c: ha
n
dle strlen() and strn
l
en()
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan
C
a
rpenter
a
c
cess_ok_ma
t
h: restrict this check to -
-
s
p
ammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an
C
a
rpenter
*
n
ew* check_cast_a
s
si
g
n
.
c: check cast
i
ng
a
smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n Ca
r
penter
check_debug: fix crashing bug on pri
n
ting non-exist
a
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpe
n
t
er
buf_s
i
z
e
:
b
u
ff
e
r allocations
i
n
th
e
same f
i
le are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carp
e
nter
buf_size: ignore unknown array s
i
zes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carpenter
strlen: record stri
n
g lengths
a
cross
f
u
n
c
tion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: record assigned
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpente
r
strlen: a
d
d
a c
o
mme
n
t and r
e
name some
t
hings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
st
r
len
:
handle strin
g
literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug:
introduce __smatch_st
r
len
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
strlen
:
introduce get_i
m
plied_st
r
len(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpe
n
t
e
r
mat
h
:
r
e
vert accidenta
l
ly committed
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
buf_si
z
e: read a range_l
i
st from
t
h
e d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
buf_size: st
o
re type_size in two t
a
bles th
e
same
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
r
p
enter
buf_size: m
a
ke size
_
fr
o
m_db(
)
w
ork
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
bu
f
_
s
ize, strlen:
s
eparate buf_s
i
ze and st
r
len into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overf
l
ow: use fuzzy_max t
o
wa
r
n about
a
rray overf
l
ows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
e
nter
math: fix get_fuzzy
_
m
i
n/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
bu
f
_
size:
r
epresent buffer
siz
e
as
a
range list
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpent
e
r
buf_size: han
d
le
places that dynam
i
c
a
lly al
o
c
a
t
e
sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow:
in
t
rod
u
ce _
_
in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpente
r
extra, math: rew
o
rk
how fuzzy m
a
x
i
s ha
n
d
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_
s
iz
e
: handle devm_kmalloc() alloc
a
tion
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
kernel
.
i
gnored_macros: add
RT_ASSERT
a
n
d SKD_ASSE
R
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Ca
r
penter
s
m
db:
i
mprove "where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
r
anges: introduce
r
l_
h
a
s_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n C
a
rpenter
helper: work ar
o
und cras
h
ing bug in ge
t
_membe
r
_
n
ame()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
l
o
c
a
l
_
v
alues: pull c
o
de in one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
ch
e
ck_signed: ignore thin
g
s with neg
a
t
i
ve nu
m
ber of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpenter
flow: ignore structs and union
s
in set
_
unset_to_zer
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpen
t
er
modifi
c
ation_h
o
ok
s
: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse: introduce has_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Ca
r
p
e
nt
e
r
type_
v
al
:
fi
x
a buil
d
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
type_val: ac
t
ually run the c
o
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
e
n
te
r
smatch: a c
o
uple cra
s
hing
bugs
o
n
inval
i
d c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
penter
allow char to be unsig
n
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
helper: i
m
prove is_error_return(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_val: introduce storing struct member li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Car
p
enter
data_sour
c
e: load
where data comes from into the
d
ata
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
.
git
i
g
nore: ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
d
b
:
f
ixup_kernel
.
sh
:
say t
h
at
w
e
only h
a
v
e
64
C
P
U
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
db:
p
reserve un
m
erged states in
t
h
e
-
>
possi
b
le better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
rp
e
nter
d
b
: group function point
e
r return sta
t
es togethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpente
r
db: order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan
Carpenter
db
:
fixup_kernel
.
sh: ignore
timer_
l
i
s
t functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
d
b
:
f
i
xup_kernel
.
sh: remove some
USER_
D
ATA
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
d
b
: improve datab
a
se debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan C
a
rpenter
smatch
.
h:
s
hift some s
t
r
u
c
t mem
b
e
r
s around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow:
c
lear_buffer: revert pa
r
t of commit
t
hat uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Ca
r
p
e
nter
flow: re-write
how struct members are
ini
t
ialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
ch_
c
le
a
r_buffer:
memc
p
y() shou
l
d
set
t
he destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpent
e
r
s
m
atch_cle
a
r_buffer:
m
ake a f
u
n
ction stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an
C
arpen
t
er
smatch_data/kerne
l
.
c
lear
s
_argument:
r
e
mov
e
memset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpente
r
flow: in
t
r
oduce
outside
_
o
f_functi
o
n() to
fix
globa
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan
C
arpenter
db:
ke
r
nel: igno
r
e
i40e_
d
b
g_netdev_ops_
w
ri
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an
C
arpenter
fl
o
w:
s
et member
s
to zero by
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
db, e
x
tra
,
use
r
_data:
h
and
l
e: *x = 1
;
r
eturn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
user_data: rem
o
ve k
m
e
m
dup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Car
p
enter
user_d
a
t
a
: make a function
s
ta
t
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nt
e
r
container_o
f
: people checkin
g
t
h
e return value of nl
a
_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
he
l
per: fix crashing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carp
e
nter
user_data: make a
f
unction sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: export get
_
const_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
th: h
a
ndle bit
w
i
se
O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
ma
t
h: handle
LEFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: remov
e
an impossible conditi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix --no-d
a
ta so it doe
s
n't spew database error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: fix a c
r
a
sh pa
r
sing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpenter
siz
e
of:
f
i
x typo in
error messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
siz
e
of:
complain if code d
o
e
s
s
i
zeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Car
p
enter
t
ype:
l
et get_real_base_t
y
pe() take NULL
p
ar
a
meters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Ca
r
penter
db:
r
ename add_re
t
ur
n
ed_state_ca
l
lback() => a
d
d_split_re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Ca
r
pent
e
r
rosenberg i
n
fo l
e
aks: chec
k
__copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
r
penter
rosenberg in
f
o leaks
:
u
se PARAM
_
CLEARED
d
a
ta from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
osen
b
erg info leaks: use
s
tripped
data from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
rosenberg
info leaks: make chec
k
_membe
r
s_i
n
itial
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
ext
r
a: handle "if (
a
&
0
x1)" con
d
iti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
fl
o
w: fak
e
ass
i
gns better for neste
d
structs and arr
a
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
he
l
pe
r
: get_me
m
ber
_
n
ame()
c
ould stor
e
unions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpente
r
use
r
_data: fi
x
crashi
n
g
b
ug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: i
m
prove how casts are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
math: introd
u
ce ge
t
_a
b
s
o
lut
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
math:
i
mprove how bit
w
ise
A
NDs are
h
and
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel d
a
ta/: up
d
a
t
e
to
rec
e
nt
l
inux-nex
t
(3
.
11-rc
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
db: declare strnl
e
n(
)
as return
i
ng "0-s32m
a
x[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
user_
d
a
t
a
: export is_u
s
er_mac
r
o(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data:
m
ark ntohl() data as user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next