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
double_checking: update to use stree
2013-12-19
D
an Ca
r
penter
strl
e
n: remove
some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an C
a
rpenter
un
r
eacha
b
le co
d
e: don't warn
a
b
o
ut u
n
reac
h
able break
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
unreachable
code: don
'
t
war
n
about
empty s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
nter
de
b
ug: introduce __smatc
h
_buf_siz
e
_rl() which is more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
debug: add __smat
c
h_m
e
mber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel,
d
b: add hweigh
t
() functions to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
ernel, db: consider x =
htonl(10) and x
=
10 equivalen
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
int
r
oduce: sm
a
tc
h
_
d
ata/kernel
.
no_inline_fu
n
c
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpen
t
er
*new* ad
d
sm
a
tch_d
a
ta/kernel
.
s
ilenced_fu
n
c
ti
o
ns to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
r
p
enter
comm
o
n_functions
.
c: handle strlen() and strnlen() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpen
t
er
access_ok_math:
r
estric
t
this check to
-
-
spammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*
n
ew* check
_
cast_assign
.
c: check casting a small
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpent
e
r
check_debug: fix cras
h
ing bug on prin
t
i
n
g non-e
x
istant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_siz
e
: b
u
ffe
r
alloc
a
tions
in the
s
ame fi
l
e are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
buf_si
z
e: i
g
no
r
e
u
nkno
w
n
a
rr
a
y
sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpente
r
strlen: re
c
ord string lengths across f
u
nction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
s
t
rl
e
n: record assign
e
d strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
strlen
:
add a co
m
ment
and r
e
n
a
me
s
ome thi
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
strl
e
n: handle string l
i
t
er
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
d
ebug: introduce __smatch
_
strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
strlen:
i
ntroduce get_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
ma
t
h: revert accident
a
lly comm
i
tt
e
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
buf_si
z
e:
re
a
d a
ran
g
e_list fr
o
m the
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
buf_siz
e
:
store type_size in two tabl
e
s
t
he same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_s
i
ze: m
a
ke
s
ize_from
_
d
b
()
work again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size,
s
trlen: s
e
parate buf_size
a
n
d
strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
overflow: use fu
z
zy_max to
warn about array overfl
o
ws
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
enter
ma
t
h: fix get_f
u
zzy_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: represent buffer size a
s
a range list instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpenter
buf_siz
e
:
han
d
le
places
that d
y
namical
l
y alocate som
e
t
i
mes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow:
introdu
c
e __in_function_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
pent
e
r
extra, math: rework
h
o
w
fu
z
zy m
a
x is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpen
t
e
r
buf_s
i
ze: handle
d
e
vm_kmalloc() allo
c
ations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
ke
r
n
e
l
.
ign
o
r
e
d_macros: add RT
_
A
SSERT
and
S
KD_AS
S
ERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
smdb:
i
mprove "where"
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
n
t
e
r
ranges: introduce rl_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
hel
p
er: work around cr
a
shi
n
g
b
u
g in get
_
m
emb
e
r_na
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
ar
p
enter
local_values:
pull code in one i
n
dent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an C
a
rpenter
c
h
eck_signed: ignore thin
g
s with negative number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ignore stru
c
ts and
u
nions in set_unset
_
to
_
zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modificat
i
on_hooks: del
e
te a bla
n
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
recurse:
introduce
h
as_in
c
_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_
v
al: fix
a build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
t
y
p
e
_
v
al: actu
a
l
ly
run th
e
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
smat
c
h
:
a couple crash
i
ng
b
ug
s
on inva
l
id
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
allow
char t
o
be un
s
igned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
helper
:
impro
v
e
is_error_
r
eturn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
a
rpenter
ty
p
e
_
val: intr
o
d
uce storing stru
c
t member limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an
Car
p
enter
data_
s
ource:
l
oad wher
e
d
a
ta comes from into th
e
datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
gitigno
r
e: ig
n
ore bak
.
s
match
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db: fixup_ke
r
ne
l
.
sh: sa
y
th
a
t we only
h
ave
6
4 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: preserve unmer
g
ed
states in
the ->po
s
sible b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpen
t
er
d
b: group function
p
oint
e
r ret
u
rn
s
tates to
g
ether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
db: order the retu
r
n_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpenter
db: fixup_kernel
.
sh: ign
o
re timer_li
s
t functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
d
b: fixup_ker
n
el
.
sh: re
m
ove
s
o
me U
S
ER_DATA c
a
ll
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
d
b
: impro
v
e
d
atabas
e
debugg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
an Carpe
n
ter
smatch
.
h: shift s
o
me st
r
u
c
t members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
f
low:
c
lear_buffer: revert
par
t
of
c
ommit that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
fl
o
w: re-write how
s
t
ruct members are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nte
r
smatch_
c
lear
_
buf
f
e
r
:
memcpy() should set the destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
match_clear_buffer: make
a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n
Carpente
r
smatch_data/kernel
.
clears_
a
rgumen
t
: remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan C
a
rpenter
f
low: intr
o
duce
outside
_
of_function()
to fi
x
global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: ke
r
nel:
i
gnore
i40e
_
d
b
g
_
ne
t
dev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpente
r
flow:
set
members to zero by
d
efault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db, extra,
u
ser
_
data: h
a
ndle: *x = 1; return x
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
an Ca
r
pent
e
r
u
s
er_data: remo
v
e kmemdup_us
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpenter
u
ser
_
data
:
m
a
ke a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpenter
co
n
t
a
in
e
r_of: people checki
n
g the retur
n
valu
e
of
n
la_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n C
a
rpenter
helpe
r
: fix
c
ras
h
ing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
D
a
n
C
arpenter
user_d
a
ta:
make a funct
i
on
s
tatic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: export get_cons
t
_val
u
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpente
r
math: handle bit
w
ise OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n C
a
rpent
e
r
math: ha
n
dle LEFT
_
S
HIFT (
a
<<
b
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n C
a
rpenter
math: remove an imp
o
s
sible
c
ondit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carp
e
nter
Fix --no-data s
o
it doesn't
spew da
t
abase er
r
ors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpenter
extra:
f
i
x
a crash parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
sizeof: fix
t
ypo in er
r
o
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carpenter
siz
e
o
f: comp
l
a
i
n if co
d
e do
e
s
si
z
eof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
typ
e
: le
t
get
_
real_base_type() take NULL parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rename add_returned_state_ca
l
lback()
=
> add_spli
t
_
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Ca
r
p
e
nter
r
o
sen
b
erg info leaks: che
c
k __cop
y
_
to_
u
s
e
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carp
e
nter
rosenb
e
rg info
l
eaks: use
PARAM_
C
LEA
R
ED data from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
rpenter
r
o
senberg info
le
a
ks: use stripped data
from
c
o
py_t
o
_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Ca
r
p
enter
rosenberg info leaks:
make ch
e
ck_mem
b
ers_initiali
z
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
ex
t
ra: handle "if (a & 0x1)" c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
f
l
o
w
:
f
ake assign
s
better for nes
t
ed
structs an
d
arr
a
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpen
t
er
helper
:
get_membe
r
_name() could
store unions (sort o
f
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
u
ser_dat
a
:
fix c
r
ashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
C
arpenter
math: improve how
casts
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
mat
h
:
intro
d
uce get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
r
penter
math: i
m
pr
o
ve 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
r
ec
e
nt lin
u
x
-next
(3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
db: declare str
n
len()
a
s returning
"0-s32max[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
e
n
t
e
r
us
e
r_data: export is_user_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
use
r
_data: ma
r
k ntohl(
)
data as
user_da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
user_data: improve tracking
s
et vs pa
s
se
d
in user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
D
a
n
Carpenter
i
m
pl
i
ed: re
m
o
ve
s
ome unused
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan
C
arpenter
check_o
v
erflow: silence
s
ome
"
not allocating enough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next