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
unreachable code: don't warn about empty statements
2013-12-19
Dan
C
arpenter
unreac
h
able code: don't warn ab
o
ut empt
y
statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: introduce
_
_smatch_buf_size
_
rl() which is more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carp
e
nter
debug:
add __smatch
_
member
_
n
ame()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Car
p
enter
kernel, db:
add
hweight
(
) f
u
ncti
o
ns to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
kernel, db: co
n
side
r
x
=
htonl(10) a
n
d x = 10
equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
nter
introduce:
s
match_data
/
kernel
.
no_inline_functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpent
e
r
*new*
a
dd smatch
_
data/kernel
.
silen
c
ed_funct
i
ons to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
co
m
mon_functio
n
s
.
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
ac
c
ess_ok_math: restr
i
c
t
this check to --
s
p
ammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpent
e
r
*
n
ew* ch
e
ck_cast
_
a
s
sign
.
c: check casting a smalle
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
D
an Carpente
r
check_debug: fix crashin
g
bug
on pr
i
nt
i
ng non-
e
xi
s
tant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
rpenter
buf_size
:
bu
f
fer
a
llocations i
n
the same file are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpe
n
te
r
buf_size: ignore unknown arr
a
y sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Ca
r
penter
strlen: record string lengths
a
cro
s
s
fun
c
ti
o
n cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Ca
r
p
enter
strlen: record assigned str
i
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
r
pe
n
ter
strlen: add a co
m
m
e
nt and rename so
m
e
t
hings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
ar
p
e
n
ter
st
r
len: handle st
r
ing lite
r
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
debug: introduce __smatch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strl
e
n: introduce
ge
t
_implied_
s
trlen
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math:
r
evert accid
e
ntall
y
committe
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
buf_si
z
e: read a range_li
s
t
f
rom t
h
e da
t
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
b
u
f_size:
sto
r
e type_siz
e
in tw
o
tab
l
es
t
he
s
ame as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
buf
_
si
z
e: make size_from_db() wo
r
k
again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
r
penter
b
uf_size, strlen: separate buf_size and s
t
rlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
overf
l
ow: u
s
e fuz
z
y
_
max
to warn about
a
rr
a
y
overflow
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
ma
t
h: fi
x
get_fuzzy_m
i
n
/
max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
buf_size:
repre
s
ent buf
f
er size
as
a
ra
n
ge list instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
penter
buf_size
:
handle places that
d
ynamic
a
lly alocate so
m
e
t
ime
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpen
t
e
r
f
low: in
t
ro
d
uce __in_function_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
te
r
extra, math: r
e
wo
r
k
how fu
z
z
y
max is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
penter
buf_s
i
ze: handle
d
evm_kmalloc() allo
c
ations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
kernel
.
ignored_macros
:
a
d
d RT_ASSERT and
S
KD_ASS
E
RT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
smdb: improve "
w
here" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
r
a
nges: in
t
roduce
rl_h
a
s_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
h
e
l
per: work
around crashing
b
u
g in get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n C
a
rpenter
local_values: pul
l
code
i
n one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpent
e
r
ch
e
ck
_
signe
d
: ig
n
ore things
with negative number o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
n
ter
f
low: ignore stru
c
ts
a
nd unions in set_unset_t
o
_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
m
o
d
ificati
o
n_
h
ook
s
: delet
e
a blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpe
n
te
r
recurse: in
t
rod
u
c
e has_in
c
_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
t
e
r
type_val: fix
a
b
ui
l
d war
n
in
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Ca
r
penter
type_va
l
: a
c
tually run
the
c
od
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
s
m
atch
:
a c
o
uple crashin
g
bugs on
invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
all
o
w
char to
b
e uns
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
helper:
improve is_error_retur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
ty
p
e_val: introduce storing s
t
r
u
ct member li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
d
at
a
_
sou
r
ce: load where data c
o
mes from
i
nto the da
t
ab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
rpent
e
r
.
gitignore: ign
o
r
e
bak
.
s
match
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fi
x
up_k
e
rnel
.
sh: say
that we only have 64 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
a
rpenter
db:
prese
r
ve unmer
g
ed st
a
t
e
s
in
t
he
->
p
ossible
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Ca
r
penter
db: group functi
o
n
point
e
r re
t
urn sta
t
e
s together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
db: order the
return_s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
Carpenter
d
b
:
f
i
xup_kernel
.
sh: ignore ti
m
er_list f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db:
f
ixup_kernel
.
sh: remove s
o
me US
E
R
_D
A
TA c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
nter
db: i
m
prove database debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
smat
c
h
.
h: shift some struct members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Ca
r
penter
flow:
clear_b
u
ffer: revert
p
art of commit t
h
at
u
s
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpenter
flow: re-write how struct membe
r
s are initia
l
ized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
a
r
penter
smat
c
h_clear_b
u
ffer
:
me
m
c
py() should s
e
t t
h
e
d
est
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nter
smatch_clear_buffe
r
:
make a
f
unction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpente
r
smatc
h
_data/kernel
.
cle
a
rs_argument: remove memse
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
Carpente
r
fl
o
w: intr
o
duce
o
utsi
d
e_of_fun
c
tion()
to fix gl
o
bal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carp
e
nter
db: kernel: ignore i4
0
e_dbg_netdev_
o
ps_
w
rite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpe
n
ter
fl
o
w
: s
e
t members to
zero b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db,
e
x
t
ra, user_data:
h
a
n
dle:
*
x =
1
; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Car
p
enter
use
r
_data: remove kme
m
dup
_
user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
u
se
r
_data: make a functi
o
n stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
container_of: people checking
t
h
e
r
eturn value of
nla_d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
he
l
per: f
i
x cra
s
h
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
D
an Carpenter
user_data: make a functio
n
s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: e
x
p
o
rt get_const_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carpen
t
er
math: handle bitwi
s
e
OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: handle LEFT
_
SHIF
T
(a <
<
b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpente
r
math: remove an impossible con
d
iti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Car
p
enter
Fix --
n
o-data
so it do
e
sn't sp
e
w
d
atabase errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
ent
e
r
e
xtra: fix a crash pars
i
n
g invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpe
n
te
r
sizeof: fix typo in err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Ca
r
p
e
nte
r
sizeof: compla
i
n if code does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
rpenter
type: let get_r
e
al_bas
e
_type
(
) tak
e
N
ULL
p
ar
a
mete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db
:
re
n
ame add_returned_s
t
ate_callback
(
) => add_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
nter
rosenberg i
n
fo leaks: check __copy_to
_
user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
o
senbe
r
g info
l
e
a
ks: u
s
e
PARAM_CLEARED dat
a
f
r
om the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Car
p
enter
rosenberg info leaks: us
e
stripped data from
copy_to_use
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Ca
r
pente
r
rosenberg info leaks: m
a
k
e
check_members_initi
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra:
ha
n
dle
"if (a & 0x1)" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
fl
o
w: fak
e
a
ssigns better for nest
e
d structs and
a
rray
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
n
ter
helper: get_member_name() cou
l
d store unions (sor
t
of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user_data: fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
m
a
th:
improve how casts a
r
e
handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpe
n
ter
math: introduce get_a
b
s
o
lute_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
m
ath
:
i
m
prove how bitwise AND
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
kernel data/: u
p
date to rec
e
nt linux
-
next
(3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
db: dec
l
are
s
trnlen() as returning "0-s32max
[
<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
s
er_data: exp
o
rt is_use
r
_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Car
p
enter
u
ser_
d
ata: mark nt
o
hl() data as user_dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carp
e
nt
e
r
us
e
r_data: improve trac
k
ing set vs passe
d
in user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
i
m
plie
d
: remove some unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan
Carpenter
check_over
f
l
o
w: silenc
e
some "not allocati
n
g
e
nough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Da
n
Carpen
t
er
c
omparison
:
w
hite
space cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan C
a
rpenter
extra: ha
n
dle binop comparisons be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next