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
C
arpenter
flow: fix
s
t
ruct initial
i
zation bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
pe
n
ter
*n
e
w*
c
h
e
ck_arra
y
_condit
i
on
.
c: array
s
can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
buf
_
s
ize: store range
s
in the database
i
n
s
t
ead
of
s
ingl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
st
r
len: remove some blank l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
ter
unreachable c
o
de:
don't wa
r
n ab
o
ut unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
unreachable code: don't warn about em
p
t
y s
t
at
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
debug: int
r
o
duce __smatch_buf_size_
r
l
() which
is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carp
e
nter
debug:
a
d
d
__smatch
_
member_
n
ame
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
ker
n
el,
db:
add
h
weigh
t
() functi
o
ns to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Ca
r
penter
ke
r
nel, db: consider
x
= ht
o
nl
(
10) a
n
d
x =
1
0 equivalent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
ente
r
introduce: smatch_d
a
t
a
/kernel
.
no_inline_fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carp
e
nter
*ne
w
*
a
d
d
smatc
h
_data/ker
n
el
.
silenced_functio
n
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Ca
r
penter
common_f
u
nc
t
ions
.
c:
h
a
n
dle
s
trl
e
n()
a
n
d
s
t
r
n
len(
)
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
enter
access_
o
k_ma
t
h: restrict this chec
k
to -
-
spammy ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
C
arpenter
*new* c
h
eck
_
cast
_
ass
i
gn
.
c: c
h
eck casting a
s
maller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
c
h
eck_debu
g
: fix
c
ra
s
hing bu
g
on pri
n
ti
n
g non-e
x
is
t
ant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
rpenter
buf_siz
e
: buffer allocation
s
in
t
h
e same file
are not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_size: igno
r
e unkno
w
n array
sizes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carp
e
nter
strl
e
n
: record str
i
ng len
g
t
h
s across
fu
n
cti
o
n
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Car
p
enter
strlen: record assigned
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: add a comment and re
n
ame some thin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an
C
arpenter
s
t
r
len: handle stri
n
g
lite
r
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: introduce __smatch_st
r
l
e
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
strlen: introduce
ge
t
_i
m
plied_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
mat
h
:
r
evert accidentally committe
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: read
a
r
a
nge_
l
is
t
from th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
b
u
f
_size
:
st
o
re ty
p
e
_
siz
e
in t
w
o tables the same
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
buf_s
i
z
e: make size_f
r
om_db() wo
r
k again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_size, st
r
len: separate
buf_size and s
t
rlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
ove
r
flow: use f
u
zzy_
m
ax to warn abou
t
array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
math: fix get
_
fuzzy
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an
C
arpent
e
r
bu
f
_size: represent buffer size as a range list instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
p
e
nter
buf_size: handle pla
c
es that dyn
a
mically alocate
s
ometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow: intr
o
d
uce __in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpenter
extra, ma
t
h
:
rewor
k
how fuzzy ma
x
is han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
p
enter
buf_size:
hand
l
e
devm_k
m
alloc(
)
allocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carp
e
nter
kernel
.
igno
r
ed
_
macros: add RT_ASSER
T
and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
ente
r
smdb:
improve "where" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ranges: int
r
o
duce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: wo
r
k around
crashing bu
g
in get
_
member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local_val
u
e
s
:
pull code in
o
ne indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
check
_
s
igned: ignore t
h
ings with negativ
e
n
umber o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
e
nter
flow:
i
gn
o
re stru
c
ts
a
nd unions in s
e
t_unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
modification
_
hooks: delete a blan
k
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
recurse: intro
d
uce
h
as_inc
_
dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nte
r
type_val: fix a build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
type_val: a
c
tually run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpent
e
r
smatch: a couple
crashing bugs on
inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
al
l
ow
char to be
u
nsigne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carp
e
n
ter
helpe
r
:
improve
is_er
r
or_
r
eturn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_
v
al: introduce
st
o
r
ing
s
t
r
u
c
t memb
e
r limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_sourc
e
:
load wh
e
re data comes from into th
e
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
.
git
i
gnore: ig
n
ore bak
.
sma
t
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carp
e
nter
db:
f
ixup_kernel
.
sh: say
that we only have 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
d
b
: preserve unmerge
d
s
t
ates in the ->po
s
sible
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an
Carpente
r
db: group function pointe
r
r
e
turn sta
t
e
s toge
t
h
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
order the r
e
t
urn_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
nter
db: fixup_kernel
.
sh: ignor
e
timer_list functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db: fixup_kernel
.
sh
:
remove s
o
me USER_DATA
c
a
ll
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
C
a
r
p
enter
db: improve databa
s
e
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
sm
a
tch
.
h: shift so
m
e s
t
ruct
m
embers around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
D
an Carpen
t
er
f
l
ow: clear_bu
f
f
e
r: revert par
t
of comm
i
t t
h
at uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpente
r
flow:
re-write h
o
w
stru
c
t members are
initialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
an Carpent
e
r
smatch
_
cle
a
r_b
u
ffer: memcpy(
)
s
hould set the destina
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
sma
t
ch_cl
e
ar_buffer: make a function
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
smatch_d
a
ta/kernel
.
clea
r
s
_
argument: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carp
e
n
t
e
r
f
low: introduce outsid
e
_of
_
f
u
nction() to fix g
l
o
b
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Ca
r
penter
db: ke
r
nel: ignore i4
0
e_dbg_netdev
_
ops_write
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpen
t
er
flo
w
: set member
s
to zero by defau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
db, e
x
tra, user_
d
ata: han
d
le: *x = 1; r
e
turn
x
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nt
e
r
user_data: remo
v
e kmem
d
up_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
en
t
er
use
r
_data: make
a
function stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
container_o
f
: peopl
e
check
i
ng the r
e
tur
n
val
u
e of n
l
a_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
he
l
p
er: fi
x
cras
h
i
ng b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpente
r
u
s
e
r
_data: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpen
t
e
r
math: export get_const
_
value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
ente
r
math: hand
l
e bitwise O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
ath:
h
a
ndle LEFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
t
er
mat
h
: remov
e
an impossi
b
le condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Ca
r
p
e
nter
Fix
-
-no-data so it doesn'
t
spe
w
database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
rpenter
extra: fix a crash parsing
inv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
C
a
rpenter
sizeof:
fi
x
typo in
e
rro
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpe
n
t
er
sizeof: complain if code
do
e
s
sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
arpenter
type: let g
e
t_real_base_type()
take
N
ULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan C
a
rpenter
db:
rename add_ret
u
r
ne
d
_sta
t
e_call
b
ack() => a
d
d_spli
t
_
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
rose
n
berg info leaks: check __copy_t
o
_user(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
rose
n
b
e
rg info leaks
:
use PAR
A
M_
C
LEARED
data from t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rose
n
berg info leaks:
use
stripped data from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
r
o
s
e
n
b
e
rg i
n
fo leaks:
m
ake check_members_i
n
itia
l
i
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
ext
r
a: handle "if (a & 0x1)" c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
flow: fake
assigns better for nested struct
s
and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
helper
:
get_m
e
m
b
e
r_name() could store unions (sort o
f
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Car
p
enter
user_d
a
ta: fix crashing
b
ug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
en
t
er
math:
i
mprove
ho
w
ca
s
t
s ar
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
m
a
th:
introduce
g
et_absolute_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
t
h: improve how bitwise ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel data/:
u
p
d
ate to recent linux-next
(3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carp
e
n
t
er
db:
d
eclar
e
strnl
e
n
() as returning
"0-s
3
2
m
ax[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
us
e
r_data:
e
x
port is_user_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
user
_
d
ata: mar
k
ntohl() data as user_
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next