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
smdb.py: improvements to `smdb.py buf_size` and `smdb.py where`
2013-12-20
D
an
C
arpent
e
r
smdb
.
py: improvements
t
o `smdb
.
py buf
_
siz
e
` and `
s
mdb
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpente
r
fl
o
w: hide a bunch of th
e
un
r
eachable warnings under
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan
C
arpenter
kernel
.
s
i
lenced_functi
o
ns:
a
dd some more "as
m
g
o
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
extra: assume
i
ndexe
s
are in bounds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
flow: fix struct initia
l
ization
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*new* check_array
_
condition
.
c: ar
r
ays can't be
NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
b
uf_size: store
r
an
g
es in the dat
a
base in
s
t
e
ad of sing
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
strle
n
: remove some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Carp
e
nter
unreac
h
a
b
le code: don'
t
warn about unr
e
ach
a
ble break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreach
a
ble code
:
don't war
n
ab
o
ut empt
y
sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
debug:
i
ntroduce
_
_smatch_buf_size_rl()
which is more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
d
e
b
u
g: add __smatch_memb
e
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
k
ernel,
d
b: add hweight() functions to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
k
e
rnel, d
b
: con
s
ider x = ht
o
nl(10)
a
nd x
=
10 eq
u
i
valent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpente
r
introd
u
ce: smatch
_
data
/
kernel
.
no_inline_
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carpen
t
er
*new* add
s
match_data/kernel
.
sil
e
nced_function
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
common_functions
.
c: handle strlen()
a
nd strnlen()
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan
C
ar
p
enter
access_ok_math:
r
e
s
t
r
ict th
i
s
check t
o
--spammy out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*
new*
ch
e
c
k
_c
a
st_assign
.
c
:
check c
a
sti
n
g a smal
l
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Da
n
Carpen
t
er
check_debug: fix c
r
ashing bug on p
r
inting
n
on-existant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Ca
r
penter
buf_
s
iz
e
: buff
e
r
a
llocatio
n
s in the same file
a
re
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
nter
buf
_
size:
i
gnore unknown array
sizes better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Carpent
e
r
strlen: re
c
or
d
s
t
ri
n
g leng
t
hs
across functio
n
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: record assign
e
d strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
strlen
:
add a c
o
m
m
ent and rename some t
h
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpent
e
r
strlen
:
handle string literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: introduc
e
__
s
match
_
s
trlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
s
trl
e
n: introduce get_i
m
plied_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpe
n
ter
math: revert a
c
c
identally committed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
buf_size:
r
e
a
d a ra
n
g
e
_lis
t
from the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpen
t
e
r
buf_size: store
t
ype_
s
ize in two t
a
bles the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
te
r
buf_size: mak
e
size_from
_
d
b() wo
r
k
aga
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
e
nter
buf_s
i
ze, str
l
en: se
p
a
r
ate buf_
s
ize an
d
strlen
i
nt
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
overflow:
u
se fuzzy_
m
ax to warn abou
t
arra
y
overflow
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
m
a
t
h: fix get_fuzzy
_
min/
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_si
z
e: r
e
present buffer
size as a
range list
i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an C
a
r
p
enter
buf_size: hand
l
e places that dyn
a
mically aloca
t
e sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
C
a
rpen
t
er
flow
:
introduce __in_fu
n
ct
i
on_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpente
r
ext
r
a, math: rework
how fu
z
zy max is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carp
e
nter
buf
_
size: handle devm_k
m
a
l
l
oc() allocation
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
kernel
.
ignored_macros: add RT_ASS
E
R
T and
SK
D
_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
smdb: im
p
r
o
ve
"
where
"
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
ranges: i
n
troduce rl_has_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Car
p
ent
e
r
helper: work aroun
d
cr
a
sh
i
n
g
b
u
g in ge
t
_mem
b
er_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
an
C
arpenter
local
_
values: pull code in
one
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Car
p
enter
check_s
i
gn
e
d: ignore things wi
t
h
n
egative nu
m
ber
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
fl
o
w: ignore str
u
cts and un
i
ons in set_unset
_
to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
en
t
er
modification_hoo
k
s:
d
e
l
ete a blank
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
e
r
recurse: introduce has_inc
_
dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_va
l
: f
i
x a bui
l
d w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
typ
e
_va
l
:
actually
r
un the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch: a c
o
uple
c
rashin
g
bugs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow ch
a
r to
be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
h
elper:
i
mpro
v
e is_error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
t
ype_val:
i
ntroduce storing
s
truct mem
b
er limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
d
ata_source: load whe
r
e
d
ata comes from into the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
.
gitignore:
i
gnore bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpen
t
e
r
d
b:
f
ixup_kernel
.
sh:
s
ay that we o
n
ly
h
a
v
e 64
C
PUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Ca
r
penter
db: prese
r
v
e
unm
e
rge
d
states i
n
th
e
->possi
b
le better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group function pointer return st
a
te
s
tog
e
ther
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
an Car
p
en
t
er
db: f
i
xup_k
e
rne
l
.
sh: ignor
e
ti
m
er_list
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Car
p
en
t
e
r
db
:
fixup_kernel
.
sh: remo
v
e some USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Ca
r
penter
db: improve
database
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
smatch
.
h:
shift some struct mem
b
ers a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan C
a
rpenter
f
l
ow:
c
lea
r
_buf
f
er: rever
t
p
a
rt of c
o
m
m
it t
h
at uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpen
t
e
r
flow: re-write how struct me
m
bers are
i
niti
a
lized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_clear_buffer:
m
emcp
y
() sh
o
u
ld set
t
he destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
a
rpenter
smat
c
h_
c
lear_buffer: make a f
u
nctio
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
smatch_d
a
ta/kernel
.
cl
e
ars_argument
:
remove memse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
D
a
n C
a
rpen
t
er
flow: introduce o
u
tside_of
_
f
unctio
n
()
t
o fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Da
n
C
a
rpenter
db: ker
n
el: ig
n
or
e
i40e_db
g
_netdev_op
s
_wri
t
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Car
p
e
nter
f
l
ow
:
set members to zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n C
a
rpenter
db, extra, us
e
r_data:
h
andle: *x
= 1; retur
n
x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpente
r
use
r
_
d
ata:
r
e
m
ove kmemdup_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpente
r
user_
d
ata: make a functio
n
s
tati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
penter
cont
a
iner_
o
f: people checking the re
t
urn value of nla_dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpe
n
ter
helper: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan
C
arpenter
user_data
:
mak
e
a function
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpe
n
t
e
r
math:
export
g
e
t_con
s
t_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carp
e
n
t
er
math:
h
a
ndle b
i
twise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
th: handle L
E
F
T_SHIFT
(
a
<
<
b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: remove an impossib
l
e c
o
nd
i
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Ca
r
pen
t
er
F
ix --no-dat
a
so it doesn't s
p
ew
database
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
arp
e
nter
extra: fix a
c
rash parsi
n
g invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpen
t
er
s
i
zeof: fix typo in
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: complain if code does sizeof(4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
C
arpen
t
e
r
t
y
pe: le
t
get_real_b
a
se_t
y
pe() take NULL parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Ca
r
p
e
nter
d
b
: renam
e
ad
d
_returne
d
_s
t
ate_callback() => add_
s
plit_retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info
l
eaks
:
ch
e
ck __copy_t
o
_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carp
e
n
t
er
rosenber
g
info leaks: use
PAR
A
M_CLEARED da
t
a from
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Ca
r
pente
r
r
o
senberg in
f
o l
e
aks: use stripped data
from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an
Carpenter
rosenberg info
l
eaks:
m
ake chec
k
_members_ini
t
ialize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
r
penter
ext
r
a: ha
n
dle "
i
f (a & 0x
1
)" condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
flow: fake assigns better for
neste
d
structs and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
help
e
r: get_membe
r
_name() could
s
to
r
e unio
n
s (s
o
rt of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: fix crashing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpen
t
er
math: i
m
prove how casts are h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan 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
Carpenter
math: improve how bitwise ANDs are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next