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 Carpenter
kernel
.
silenc
e
d
_
functions
:
add some more
"a
s
m
g
o
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
D
an
C
arpenter
extra:
a
ssume i
n
dexes are in
b
o
u
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpent
e
r
flow: fix
s
truct
i
nit
i
al
i
zation bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
ar
p
enter
*new* che
c
k_array_condit
i
on
.
c
: array
s
can't
b
e NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
buf_size: store r
a
nges in the database i
n
stead of single
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
strlen:
r
emove some
blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreach
a
ble c
o
d
e
:
don'
t
w
a
rn
about
u
nreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreacha
b
le code:
d
on't
warn ab
o
u
t
empty s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
debug: introduce __smatch_buf_siz
e
_rl() which
is
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: add __smatch_mem
b
er_na
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
kernel, db: add h
w
eight
(
) f
u
nctions to the
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
kernel, db: consi
d
er x =
h
tonl
(
10) and x = 10 equival
e
n
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
ent
e
r
introduce:
s
match
_
data/kernel
.
no_inline_f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpe
n
t
e
r
*
n
ew* a
d
d
sma
t
ch_
d
ata/ke
r
nel
.
silenced_functio
n
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carp
e
n
ter
c
ommon_functions
.
c: hand
l
e s
t
r
l
en() an
d
str
n
l
en(
)
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
Carpenter
access_o
k
_math: restrict this
check to --spammy ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new* check
_
cast_assign
.
c: check casting
a
s
maller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
check
_
d
e
bug
:
fix cra
s
hi
n
g b
u
g
o
n printing non-ex
i
stant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
ente
r
buf_si
z
e: buffer allocations in the sam
e
fil
e
a
r
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_si
z
e: ignor
e
u
n
k
nown array sizes bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Ca
r
pe
n
ter
strlen:
r
ecord s
t
rin
g
lengths across function
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
strlen: rec
o
rd a
s
s
i
g
ned
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
e
nter
st
r
len: add
a comme
n
t and ren
a
m
e
some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
strlen:
handle stri
n
g litera
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Ca
r
penter
debug: i
n
troduce __
s
match
_
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpent
e
r
strl
e
n
:
i
ntroduce
g
et
_
implied_s
t
rlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
ma
t
h
:
re
v
ert acc
i
d
e
ntally committe
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
bu
f
_
size: read a
r
ange_list fr
o
m the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpen
t
er
buf_size:
store
typ
e
_
s
i
z
e in two tables t
h
e same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpente
r
bu
f
_size: make size_fr
o
m_db() wo
r
k
agai
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
buf_size, strlen: separate buf
_
size and strlen
i
nto
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
ove
r
flow: use fuzzy_max to
w
arn about array overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
math: fix get
_
f
uzzy_mi
n
/
ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
buf
_
size: repres
e
nt
b
u
f
fer size
as
a range list
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
er
buf_size: h
a
ndle
places that d
y
namica
l
ly alocate
somet
i
mes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
C
arpenter
flow: intro
d
uce __i
n
_funct
i
on_d
e
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpen
t
er
extra, mat
h
: re
w
or
k
ho
w
fuzzy max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Car
p
enter
buf_size:
hand
l
e
devm_kmalloc() allocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
ke
r
nel
.
ignored_
m
ac
r
os: add
RT_ASSERT and SKD_ASSER
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
s
m
db
:
impr
o
v
e
"wh
e
re" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
enter
ranges: introduce rl_
h
as_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arp
e
nter
helpe
r
: work
a
r
ound cr
a
shing bug in g
e
t
_
m
ember_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
local
_
values: pull
code in one inde
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
rpenter
check_signed:
i
gnore th
i
ngs with neg
a
tive n
u
mb
e
r of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pente
r
flow: i
g
n
o
re structs and unions in
set_uns
e
t_to_z
e
ro
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
mo
d
ification_hoo
k
s: delet
e
a bl
a
nk
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carp
e
nter
r
e
curse:
i
n
troduce has_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
type_val: fix a
build
warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: actu
a
lly run the
code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch: a cou
p
le cr
a
shing bugs on in
v
ali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
a
llow
c
har to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an
C
arpenter
helper: improv
e
is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpenter
type_v
a
l: intr
o
duce storing str
u
ct
member limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
e
r
data_sourc
e
: load
where data co
m
es
f
ro
m
into
t
he
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
.
gitign
o
re: ignor
e
bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fixup_ker
n
el
.
sh
:
say that we only have 64
C
PUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
db: p
r
eserv
e
unmerged
states in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group function p
o
in
t
er retur
n
states
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
p
e
nter
db: order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
an Ca
r
penter
d
b
: fix
u
p_kernel
.
sh: ignore tim
e
r
_
list
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db: fi
x
u
p_kernel
.
sh
:
remove some USER_D
A
TA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
pen
t
er
db:
i
m
prove database
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Car
p
enter
s
match
.
h
:
shi
f
t
s
o
me str
u
ct members around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Car
p
ente
r
fl
o
w: clear_buffer: revert
p
art of commit that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
flow:
r
e-write how struct member
s
are
initialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpen
t
er
s
match_clear_
b
uffe
r
: me
m
cpy() should set the destinatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
r
p
enter
smat
c
h_clear_buf
f
er: make
a
function
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpen
t
er
sma
t
ch_dat
a
/kernel
.
clears_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
flow: introduce outside_of_functi
o
n() to fix
g
l
obal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db
:
kernel: ignore i40e
_
dbg_
n
etd
e
v_
o
p
s
_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
flow:
se
t
m
embers
t
o
z
ero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpente
r
db,
extr
a
, user_d
a
t
a:
h
a
nd
l
e: *x
=
1; r
e
tur
n
x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
C
a
r
penter
user_data: remove kmemdup_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpe
n
ter
u
s
e
r_da
t
a: make a funct
i
on
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
c
o
ntainer_of: people c
h
ecking the ret
u
rn value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
D
an
C
arpenter
helpe
r
: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
use
r
_data: make a functio
n
s
t
ati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
enter
math: e
x
port get_
c
onst_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpent
e
r
m
ath: handle bitwise
O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
math: handl
e
LEFT
_
S
HIFT (
a
<< b
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
a
rpenter
math: r
e
move an impossi
b
le condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Car
p
ent
e
r
Fix
-
-no-dat
a
so
i
t doesn't spew databa
s
e
err
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: fix a crash parsing invalid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
s
izeof: fix typo in
e
rr
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: compl
a
in
i
f code does
sizeof(4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
a
r
penter
type: let g
e
t_real_base_type() take NULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan
C
a
rpen
t
e
r
db: r
e
n
a
me add_retu
r
ned
_
s
ta
t
e_callback() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rose
n
berg
info leaks: check __copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
C
a
rpent
e
r
rosenberg
i
nfo leaks: u
s
e PARAM_CLEARED
data from
th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
nter
r
os
e
nberg i
n
f
o leaks: use
stripped data from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
rose
n
b
erg
i
nfo leaks: ma
k
e
ch
e
ck_members_i
n
itia
l
ized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extr
a
: handle "if (a & 0x1)" condit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
flow: fake assigns better for nested stru
c
ts and arra
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
he
l
p
e
r:
ge
t
_
m
ember_name() could store unions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: fix c
r
ash
i
n
g bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
th: improve how cast
s
are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
mat
h
: introduce
g
et_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
math: i
m
prove how
b
itwis
e
A
NDs ar
e
hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
k
e
rnel data/: update to recent linux-
n
ext (3
.
11-
r
c1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an
C
arpen
t
er
d
b
: declare st
r
n
le
n
(
)
as
r
eturning "0-s
3
2max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next