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
kernel.silenced_functions: add some more "asm goto" functions
2013-12-20
Dan Carpente
r
kerne
l
.
silence
d
_functions: add som
e
m
ore "asm goto
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
D
an Carpenter
extra: assume in
d
exes
are
in bounds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpenter
fl
o
w: fix s
t
ru
c
t initializat
i
on bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
*new* c
h
e
c
k_arra
y
_con
d
ition
.
c: arr
a
ys c
a
n
'
t
be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
buf_size
:
store
r
anges in the dat
a
base i
n
s
t
ead
of sin
g
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
strlen: rem
o
ve s
o
me blan
k
lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unr
e
achable code
:
don't warn about unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
a
rpente
r
unreachable code
:
do
n
't warn a
b
out
e
mp
t
y statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: in
t
r
oduce __smatch
_
buf_size_
r
l(
)
which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
enter
debug: a
d
d __smatch_member_na
m
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
ke
r
nel,
d
b: add hweight
(
) functions to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
te
r
kernel, d
b
: co
n
sider x
=
htonl(10) and x =
10 equiva
l
e
n
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpent
e
r
i
ntroduce: smatch_
d
ata/kernel
.
no_inline
_
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpenter
*new*
add
sm
a
tch_data/kernel
.
silence
d
_functi
o
ns to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
c
ommon_functions
.
c
:
h
andl
e
st
r
len() and st
r
nlen() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpent
e
r
access_ok
_
mat
h
:
r
estrict this check to --spammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpenter
*new* chec
k
_cast_as
s
ign
.
c: check castin
g
a sm
a
ller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
check_
d
ebug: fix crashi
n
g bug on printing
n
on
-
ex
i
stant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpe
n
t
e
r
buf_size
:
buf
f
er al
l
ocati
o
ns in the same file
a
re not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: ignore
u
n
k
nown array si
z
es bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
strlen: record string lengths
a
cross function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
strlen: record
assigned
s
tring
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
strlen: ad
d
a commen
t
a
n
d rename some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an
C
arpenter
strlen: handle string literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
debug: intro
d
uce __smatch_str
l
en()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: introduce get_im
p
lie
d
_
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Ca
r
penter
math: revert acc
i
dental
l
y commi
t
ted cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
bu
f
_size:
read
a ran
g
e_list from
t
he databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
uf_si
z
e:
stor
e
type_size in two tables the
s
ame as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Ca
r
p
enter
buf_s
i
z
e
: make si
z
e_from_db(
)
work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Ca
r
penter
buf_s
i
ze, st
r
len: separate bu
f
_
siz
e
and strlen
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
o
verflo
w
: use fuzzy_m
a
x to warn
a
b
o
ut array
overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
math: fix get_fuzz
y
_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
bu
f
_size: represent buffer size as a
r
ange
list instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Ca
r
pen
t
er
bu
f
_size: ha
n
dle places
t
h
a
t
d
ynami
c
a
l
l
y alocate some
t
imes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpenter
flow: in
t
roduce
__in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
ext
r
a,
m
ath: rework ho
w
fuzzy max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
bu
f
_
s
ize
:
h
a
ndle devm_kmalloc() alloc
a
tions
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpent
e
r
ker
n
el
.
ign
o
re
d
_macros: add
RT_ASSERT an
d
SKD_ASSE
R
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
s
m
db:
i
mprove "where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
ranges: introduce
r
l_has
_
s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpe
n
ter
he
l
per: work arou
n
d cra
s
h
ing
b
ug in ge
t
_memb
e
r_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
loc
a
l_va
l
ues: pull code
i
n one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
r
p
e
n
ter
check_sig
n
e
d
:
ignor
e
thi
n
g
s
with negative nu
m
ber o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpen
t
er
flow:
i
gno
r
e stru
c
t
s and unions in set_unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
modification_hooks: delete
a
blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recur
s
e
:
introdu
c
e ha
s
_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pente
r
type_val:
f
ix a
b
u
ild warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
t
ype_v
a
l: actually run th
e
c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpenter
sma
t
ch:
a
couple crashing bugs on invali
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
a
l
low ch
a
r t
o
b
e
un
s
ig
n
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helper: improve is_error_
r
e
t
ur
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
t
y
pe_val: introduc
e
storing struct member
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
d
a
ta
_
s
o
u
rce:
load where data comes from in
t
o t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpen
t
e
r
.
g
i
t
ig
n
or
e
: ig
n
ore bak
.
smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fixup_kernel
.
sh: say t
h
a
t w
e
only h
a
ve 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
d
b
: pr
e
serve u
n
m
e
r
g
ed stat
e
s in the ->po
s
sible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
db:
group function pointer
r
etur
n
states together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db: order th
e
return_stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db: fix
u
p_kernel
.
sh: ignore
time
r
_list fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: f
i
xu
p
_kernel
.
sh:
r
emove some USER_D
A
TA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: imp
r
ove database debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
Carpe
n
te
r
s
ma
t
ch
.
h: shift
s
o
me st
r
uct member
s
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Car
p
enter
f
low: cle
a
r_
b
uffer:
re
v
ert
part of commit
t
hat uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpen
t
e
r
flow: re-write how struct mem
b
ers are initialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
atch_cl
e
a
r
_
b
u
ff
e
r:
memcp
y
() should
set th
e
destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch
_
c
lea
r
_bu
f
f
e
r: make a fun
c
t
ion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
atch_data/kernel
.
clears_argum
e
nt:
r
e
move memset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Car
p
enter
fl
o
w
:
intr
o
duce outside_of_function() to fix glo
b
a
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
D
a
n Carp
e
nt
e
r
db: kernel
:
ignore i40e_dbg_ne
t
dev_ops_write
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpenter
flow:
set
m
embers to zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpe
n
ter
d
b, e
x
tra
,
u
s
er_data:
h
andle
:
*x =
1
; return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
user_data:
r
emov
e
kmemdup
_
user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpente
r
user_data: m
a
k
e
a function
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Ca
r
penter
contai
n
er_of: pe
o
ple
checking the return value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan
Car
p
enter
h
e
lp
e
r
:
fix crashi
n
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_data: make a fun
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpent
e
r
math: export get_const
_
value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpen
t
er
math: h
a
nd
l
e
bitwise O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpenter
math: ha
n
dle
L
EFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpenter
math: remove an impos
s
ible
condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpent
e
r
Fix
--no-data so it doesn't spew d
a
tabase errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Car
p
enter
extra: fix a crash par
s
ing
inv
a
lid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carpe
n
te
r
sizeof: f
i
x ty
p
o in
e
rror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpen
t
er
si
z
e
o
f: c
o
mplain i
f
code does sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
t
yp
e
:
let get
_
real_base_
t
ype() take NULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
D
an
Car
p
enter
db:
rena
m
e add_returne
d
_s
t
ate_c
a
llback(
)
=>
add_split_retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
rosenberg info leaks: check __copy_to_us
e
r(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
rosenberg inf
o
leaks: use PARAM_C
L
EAR
E
D data fro
m
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
o
senberg info lea
k
s: use
strip
p
ed data from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
r
o
senberg info leaks: make check_members_initi
a
lized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
Carp
e
n
t
e
r
extra
:
handle "if (a & 0
x
1)" c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
en
t
er
flow: fake assigns better
f
or
n
ested stru
c
ts and ar
r
ay
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
h
e
lper: get_member
_
name() could
store un
i
on
s
(sor
t
of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
C
a
rpen
t
er
user_data: fix crashi
n
g bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
m
a
th: improve
h
ow casts are h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math
:
i
ntrod
u
ce get_abso
l
u
te_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpente
r
math: imp
r
ove
how bitwise A
N
Ds are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
k
ernel d
a
ta/: update t
o
recent l
i
nux
-
next (
3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pe
n
ter
d
b
:
declar
e
strnlen
(
)
a
s
retu
r
nin
g
"0-s32max
[
<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next