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
buf_size: store ranges in the database instead of single values
2013-12-19
Dan C
a
rpenter
buf
_
size: store ranges in the
d
at
a
base i
n
stead of singl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
str
l
en:
r
emo
v
e s
o
me blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
n
ter
unre
a
chable code
:
don't warn about unreachable break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpen
t
er
unreac
h
able code: don't w
a
r
n about empty statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpe
n
t
e
r
de
b
ug
:
int
r
od
u
ce __sma
t
ch_buf_
s
ize_rl
(
) whic
h
is
m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
d
eb
u
g
: add __sma
t
c
h_member_na
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
ar
p
ent
e
r
kernel, db:
a
dd h
w
eight()
fu
n
ctions to t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an C
a
r
pe
n
t
e
r
kern
e
l, db
:
c
o
nsider x = hto
n
l(10) and x = 10 equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
p
e
n
t
er
int
r
oduce: sm
a
tch_da
t
a/kernel
.
no_inline_functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carp
e
nter
*new* add
s
matc
h
_data/kern
e
l
.
silenced_functions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan
Car
p
enter
common_functions
.
c: handl
e
str
l
en() an
d
strnlen() bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
enter
a
ccess_o
k
_
m
ath
:
re
s
trict this c
h
eck to --spammy
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new
*
check_cast_assign
.
c:
c
h
eck casting a smalle
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpe
n
ter
check_debug: fix
crashing bu
g
on
p
r
i
nting no
n
-existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_
s
ize: buffer a
l
locations in the same file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
C
a
rpenter
buf_size: ignore
u
nkno
w
n array siz
e
s be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
strlen:
record
st
r
ing lengths across f
u
n
ction ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: rec
o
r
d
a
ssi
g
ned strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strl
e
n: add
a
comment a
n
d re
n
ame some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Car
p
e
n
ter
strlen
:
handle string literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
ar
p
enter
debug: intro
d
uce __smatch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
st
r
len: introduce ge
t
_impli
e
d
_
strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
te
r
math: revert
accidenta
l
ly committed
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: read
a
range_li
s
t
f
rom the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f
_size
:
s
t
ore type_size i
n
two ta
b
les
the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
buf_size
:
make s
i
z
e_from_db() work
again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size,
strlen:
s
eparate buf_size and
s
trlen
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
overf
l
ow:
u
se
fuzzy_m
a
x t
o
warn about array
overflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
e
nter
math:
f
ix ge
t
_f
u
zz
y
_min/m
a
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpen
t
e
r
b
u
f
_
size
:
r
e
pr
e
sent buffer siz
e
as a r
a
n
ge lis
t
i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
buf_size:
h
andle places
that
dynamically alocate som
e
times
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpenter
flow: i
n
troduce __
i
n_function_
d
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra,
m
ath: re
w
ork
h
o
w
fuzzy
max is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan C
a
r
p
enter
buf_
s
ize: h
a
ndl
e
d
e
vm_kma
l
l
o
c() alloca
t
ions
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
k
ernel
.
i
gnored_mac
r
os:
add RT_ASSERT
a
nd SK
D
_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
enter
smdb: i
m
prove "where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Car
p
enter
ranges: introduce rl_has_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
h
e
l
per:
work around
crashing bu
g
i
n
get
_
member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
local_values:
pull code in one i
n
dent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpe
n
ter
check_signed: ign
o
re t
h
i
n
g
s w
i
th negative
n
umb
e
r of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
flow: ignore st
r
u
c
ts
an
d
unions in set_unset_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modificat
i
o
n
_
h
o
oks: delete
a
blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Car
p
ent
e
r
r
ecurse: introduce has_inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_v
a
l
:
fix a b
u
ild warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nt
e
r
ty
p
e
_
val: actually r
u
n
t
he co
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
smatc
h
:
a couple crashing bugs on in
v
ali
d
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpenter
allow cha
r
to be unsign
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
helper:
improve is_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpente
r
type_va
l
:
introduce sto
r
ing str
u
ct member
l
imit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
ar
p
enter
d
ata_source:
load wh
e
re data
c
omes from
i
nto the databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpent
e
r
.
gitignore: i
g
nore
bak
.
s
m
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Ca
r
p
enter
db: fixup_kernel
.
sh:
say that we
only have
64 C
P
U
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
db: pr
e
ser
v
e
unmerged stat
e
s in the ->possi
b
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nte
r
db:
g
roup functi
o
n
pointer
r
e
t
u
rn s
t
ates togethe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
db:
orde
r
t
h
e re
t
urn_stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpen
t
er
db: fixup_ke
r
nel
.
sh:
i
gnore timer_list functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
d
b:
fixu
p
_ke
r
n
e
l
.
sh: remove som
e
USER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpenter
db: improve dat
a
b
a
se debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
a
n
C
arpenter
smatch
.
h
: shift some struct members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
an Carpente
r
flow: cle
a
r_buffe
r
: revert
p
art of commit
that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
flow
:
re-w
r
i
t
e h
o
w struct mem
b
ers are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
smatch_clear_buffer: memcpy() should set the
d
e
s
tinati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpen
t
e
r
smatch_cle
a
r_
b
uffer: m
a
ke a function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
r
p
enter
smatch_dat
a
/kerne
l
.
cl
e
a
rs_
a
rgument:
remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
D
an Carpe
n
ter
flo
w
:
i
ntro
d
uce
o
utside_of_function() to fi
x
global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan
C
arpe
n
t
er
db: kern
e
l: ignore i40
e
_
dbg_n
e
tdev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
flow: se
t
members to zero b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpente
r
db, extra, user_data
:
h
a
nd
l
e:
*
x =
1;
r
eturn x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
p
enter
user_data: remove kme
m
dup_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arp
e
nter
u
s
e
r_data
:
make a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
n
t
e
r
conta
i
n
er_o
f
: peo
p
l
e
checking the return value of nla_dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Ca
r
penter
helper: fix crash
i
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Da
n
C
arpen
t
er
user
_
data: make
a
fun
c
t
i
on sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
ma
t
h: export get_const
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: handle
b
itwis
e
OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carpenter
math:
h
andle L
E
FT_SHIFT (a
<< b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
enter
m
a
t
h: remove an
impossible
c
o
ndit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan
C
arpenter
F
ix
--no-
d
a
t
a
so it doesn't spew database e
r
ro
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
arpen
t
er
extra: fi
x
a crash parsin
g
in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Ca
r
p
e
nter
s
i
z
eof: fix typ
o
in error
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
s
izeof:
c
omplain if code does si
z
eof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n C
a
rp
e
nter
type: let
g
et_real_ba
s
e
_
t
y
p
e()
t
ake NU
L
L parameter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename add_
r
eturned_sta
t
e_callback() => add_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
rosen
b
erg info leaks: check _
_
copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
ros
e
n
berg
i
nfo l
e
ak
s
: us
e
P
A
RAM_CLEA
R
ED data from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
r
o
sen
b
erg info
l
e
aks
:
use
stripped data from
c
op
y
_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg i
n
f
o
leak
s
: make check_members_in
i
tialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
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 C
a
rpenter
flow: fake assign
s
bet
t
er for nested structs and array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
help
e
r: get_mem
b
er_nam
e
(
) could stor
e
unions (s
o
rt of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
C
a
rpenter
user_data
:
fix crashi
n
g
b
ug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
math
:
improve how
casts are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
ath: introduce ge
t
_
a
b
solute_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpent
e
r
m
a
th: impro
v
e how
bitwise AND
s
a
r
e hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
kernel d
a
ta/: upd
a
te to rec
e
nt li
n
ux-next (3
.
11-r
c
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
db: declare strnlen() as returning
"0-s
3
2max[
<
=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
ar
p
enter
user_data: export
i
s_u
s
er_m
a
cro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
user_
d
at
a
:
mark n
t
o
hl() data as user
_
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: improve tracking set vs pass
e
d in u
s
er d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Dan Car
p
enter
impl
i
ed: remov
e
so
m
e
u
n
u
s
e
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next