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, db: add hweight() functions to the database
2013-12-19
Dan Carpenter
kernel, db
:
add
hweig
h
t() functions to th
e
d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carpen
t
er
kernel, db: consider x = htonl(10) and x =
1
0 equiva
l
ent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Ca
r
penter
i
ntroduce: smatch_data/kernel
.
n
o_inline_functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Car
p
enter
*new* add smatch_data/kernel
.
s
i
lenced_f
u
ncti
o
ns to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n C
a
r
pent
e
r
co
m
m
o
n_funct
i
ons
.
c: hand
l
e strlen() and
strnlen()
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Ca
r
p
e
nter
access_ok_math: restric
t
this ch
e
c
k to
-
-
spammy output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpente
r
*new*
che
c
k
_
c
ast_assig
n
.
c: ch
e
ck casting a
smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpen
t
er
chec
k
_debug: f
i
x crashin
g
bug on print
i
n
g non-exi
s
tan
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
nter
b
uf_size: buff
e
r alloca
t
ions in the
s
a
m
e file
a
re
not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Ca
r
pe
n
t
e
r
buf_s
i
ze: igno
r
e u
n
k
n
o
w
n ar
r
ay
s
ize
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpent
e
r
strlen: record s
t
ring
l
e
ngths
a
cr
o
s
s
funct
i
on call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
enter
st
r
len: record a
s
signed st
r
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
st
r
len:
a
dd
a comment and renam
e
some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpe
n
ter
strl
e
n:
handle string
lite
r
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: introduce __smatch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpente
r
strlen: in
t
rod
u
ce get_
i
mplied_s
t
rlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpente
r
math:
r
e
vert
a
cciden
t
al
l
y committe
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
: re
a
d a range_
l
ist from the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: st
o
re type_size in two tables the
s
ame as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Carpenter
b
u
f_size: make
size_fr
o
m_db() work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
bu
f
_size, strlen:
s
eparate buf_size and strl
e
n into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
pente
r
overflo
w
: use fuzzy_ma
x
t
o
warn about array
o
verflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpente
r
math: fix ge
t
_fu
z
zy_
m
i
n
/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size
:
represent buffer size as a
range list instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
p
e
nter
buf_size: h
a
ndle
p
laces that dy
n
am
i
c
a
lly alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow: introdu
c
e __in_functi
o
n_
d
ef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpenter
extra
,
mat
h
: rework how fuz
z
y max is hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size: handle devm_kmalloc() a
l
locat
i
ons
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Carp
e
nter
kernel
.
i
gno
r
ed_
m
a
c
ros: add RT_
A
SSER
T
and
S
KD_ASSER
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpent
e
r
s
mdb: improve "wh
e
re" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
ranges: intr
o
duce rl_ha
s
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: work
a
round
crashing
bug in
get
_
membe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
loca
l
_val
u
es: pull co
d
e in one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
check_signe
d
: i
g
nore th
i
ng
s
with negati
v
e number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
flow: ignore stru
c
ts and un
i
o
ns
in set_unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
m
o
d
i
fication_hooks: delete a blank l
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse: introduce has_inc_d
e
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
t
y
p
e_va
l
: fix a bui
l
d warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
type_
v
al: actual
l
y run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
sm
a
tch: a coupl
e
crashing bugs
on in
v
a
l
id cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow char to be unsign
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
h
elper: improve is_error_r
e
turn
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
type
_
val: introduce storing struct member l
i
mi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_sourc
e
:
l
o
a
d
w
here data comes from into the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
Carpente
r
.
g
i
tig
n
ore: ignore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
C
a
rpenter
db
:
fixup_kernel
.
sh: say tha
t
we only
hav
e
64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
db
:
preserv
e
unmerged states in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Ca
r
pent
e
r
db: group function pointer return sta
t
es toget
h
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
db: order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan
Car
p
enter
db: fixup_kernel
.
sh
:
ignore timer_list funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db
:
fixup_ke
r
nel
.
sh
:
remove some U
S
ER_D
A
T
A
cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan C
a
rpent
e
r
db: impro
v
e
database d
e
b
u
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h: shi
f
t some
struct members aro
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow: clear_buffe
r
: r
e
v
e
rt pa
r
t of co
m
mit
tha
t
uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpen
t
e
r
fl
o
w:
r
e-w
r
i
te how struct members are initia
l
ized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smat
c
h_clear_buffer: memcpy() should set the d
e
st
i
nati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nter
smatch_clea
r
_buffer:
make a function stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Ca
r
penter
s
m
atch_d
a
t
a/kerne
l
.
c
l
e
a
r
s_argument: re
m
ove mem
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
C
a
rpenter
flow: introduce outsi
d
e_of_function() t
o
fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
D
a
n Car
p
e
n
t
er
db: kernel
:
ig
n
ore i40e_dbg_netdev_ops_w
r
ite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
enter
fl
o
w: set m
e
mb
e
rs to ze
r
o
by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpe
n
ter
db, ext
r
a, use
r
_data:
han
d
le: *x
=
1
;
r
e
t
urn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
u
s
e
r_da
t
a: remove kmemdup
_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
Carpen
t
er
user_dat
a
:
m
ake
a
funct
i
on static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
ent
e
r
container_of: people checkin
g
t
h
e r
e
t
u
rn value of nla_
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helpe
r
: fix crashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
u
ser_dat
a
:
m
ake a fun
c
t
ion
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
an Carpenter
m
a
th:
e
x
port get_cons
t
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
math: handle
bitwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carpent
e
r
math: hand
l
e LEFT_S
H
I
F
T
(
a
<< b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rp
e
n
t
er
math: remove
an impossib
l
e con
d
it
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Da
n
Carpenter
Fix --no-dat
a
so it doesn't spew da
t
abase errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
ent
e
r
e
xtra: fi
x
a crash parsing invalid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
s
i
zeof
:
fix typo in error me
s
s
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Car
p
e
nter
sizeof: compl
a
i
n
if cod
e
does sizeof(
4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Ca
r
p
enter
t
y
pe: let get_real_base_type() take NULL paramete
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan
Carpenter
d
b: r
e
na
m
e
add_
r
e
t
urned_
s
t
ate_callback() =>
a
dd_spli
t
_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
rosenberg
info lea
k
s: check __
c
opy_to_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
r
o
s
en
b
erg i
n
f
o
l
e
aks: use PARAM_CLEARED data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
r
osenberg inf
o
leaks: use stripped data from copy_
t
o
_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
C
arpenter
r
ose
n
b
erg inf
o
leak
s
:
make
c
h
eck
_
m
ember
s
_ini
t
ialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
extra: h
a
n
dle "i
f
(a & 0x1)" conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
f
lo
w
: fake assigns be
t
ter for nested struct
s
and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
h
elpe
r
: get
_
member_
n
ame() could store unions (s
o
r
t
of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
user_d
a
t
a: fix cr
a
shing bu
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
rpenter
math: impro
v
e
h
ow casts are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
Carpe
n
t
e
r
math: intro
d
uce get_absolute_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
ente
r
math: improve h
o
w
bitwi
s
e ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
k
e
rnel data/: update to recent l
i
nux-next
(3
.
11-r
c
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
db:
declar
e
strnle
n
() as returni
n
g "0-s32ma
x
[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
user_data: export is
_
u
s
er_
m
a
c
ro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
user_data
:
mark ntohl(
)
da
t
a as use
r
_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user_data: improve tracking set vs
p
a
ssed in user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpe
n
ter
imp
l
ied:
remove some unu
s
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Carpent
e
r
check_overflow: silence
some
"
no
t
a
l
locating e
n
oug
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
comparison: w
h
ite space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan
C
arp
e
nter
extr
a
:
handle binop
c
omparisons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
D
a
n Carpenter
db
/
fixup_ker
n
el
.
s
h
: filter ->r
e
a
d/wr
i
te() functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Da
n
Carpenter
func
t
ion_ptr: handle sco
p
e of function point
e
rs be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpenter
smatch:
a
dd -
-
debug=check_
n
ame op
t
ion to
debug only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next