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
introduce: smatch_data/kernel.no_inline_functions
2013-12-19
Dan Carpenter
introdu
c
e: smatch
_
data/kernel
.
no
_
inline_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
D
an Carpent
e
r
*new*
ad
d
smatch_dat
a
/kernel
.
silenced_functions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n Carpenter
common_fun
c
tio
n
s
.
c: handle strlen() and st
r
n
l
e
n
(
)
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
Carp
e
nter
access_ok_math:
restrict
t
his check to
-
-sp
a
mmy out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
enter
*new*
c
h
ec
k
_
c
ast_assign
.
c: check casting a
smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpente
r
check_debug: f
i
x crashing
bu
g
o
n
printing non-exist
a
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Da
n
Carpenter
b
uf_size: buffer all
o
c
a
tio
n
s in t
h
e sa
m
e file
are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
a
rp
e
nter
buf_s
i
ze:
i
g
nore unk
n
own array sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
C
arpenter
strlen: record string lengths across fu
n
c
t
ion
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Car
p
enter
s
trlen: record assigned strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
enter
s
trlen: add a comment and rename some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpente
r
str
l
en:
handle string liter
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
debug: i
n
trod
u
ce __s
m
a
t
ch_
s
trlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
s
t
r
len: int
r
oduce g
e
t_implied_s
t
rlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: revert accidentally commi
t
ted
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Ca
r
pent
e
r
buf_siz
e
:
r
ead a ra
n
ge_list from the da
t
aba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpen
t
er
bu
f
_
s
i
ze: store t
y
pe_size in tw
o
tables t
h
e same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
buf_
s
ize: make size_from_db()
wor
k
again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
b
uf_
s
ize,
s
t
rlen
:
separate buf_size and st
r
len into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use f
u
zzy_
m
ax to warn about
array
o
v
e
r
f
l
ows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
math: fix
get_
f
uzzy_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
b
uf_
s
ize: represen
t
buf
f
er size as a
rang
e
list
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
a
rpente
r
buf_si
z
e: handle pl
a
ces that dynami
c
ally alocate someti
m
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Carpenter
flow: introduce
_
_
i
n
_functio
n
_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
extra, m
a
t
h
: rewor
k
h
o
w
f
u
zzy max
i
s
ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
buf_size: h
a
n
d
le d
e
vm_kmalloc() alloca
t
io
n
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
k
ernel
.
ig
n
ore
d
_macros: add R
T
_
A
S
S
ERT an
d
SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
smdb: impro
v
e "whe
r
e
" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Ca
r
pe
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
C
a
r
p
enter
helper: wor
k
around
cr
a
shing bug in get_
m
ember
_
name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
l
ocal_va
l
ues:
p
ul
l
code in one inde
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an Ca
r
pe
n
ter
check_s
i
gned:
i
g
n
ore things w
i
th negative numb
e
r
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
rpent
e
r
flow: ig
n
ore s
t
ructs and
u
nions i
n
s
et_unse
t
_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
m
od
i
fication_hooks: d
e
l
e
te a blank
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpen
t
er
recur
s
e: introduce
has
_
inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
type_val: fix a bu
i
ld warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
type_val: ac
t
uall
y
run the co
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpe
n
ter
smatch:
a couple
c
rash
i
ng bugs on inval
i
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
a
r
p
en
t
er
al
l
o
w c
h
ar to be uns
i
g
ne
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helpe
r
: improve is_error_ret
u
r
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
type_v
a
l: i
n
troduc
e
storing struct memb
e
r lim
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
data_source: load where data
come
s
from into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
gitignore: ignor
e
bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
db: fixu
p
_kern
e
l
.
sh
:
sa
y
that we only have 64
CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
d
b
: preserve unmerged st
a
tes
i
n the ->possible better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
a
rpenter
db: group func
t
io
n
pointer return states
t
o
gether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpent
e
r
db:
o
rd
e
r
the retu
r
n
_s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
C
a
rpenter
db: fixup_kernel
.
sh: igno
r
e
t
i
mer_li
s
t
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db: fixup_ke
r
n
el
.
sh: remove some U
S
ER_DATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: improve database deb
u
gging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpen
t
er
smatc
h
.
h: shift s
o
me struc
t
members ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow: cl
e
ar_buf
f
e
r
: r
e
vert part
o
f commi
t
that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flo
w
: re-write how
struct membe
r
s are init
i
alize
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpen
t
er
smatch_clear_buffer: memcpy() sh
o
u
ld set
t
he d
e
sti
n
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
C
arpente
r
smatch_c
l
ea
r
_buffer: mak
e
a function s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
smatch_dat
a
/kernel
.
cl
e
ar
s
_a
r
gument: remove
memset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpent
e
r
flow: introduce outside_of
_
function(
)
to fix glo
b
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel:
i
gnore
i40e_dbg_
n
etd
e
v_ops
_
write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
flow: set members to ze
r
o by defaul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
db, extra,
use
r
_d
a
ta:
h
and
l
e: *x = 1; r
e
turn x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carp
e
nter
user_data: re
m
ove kmemdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_dat
a
:
m
a
ke a
function sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
container_of:
p
eople chec
k
ing the return value of nla_dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
an
C
arpenter
helper:
f
i
x cra
s
hing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpen
t
er
user_da
t
a:
make a function s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
r
penter
math: ex
p
ort get_
c
on
s
t
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
an Carpenter
m
a
th: hand
l
e bitwise
O
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
enter
ma
t
h: ha
n
d
l
e LEFT_SHIFT (a << b
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpe
n
ter
mat
h
: remove an impossible con
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix --no-data so it doesn
'
t spe
w
database er
r
ors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra: fix a cr
a
sh
parsin
g
in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
si
z
eof: fix typo in error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
siz
e
o
f
:
complain if cod
e
d
oes
s
izeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carp
e
nter
type: le
t
get_
r
e
al_ba
s
e_type() take N
U
LL parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Da
n
Ca
r
penter
db: rename add_returned_state_callbac
k
() => add_split_r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
r
osenberg
i
nfo
leak
s
: chec
k
__copy
_
to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
an Carpenter
rosenbe
r
g info leak
s
: use PAR
A
M_C
L
EARE
D
d
ata fr
o
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
rose
n
b
e
rg info lea
k
s: use str
i
pped data from
cop
y
_to
_
u
ser(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
rosenberg i
n
fo lea
k
s: m
a
ke check_member
s
_
ini
t
i
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra:
h
andle "if (
a
&
0x1)" conditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
fl
o
w: fa
k
e assigns better for
n
ested structs and array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
hel
p
er: get_member_name() could store unions (s
o
r
t of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_da
t
a
:
fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
math: improve how casts
a
r
e handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpen
t
e
r
math: introduce get_absolu
t
e_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
math:
improve how bi
t
wise
ANDs are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
e
r
k
ernel data/: update to recent l
i
nux-next (3
.
1
1
-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
db
:
d
eclare strnlen() a
s
returning "0-s32max[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
us
e
r_data: export is_user_mac
r
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
user_data: mark ntohl() data as
u
ser_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
u
s
er_data: improve track
i
ng se
t
vs passed
i
n user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Da
n
Carpenter
imp
l
ied: rem
o
v
e some unused co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan Carpenter
check_overflow
:
silen
c
e some "not alloc
a
ting
enough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan
Carp
e
nter
c
omparison: white spa
c
e cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
extra: handle bino
p
c
o
mparisons better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Ca
r
p
enter
db/fixup_k
e
rn
e
l
.
s
h
: fi
l
ter -
>
read/write()
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Carpenter
function_p
t
r
:
handl
e
scope of fu
n
ction pointers bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpenter
smatch:
a
dd --debu
g
=check_na
m
e option to de
b
ug only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Ca
r
p
enter
comparison: fix
breakag
e
c
aused by
m
ovin
g
t
o
va
r
_s
y
m_list
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Car
p
en
t
er
compa
r
ison: cleanup first_sym() an
d
rename to vsl_to_
s
y
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next