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
debug: introduce __smatch_buf_size_rl() which is more verbose
2013-12-19
Dan Carpenter
d
ebug: introd
u
ce __smatch
_
buf_size_rl()
w
h
ich is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpenter
debug:
add __s
m
atch_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Car
p
enter
kernel,
d
b: ad
d
hweight() functi
o
n
s to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpen
t
e
r
kernel, db
:
c
o
n
sider x = ht
o
nl(10) and
x
=
1
0 equival
e
nt
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
t
er
introduce: smatch_data/kerne
l
.
no_inline_f
u
n
c
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpenter
*
n
e
w
* add smatch_da
t
a/k
e
rnel
.
silenced_fu
n
ctions t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
nter
comm
o
n_functions
.
c:
hand
l
e st
r
len() and strnlen() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpent
e
r
a
c
ces
s
_ok_math:
restrict
t
his
c
heck to
-
-spammy ou
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Ca
r
penter
*new*
c
he
c
k_cas
t
_
assign
.
c: check
c
a
sting a small
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
che
c
k_d
e
b
u
g
:
f
ix cras
h
ing
b
u
g o
n
print
i
ng
n
on-e
x
istant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
enter
buf_
s
i
ze: buffer allocations i
n
the same file are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: ignore unknown array size
s
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Carpen
t
er
strlen
:
record string le
n
gths across
function call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
en
t
er
strl
e
n
:
record a
s
s
ign
e
d
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strl
e
n
:
a
dd a com
m
ent
and rena
m
e some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
strlen: handle string li
t
erals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
d
ebug: intr
o
duce __smatch_
s
trlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
trlen: introduce get_implied_
s
trle
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: rever
t
accidentally committed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
: r
e
ad a range_l
i
st from
th
e
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_s
i
ze:
s
t
ore type_s
i
ze in tw
o
tables t
h
e same
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make size_from
_
db() work
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_siz
e
, strlen: separate buf
_
size and strlen i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
o
verflow:
use
fuzzy_max to w
a
rn about array
ov
e
rflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: fix get_fuzz
y
_min/max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
b
uf_size:
repres
e
nt buffer size a
s
a range l
i
st
i
n
s
te
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
pen
t
er
buf_size: handl
e
places that
dynamically alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpen
t
e
r
flow
:
in
t
roduce __in_f
u
nctio
n
_
def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
extra, mat
h
: rework how fuzzy max
is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Car
p
e
n
ter
b
u
f_size: handle devm
_
kma
l
loc(
)
allo
c
ation
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
e
nter
k
ernel
.
ign
o
r
e
d_macr
o
s:
a
dd RT_ASSERT
a
nd SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
smdb: impro
v
e "where" o
u
tp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
ranges: introduce r
l
_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpent
e
r
helper: work
around cras
h
ing b
u
g
in get_me
m
ber_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local_values:
p
ull code in o
n
e indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed: ig
n
ore
things with negativ
e
number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
flo
w
: ignore structs and union
s
in
set_u
n
set_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modification_ho
o
ks:
d
e
let
e
a b
l
ank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
r
penter
recurse: intro
d
uce has_inc_de
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
typ
e
_
val: fix
a
build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
ty
p
e_val: actually run t
h
e
c
ode
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carp
e
nter
smatch: a couple cra
s
h
i
ng bugs
o
n in
v
ali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an C
a
rpenter
allow ch
a
r
t
o be unsign
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
help
e
r: im
p
rove is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
typ
e
_val: introduce storin
g
struct member l
i
m
i
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
d
a
ta_
s
ource: lo
a
d
where data
c
o
mes from in
t
o
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
n
t
e
r
.
gitignore:
i
gnore b
a
k
.
sm
a
tch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Car
p
enter
db: fixup_ker
n
el
.
sh: say
t
hat we only have 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
e
nter
db: preserve unmerge
d
state
s
in the ->possible bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
db: g
r
oup fu
n
ction pointer retu
r
n states t
o
gether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
a
rpenter
d
b: o
r
d
er the retur
n
_sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
penter
db:
fixu
p
_kern
e
l
.
sh: ignore timer_list func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Car
p
ente
r
db: fixup_kernel
.
s
h
: remove some U
S
E
R
_
D
A
T
A
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: improve database deb
u
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
a
rpenter
smatch
.
h: shi
f
t some struct
m
e
m
b
e
rs ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpente
r
flo
w
: c
l
ea
r
_bu
f
fer: revert part of comm
i
t that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpe
n
ter
f
l
ow: re
-
writ
e
h
o
w
s
truct members are
i
nitiali
z
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpent
e
r
smatch_cle
a
r_bu
f
fer: memcpy()
s
hould set the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carp
e
nte
r
smatch_
c
lear_buf
f
er: make a functi
o
n static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an
Carpen
t
er
smatch_data/kernel
.
clears_argument: remove mem
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan
C
arpen
t
er
f
low: introdu
c
e outside
_
of_funct
i
on(
)
to f
i
x global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
D
an
C
ar
p
enter
d
b: ker
n
el: ignore i40e_dbg_netde
v
_ops_write
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
flow
:
set m
e
mbers to ze
r
o by defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpe
n
ter
db, extra, user_data: hand
l
e: *x =
1
; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpente
r
us
e
r_data: remov
e
kmemdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpenter
user
_
data: make a function sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
conta
i
ner_of
:
peo
p
le checking the
r
eturn
v
a
lue of n
l
a_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan C
a
rpen
t
e
r
helper: fi
x
crashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
use
r
_dat
a
: make a function stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpenter
math: ex
p
ort get_co
n
st_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
ath: hand
l
e bitw
i
se OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
th
:
handle LEFT_SHIFT
(
a <<
b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
ath: remove an
impossible c
o
ndi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carpenter
Fix --n
o
-data so it doesn't spew database err
o
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpent
e
r
ex
t
ra: fix a c
r
ash parsing invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
a
rpenter
sizeof
:
fix ty
p
o in error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpenter
sizeof: comp
l
a
i
n i
f
co
d
e does
sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
type:
le
t
get_real_
b
a
se_type
(
)
t
a
ke NULL p
a
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename
ad
d
_returne
d
_
state
_
c
allback() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
rosenberg info l
e
a
ks: ch
e
c
k
__copy
_
to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
r
osenbe
r
g info leaks: use PARAM_CLEARED data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg i
n
fo leaks: us
e
str
i
p
p
ed data
f
rom copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
rosenberg info
l
e
aks:
make che
c
k_me
m
b
ers_
i
nitial
i
zed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: handle "
i
f (a & 0x1)" condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
flow:
f
a
ke assig
n
s better
f
or ne
s
ted stru
c
ts and
ar
r
a
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an
C
arpenter
hel
p
er:
g
e
t
_mem
b
er_name
(
)
c
ould
s
tore uni
o
ns (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
user_
d
a
ta: fix crash
i
ng
bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: im
p
rove how cas
t
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
math: in
t
ro
d
uce
g
et_a
b
solut
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: improve how bitwise AN
D
s are
h
and
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
C
arpenter
kernel d
a
ta/:
u
pdate to rece
n
t lin
u
x-next (3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
db:
d
eclare strnlen() a
s
re
t
urn
i
ng "0-s32ma
x
[
<
=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpente
r
user_dat
a
: export is_user_ma
c
ro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
e
nter
user
_
da
t
a:
m
ark ntohl()
d
a
ta as
u
ser_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
user_dat
a
: impr
o
ve
t
r
a
cking set v
s
passed in user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan C
a
rpenter
i
m
pl
i
ed: re
m
o
v
e some unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan
C
a
r
penter
c
h
eck_overflow: sil
e
nce some
"not
a
llocating enou
g
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Da
n
Ca
r
pe
n
t
e
r
comparison:
w
hite spac
e
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
e
xtra: handle bi
n
op comp
a
risons bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
D
a
n C
a
r
p
ent
e
r
db/fixup_kern
e
l
.
sh: filter ->read/write
(
) fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next