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
conditions: use set_extra_expr_mod() to change extra states
2013-04-15
D
a
n
Carpent
e
r
conditions: use s
e
t_ex
t
ra_expr_mod() to
c
hange
extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
user_data: compat syscall
p
aram
e
te
r
s
a
r
e
us
e
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
use
r
_d
a
ta: using a u
s
e
r
s
u
p
plied offset i
n
to an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
locking: add
s
ome more bh
l
ock fun
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge branch 'rf
c
-
at
t
ribute-struct
'
of git
:
//git
.
k
e
r
nel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpent
e
r
check_de
r
e
f
:
disabl
e
"potential N
U
LL derefer
e
nce" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
l
o
ckin
g
: add local_bh_
d
isable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan
C
ar
p
en
t
er
locking:
h
and
l
e
n
ull v
s
non-NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpente
r
l
o
cki
n
g: up
d
ate
v
alida
t
ion/ tests to th
e
new w
a
rning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpen
t
er
function_ptrs: "(*ptr
s
[0])(a,
b
)
" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carpenter
function_ptrs:
r
ecord when funct
i
on
p
ointer i
s
sa
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
ros
e
nber
g
:
remov
e
so
m
e str
u
cts which don't have hole
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg
:
ch
e
c
k
for
nla_put inf
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
flow
:
fake member
a
nd element assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pe
n
ter
expre
s
sions: introduce array_elem
e
n
t
_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
lock
i
ng: take
returns value
s
int
o
conside
r
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
che
c
k
_ker
n
el: look harder for the conta
i
ner_of(
)
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpen
t
er
implied: d
b
:
f
ix how returns are broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
db: r
e
t
u
rn_i
d
was
s
et in
c
o
r
rectly
w
hen inline
function
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Car
p
e
nt
e
r
db: fix how t
h
e r
e
turn value
s
are c
a
sted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
D
an
Carpente
r
hel
p
er: make is_array() accept NULL poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: functi
o
n
_
ptrs:
d
o better at function
p
tr to
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpente
r
flo
w
: create fake assignments
f
or array declarat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flo
w
:
exp
r
essions: don't try updating to uninit
i
alized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Car
p
en
t
er
db: fixup_kernel
.
s
h
: (
s
truct
m
ISD
N
ch
a
nn
e
l)->se
n
d inform
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
d
b
:
fixup_kernel
.
s
h
:
re
c
o
r
d wher
e
->n
o
ti
f
ier_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nter
f
l
ow: handle inlines bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carpent
e
r
db: fu
n
ction_ptrs: t
r
ack poi
n
ter
to pointe
r
a
ssi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
math:
s
ilence
s
om
e
b
uffer overflow false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
penter
db:
f
ixup_kern
e
l
.
sh: ignore (struct timer_lis
t
)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szy
m
on Janc
extra: Fix segmentation
f
a
u
l
t in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
db:
l
oo
k
up all the funct
i
on
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
he
l
per: allow get_param_num_
f
r
om
_
sym() to be used i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
s
t
ring_list: introduce list_has_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
smatch_string
_
list
.
c: separate
s
tring_list fu
n
ctio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only lookup f
u
nction
pointers once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotate: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
helper:
i
gnore pa
r
ens in expr
_
to_v
a
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
overflow: silen
c
e
ker
n
el false positive about __per
_
cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpen
t
er
kernel: re
c
over modu
l
e_ini
t
/
e
xit() functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
flow: pass the sym_list to the END_FILE_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nte
r
d
b
: fix
u
p
_
kern
e
l
.
sh remove some mo
r
e
US
E
R
_
DATA tag
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
db: s
p
ee
d
up fill_
d
b_
c
aller_in
f
o
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
extr
a
: improve += a
n
d -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpente
r
s
v
al: introduce
sval_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpente
r
sval: fix sval_bino
p
_
ove
r
f
lows() to accept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
i
ntr
o
duce smatch_annot
a
te
.
c: annotate
some common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
db: giv
e
up if there ar
e
over 1000 r
e
tu
r
ned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
d
b
:
fix sl
o
w down cau
s
ed
b
y recursiv
e
f
u
n
c
tion
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carpente
r
buf_size: fa
l
s
e
posit
i
ve f
r
om larg
e
"implied" i
m
plie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
C
a
rpente
r
helper: fi
x
expr_to_str() for function call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
db: r
e
move
more
u
ser data from start
_
x
mit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
db: manually
d
elete some USE
R
_DATA
m
ark
e
r
s
fro
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra:
m
o
ve van
i
l
l
a
as
s
igns into their own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
rpenter
ran
g
es: in cast_rl
(
) som
e
ti
m
es it's bett
e
r to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
C
a
rpent
e
r
extra: type bug handling asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db: fix bug
h
andling ':' character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
n
t
e
r
math: Use
fu
n
ction call infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
flow: hand
l
e POS
T
_OPs corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
e
n
t
e
r
b
uf_s
i
z
e: handle dma_alloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carp
e
nter
extra: type b
u
g handling
f
o
r
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
r
penter
math: f
i
x a couple type
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
loc
k
ing: f
i
x
build problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
user_dat
a
: the pointe
r
retu
r
ned from
c
ontainer_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpenter
db: update a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
db:
chang
e
the file s
e
a
r
ched for static functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpenter
flow: f
i
x
a debug
s
t
atement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
flow: save and r
e
store the bi
g
_
e
xpression_stack wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carp
e
nter
condit
i
ons: fix small
s
ignedness
bug
i
n compa
r
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an
C
arpenter
locking:
ignore
pare
n
thesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nt
e
r
st
a
ck:
t
urn o
f
f
by default, an
d
l
ess sp
a
mmy alway
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
signed:
d
on't warn about assign
m
ents to
b
ool
e
an
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
loca
l
_val
u
es: not all
t
h
e
s
e
t values
m
a
k
e
i
t to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
a
rpent
e
r
sizeof_para
m
:
ignore s
t
r
n
c
at(a, b, sizeof
(
b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
kernel: handle __ftrace_bad
_
type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handl
e
find_ne
x
t
_bi
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpenter
d
b
_
info: sav
e
return values in
in-memor
y
databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carpenter
che
c
k_kernel: pres
e
rve E
R
R_
P
TR v
a
lues
pas
s
ed to
IS_ER
R
_
OR_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpe
n
t
e
r
check_kernel: r
e
nam
e
nonnul
l
to
valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n Carpenter
R
e
vert
"
kern
e
l: remove so
m
e unneeded code
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
pente
r
sizeof_param:
fix false pos
i
tives
with strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compa
r
e:
h
andle some ass
i
gnment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: shuffle match_assign
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: only get
the types one time in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
u
n
ction_ptr: move
g
et_
f
nptr_name()
to smatch_func
t
ion_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
db: fixup_
k
ernel
.
sh:
di
s
card caller_info f
r
om
-
>
noti
f
ier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
e
r
db: fixup_kernel
.
s
h: onl
y
track the
ma
i
n
r
e
ad
/
wr
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
user_data: track user data a
c
ross assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
sm
a
tch_capped
:
get_implied_max() does
not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
buf_size: export
get_real_ar
r
ay_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an
C
a
rpen
t
e
r
extra
:
h
a
n
dl
e
MOD
_
ASSIGN b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db: don'
t
prin
t
information caller
i
nformati
o
n
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
u
nction_ptrs:
t
rack pa
r
amete
r
s as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
funct
i
on_p
t
rs: separate
into its ow
n
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Da
n
Carpenter
data: add snpr
i
ntf
t
o
ke
r
nel
.
sizeof_param
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan C
a
rpenter
buf_
s
ize: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpen
t
er
kern
e
l: rem
o
ve so
m
e u
n
needed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Ca
r
p
enter
buf_
s
iz
e
: hand
l
e
e
mpty arrays
on
t
he
e
nd of str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
enter
buf_size: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_values: st
o
re pos
s
ible va
l
ues of static data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next