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
*new* add smatch_data/kernel.silenced_functions to silence common noise
2013-12-18
Dan Carp
e
nter
*new* add smatch_data/ker
n
el
.
silenced_func
t
ions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpente
r
c
o
mmo
n
_f
u
nc
t
io
n
s
.
c
:
h
a
ndle
s
t
r
len() and strnlen(
)
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpe
n
te
r
a
ccess
_
ok_math: rest
r
i
c
t
this check
t
o --spammy
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpe
n
t
e
r
*
new* che
c
k_ca
s
t_assign
.
c:
c
heck casting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carp
e
nter
ch
e
ck_de
b
u
g
: fix
c
r
as
h
ing bug o
n
pr
i
nting non
-
exist
a
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: bu
f
fer
a
llocatio
n
s in the same file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_siz
e
: igno
r
e
u
n
known array sizes bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Carpente
r
strl
e
n: record st
r
ing lengths across
f
unction c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
s
trle
n
: r
e
cord as
s
i
g
ned s
t
rings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
strl
e
n: add a comment an
d
rename some
th
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: handle strin
g
literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
d
ebug: introduce __smatch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
strl
e
n: introduce
g
et_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
m
a
th:
r
ev
e
rt
a
ccident
a
lly commit
t
ed cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f_s
i
ze: r
e
ad
a
ran
g
e_list f
r
om
th
e
dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_
s
ize: store
t
ype_size in
two tables
t
h
e sam
e
as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make
size_
f
rom_
d
b() work aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
uf_siz
e
, s
t
rlen: separ
a
t
e buf_si
z
e
a
nd strl
e
n
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpente
r
ov
e
rflow: use fuzzy_max to war
n
ab
o
u
t
array over
f
lows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math
:
fix get_fuzzy
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
nter
buf_size: re
p
r
e
sent buffer
s
i
z
e as a range list instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
e
r
buf_size: h
a
ndle p
l
aces that dynamically
a
locate s
o
metimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
flow:
i
n
troduce _
_
in_
f
unction_d
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
extra,
m
a
th
:
rewo
r
k
h
o
w
f
uzzy max is hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan C
a
rpe
n
ter
buf
_
size: handle devm
_
kmallo
c
() allocatio
n
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
kernel
.
i
gnored_macros: add RT_AS
S
E
R
T
a
nd SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Carpe
n
ter
smdb: imp
r
ove "where
"
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpe
n
ter
ranges: i
n
troduc
e
rl_has_sv
a
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an
C
a
r
penter
helper: work around crashin
g
bug in
get_member_nam
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpen
t
er
local
_
va
l
ue
s
: pull code in one i
n
de
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pente
r
ch
e
ck_si
g
ned: igno
r
e
th
i
ngs with nega
t
ive
n
umber of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpe
n
ter
flow: i
g
n
o
re
structs and u
n
i
ons in
s
et_uns
e
t_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
mod
i
f
i
c
ation_hooks: d
e
lete a bl
a
nk line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
re
c
urse: introdu
c
e h
a
s_i
n
c
_dec
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpenter
type_
v
a
l: fix a build
w
arning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carp
e
n
ter
type
_
val: actually run the
c
ode
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
s
m
a
t
c
h: a cou
p
le c
r
ashin
g
b
u
gs
o
n
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpente
r
allow char to be
u
nsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
helper: im
p
rove is_erro
r
_
return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_
v
al: introduce storing struct member li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
data_source:
lo
a
d
where data comes
f
rom i
n
to the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpente
r
.
gitignore: ignore bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpent
e
r
d
b: fixu
p
_kernel
.
s
h
: say that we
only have 64 CP
U
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: prese
r
ve u
n
m
erged stat
e
s in the ->
p
o
s
sibl
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpente
r
db
:
group function po
i
nter return states together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
db: ord
e
r
the
r
eturn_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db: fixup_kernel
.
sh: ignore timer_list functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
ar
p
enter
db: fixup
_
k
e
rne
l
.
sh: remove some USER_DATA ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
ar
p
e
n
ter
db: improve d
a
tabase
d
e
bug
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h: shi
f
t some
s
truct members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Car
p
enter
flo
w
:
clear_b
u
f
fer: revert part of com
m
it
tha
t
uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpenter
f
l
ow:
r
e-
w
rite
h
ow str
u
ct
mem
b
ers are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
en
t
e
r
smatch
_
clear_buffer: memcpy() shou
l
d set the destin
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Ca
r
penter
smatch
_
clear_buffer
:
m
a
ke a function
s
tat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpenter
smat
c
h
_
data/kernel
.
c
l
ea
r
s_argument
:
r
e
mo
v
e memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flow: introduce out
s
id
e
_
of
_
function() to fix glob
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
D
a
n
Carpenter
db: kerne
l
: ignore i40e_dbg_netd
e
v_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
flow:
s
et
m
embers
t
o z
e
r
o
by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n C
a
rpenter
db,
e
xt
r
a,
u
se
r
_data: handle: *x = 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpenter
user_d
a
ta: re
m
ove kmemdup
_
user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
user_data: make a function s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
containe
r
_of: people checki
n
g the
r
e
turn value
o
f
n
l
a
_
data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fi
x
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan C
a
r
penter
user_data: make
a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: export
get_
c
on
s
t_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpente
r
m
ath:
h
andle 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_SH
I
FT (a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
ma
t
h
: remove an impossible
condi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
an Carpen
t
er
F
ix --no-data so it
d
oesn'
t
spew d
a
tabase errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpent
e
r
extra: fix a
crash parsin
g
invalid
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
Carpenter
size
o
f: fix typo in error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpe
n
ter
s
izeof: compl
a
in if code doe
s
sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
t
y
pe
:
let g
e
t_real_base_type() take NULL param
e
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
D
an Car
p
enter
d
b: rename add_returned_state_cal
l
back(
)
=> add
_
split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
rosenberg info leaks
:
check __copy_to_user
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info le
a
ks
:
u
se PARAM_CLE
A
RED data from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info leaks: use
s
t
r
ip
p
ed dat
a
from copy_to
_
u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an
Ca
r
p
e
n
t
er
rosenberg in
f
o
lea
k
s: make check_members_initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: han
d
le "if (a & 0x1)" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
p
enter
flow: fake assigns
better for nested st
r
u
cts and
array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
helper: get_me
m
b
e
r_name
(
) could sto
r
e unions (s
o
rt of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data
:
fi
x
crash
i
ng b
u
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpent
e
r
math: improve how casts ar
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
m
a
th: introduc
e
get_a
b
solu
t
e
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
mat
h
: impro
v
e how bitw
i
se
ANDs are
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel data/:
u
pdate to recent li
n
ux-ne
x
t
(
3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
C
arp
e
nter
db: declare st
r
nle
n
() as returning
"0
-
s32max[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
user_data:
export
i
s_user_
m
ac
r
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpe
n
te
r
user_data: mark ntohl()
da
t
a as user_da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_
d
ata: improve tracking set vs passed in user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
implie
d
:
remove some
u
nused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan C
a
rp
e
nt
e
r
check_overflow
:
sil
e
nce some "no
t
a
llocating enough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Da
n
C
a
rpenter
comparison:
w
hite space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Da
n
Carpenter
extra:
h
an
d
l
e b
i
n
op comparisons bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Car
p
ent
e
r
db/fixup_kernel
.
sh
:
filter ->read/write() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan C
a
rpenter
func
t
ion
_
ptr: hand
l
e scope of func
t
ion pointers
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-04
Dan
Carpen
t
er
smatch: add --debu
g
=chec
k
_na
m
e
o
ption to de
b
ug only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpenter
c
omparison: fix breakage
ca
u
sed by moving
t
o va
r
_s
y
m_lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Car
p
enter
c
omparison
:
cleanup
f
irst_sym()
and ren
a
me to vsl_
t
o
_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carp
e
nter
co
m
parison: cleanup: get rid of sym po
i
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next