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: hide a bunch of the unreachable warnings under the --spammy flag
2013-12-20
Dan C
a
rpenter
flow
:
hide a b
u
nch of
the
u
nrea
c
hab
l
e
warnings under
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan
C
arp
e
nte
r
ker
n
e
l
.
silenced_f
u
n
ctions: add some mo
r
e "a
s
m goto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Da
n
Carpenter
extra: assume indexes are in boun
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carp
e
nter
flow: fix struct initialization
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*
n
ew* check_a
r
ray_condition
.
c
:
arrays can't be NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carpenter
b
uf_
s
ize:
store
r
an
g
e
s
in the datab
a
se i
n
s
t
ead of single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpen
t
er
strlen: remove some bla
n
k lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Ca
r
p
enter
unreac
h
able c
o
de: don't warn about unreachable brea
k
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreachable
c
o
d
e: don't warn about em
p
ty statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
debug: introduce __sma
t
ch_bu
f
_size_rl() which
i
s m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpenter
d
ebu
g
: add __smatch_me
m
ber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
ke
r
nel, db: add hweight() functi
o
ns to the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
C
ar
p
e
nter
kerne
l
, db: consider x
= htonl(10)
and x = 10 e
q
uivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
int
r
oduce: smatch_data
/
kernel
.
no_inli
n
e
_
fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
D
an Ca
r
pe
n
t
e
r
*n
e
w* add smatch_data/kernel
.
sil
e
nced_fun
c
tions
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common
_
function
s
.
c
: h
a
ndle
s
trlen() and st
r
n
l
en(
)
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpen
t
er
a
ccess_ok
_
m
a
th: restri
c
t this
c
heck to --spammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*new* check_cast_ass
i
g
n
.
c: check casting a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan
C
arp
e
nter
c
heck_debug: fix crashing bug on printing non-existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
nter
buf
_
size: buffer
allocations i
n
the sa
m
e file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Da
n
Car
p
enter
buf_size: ignore unk
n
o
w
n
array sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpenter
s
trl
e
n: record string
l
engths across fun
c
tion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
str
l
en: record as
s
ign
e
d strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen:
a
d
d a
comme
n
t and rename some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
rpe
n
ter
strlen: handl
e
str
i
ng liter
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
de
b
ug
:
introduce __sma
t
ch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
strlen: intro
d
uce get_i
m
plied_s
t
rlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
ent
e
r
math: revert acc
i
dentally
committed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
C
arpenter
buf_size: read a range_list from
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpent
e
r
buf_size: s
t
ore typ
e
_si
z
e in two tab
l
e
s
t
he same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
enter
buf
_
size: make size_from_db()
w
ork ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_
s
ize, strlen:
s
ep
a
rate buf_size and s
t
rlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpent
e
r
overflow: use fuzzy_
m
ax to
w
ar
n
a
bou
t
array overflow
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
mat
h
: f
i
x get_fuzzy_
m
in/max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arp
e
n
t
er
buf_size: r
e
presen
t
buffer
s
ize
as a ra
n
ge l
i
st instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size: handle places t
h
at
dynamical
l
y
a
locate
s
ometi
m
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n C
a
rpente
r
flo
w
:
i
n
t
roduce __i
n
_funct
i
on_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
te
r
ext
r
a, math: rew
o
rk how fuzzy max
i
s handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpenter
buf_size
:
handle devm_
k
malloc
(
)
allo
c
a
t
ions
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n C
a
rpenter
kernel
.
i
g
nored_mac
r
o
s: add R
T
_
ASSERT and SKD_AS
S
ERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Ca
r
pe
n
te
r
smdb: improve "where
"
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
range
s
:
i
n
t
r
o
duce rl_has_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Car
p
enter
helper: work
a
r
ound crashing bug i
n
get_
m
ember_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
loc
a
l_values: p
u
ll
c
ode in
o
ne indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
check_signed:
ignore
things with negative number
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
f
l
ow: ignore str
u
cts and un
i
ons
i
n set_
u
n
s
et_to_z
e
ro
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
modifica
t
ion_hooks: delete a blank lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
recurse: introduce has_inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
p
e
nter
type_val
:
fix a build war
n
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
typ
e
_
val: actu
a
lly run the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
smatch:
a cou
p
le
crashing bu
g
s on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
allow char t
o
be unsigne
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpen
t
er
help
e
r: improve
i
s_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
type_
v
al: introduce storing st
r
u
c
t mem
b
e
r
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpenter
data_source:
l
oad where d
a
ta c
o
mes
f
rom into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
en
t
er
.
gitignore
:
ignore bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpen
t
er
db:
fixup_kernel
.
sh: say that we only have 64 C
P
Us
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: preserve unmerged states in the
->possible
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arp
e
nter
db: group
f
unction
pointer retur
n
st
a
t
es toget
h
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
db: order the return_s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n
C
arpenter
db: fixu
p
_kern
e
l
.
sh: ignore timer_list fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
r
pente
r
db: fixup_kern
e
l
.
sh: re
m
ov
e
some USE
R
_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
db: i
m
pro
v
e databa
s
e debuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
sma
t
ch
.
h:
shi
f
t
s
o
m
e
struct me
m
bers ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
an Carpenter
f
l
ow: clear_buffer: rever
t
part
o
f
comm
i
t
t
h
at
uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpent
e
r
f
l
ow: re-w
r
i
te h
o
w struct members are initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_clear_buffer: memcpy() should se
t
th
e
destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Ca
r
p
enter
smatch_clear_buffe
r
:
make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
m
atch_data/ke
r
n
e
l
.
clears_
a
r
g
u
ment: remove memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flow: introduce o
u
ts
i
d
e
_of
_
functio
n
() t
o
fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel: ignore
i40e
_
db
g
_netdev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
penter
f
l
ow:
set members to z
e
r
o
by
d
efault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Car
p
enter
db,
e
xtra, user_data: h
a
n
dl
e
:
*x
= 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_data: rem
o
ve kmemdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpe
n
t
e
r
user_da
t
a: make a f
u
ncti
o
n st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
penter
c
o
n
tai
n
er_of: people checking the return value of nl
a
_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user
_
data: make a func
t
io
n
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: expo
r
t get_const_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
math: han
d
l
e b
i
twise OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math:
h
andle LEFT_S
H
IFT (a <
<
b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
C
a
rpent
e
r
math:
r
emove an imp
o
ssible cond
i
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carpen
t
er
Fix --no-data so it doesn't spew database errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Ca
r
penter
ext
r
a: fix a crash parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
Carp
e
nter
sizeof: fix typ
o
in
error mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
arpenter
s
iz
e
of: co
m
plain if
code does sizeof(4
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
t
y
pe:
l
et get_real_base_type() ta
k
e
NULL para
m
e
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan
C
arpenter
db:
r
e
name add_returned_st
a
te_callback()
=> add_s
p
lit_re
t
ur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
r
o
senberg inf
o
lea
k
s: check __co
p
y_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
rosenberg info l
e
a
k
s
:
use PA
R
AM_CLEA
R
ED data from
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
r
osenberg info leaks
:
use strip
p
e
d data from copy_
t
o_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenbe
r
g info leaks: make check_member
s
_
initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
extra
:
han
d
le "if (a & 0x1)
"
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
flow:
fak
e
assigns
b
etter for nest
e
d st
r
ucts and arra
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
rpenter
helper: g
e
t
_
me
m
be
r
_
n
ame() c
o
uld s
t
ore unions (sort of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
s
er_data: fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
math: improve
h
o
w
ca
s
t
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an C
a
rp
e
nter
m
ath: introduc
e
g
et_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
math: impro
v
e
h
ow bitwise AN
D
s are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
ker
n
el
da
t
a/
:
u
p
d
ate to recent linux-n
e
xt (3
.
11-rc
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next