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
rosenberg: remove pahole dependency
2013-04-17
Dan Carp
e
nter
rosenbe
r
g: re
m
ove pahole dep
e
ndency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
p
a
rs
e
: add a b
i
g hack to track p
a
c
k
e
d structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
a
rpenter
*
n
ew* smatch_clear
_
buffer
.
c: h
a
n
dle
memset() type funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param
_
limit/fil
t
e
r: ignore whole
r
a
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carp
e
nter
ranges: an empt
y
r
ange is not
a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carp
e
nter
extr
a
: r
e
m
ove some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: small fix for wh
e
n the
database
i
s disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db: always
s
plit the return valu
e
s if we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
pente
r
conditions: use
s
et_extra_e
x
pr_
m
od()
t
o change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
nter
u
s
er_data
:
compat sysca
l
l parameters are user dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
u
ser_data: usi
n
g
a
user
supplied o
f
fset into an k
n
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
locking: a
d
d some mor
e
bh lock
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
D
a
n
Carpenter
Merge
b
ranch 'rfc-at
t
ribut
e
-struc
t
' of git
:
//
g
it
.
k
e
rne
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carpent
e
r
check_deref
:
disable "potential NU
L
L
d
ereference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
an Carpenter
locking: add local
_
bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan C
a
rpenter
lo
c
k
i
ng: handle n
u
ll vs no
n
-
N
ULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
l
o
cking: update validation/ tests to th
e
n
e
w warn
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
f
unction_pt
r
s: "(*ptrs[0])(a, b)
"
is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function
_
p
t
r
s: record
w
h
e
n
functi
o
n poi
n
ter is
saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpente
r
rosenberg: re
m
ove some structs
w
hi
c
h don't have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
rosenbe
r
g
:
check for
n
l
a
_put info leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
flow: fake m
e
m
b
er and e
l
emen
t
assignment
s
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
expression
s
: introduc
e
array_element_
e
xpressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpe
n
t
e
r
lo
c
k
ing: take
re
t
urns
value
s
into c
o
nsideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
check_kerne
l
: look harder for t
h
e container_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
t
er
i
m
pl
i
ed: db: fix
how returns are broken a
p
art
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Car
p
enter
db: return_id was set incorrectly when inline
f
u
n
c
ti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
d
b: fix how the retur
n
values
are casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
h
e
l
p
er: ma
k
e is_array() acc
e
pt NULL
p
oint
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
db:
f
un
c
tio
n
_ptr
s
:
d
o b
e
tter at
function
ptr to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
rpente
r
flow:
create f
a
ke a
s
signments for array declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: ex
p
ressions: don't t
r
y updating to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh: (struct
m
ISDNchann
e
l)->se
n
d informa
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
db: fixup_
k
ernel
.
sh: record
w
h
ere ->notifier
_
c
all is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carpenter
flow
:
handle
inline
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
rpent
e
r
db
:
fun
c
tion_ptrs: trac
k
p
o
inter to pointer assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpente
r
math: silen
c
e som
e
buffer
o
verfl
o
w
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fixup_
k
ernel
.
sh: ign
o
re (struct
t
imer_list)->functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
db:
l
ook up all
the f
u
nctio
n
poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: al
l
ow get_param_
n
um_f
r
om_sy
m
() to be used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
string_
l
ist
:
intro
d
uce list_has_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
smatch_string_list
.
c: s
e
parate strin
g
_list functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
db
:
o
n
ly lookup
functi
o
n pointers o
n
c
e
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
Da
n
Carpenter
helper: ignor
e
p
arens i
n
exp
r
_t
o
_
v
a
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Car
p
e
nte
r
o
verflow:
s
ilence
k
ernel
f
a
l
se po
s
i
t
ive abo
u
t __per
_
cp
u
_offse
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carp
e
n
ter
kernel:
r
ecover module_init
/
ex
i
t
(
) functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pass the sym
_
list
to the
E
ND_F
I
LE
_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pe
n
t
er
db
:
fixup_
k
e
r
n
e
l
.
sh remov
e
some more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
db: spee
d
up fill_db_call
e
r
_
info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: i
m
pr
o
ve += an
d
-=
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: introd
u
ce sval_is_negative_min(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
sv
a
l: fix sva
l
_binop_overflows()
t
o
accept di
f
ferent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
enter
in
t
roduce smatch
_
a
n
n
o
tate
.
c:
a
nnotate
some common function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: gi
v
e up
i
f the
r
e are over
1
0
0
0
r
e
turned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Car
p
enter
db:
fix slo
w
dow
n
c
a
used b
y
recurs
i
v
e
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
b
u
f_siz
e
: false po
s
itive from lar
g
e "implied"
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
penter
helper: fix expr
_
to_str() for functi
o
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db:
r
e
move
mo
r
e user data from start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpenter
db:
m
a
n
ually
d
e
l
ete some USER_
D
A
T
A
markers
f
r
om the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra
:
move van
i
lla assigns into the
i
r own functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
ranges: in cast_rl
(
)
s
ometimes it's bette
r
to
just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type
b
ug handling a
s
m exp
r
essio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carp
e
nter
db: f
i
x bug h
a
n
dling
':' character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
ma
t
h:
Us
e
function call information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
en
t
er
flo
w
: handl
e
POST_O
P
s corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
buf_s
i
ze: han
d
le
d
ma_
a
ll
o
c
_attrs
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type b
u
g
handli
n
g f
o
r loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: fix a c
o
upl
e
type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
lock
i
n
g:
fix build p
r
oblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user
_
data: t
h
e
p
ointer ret
u
rn
e
d fro
m
container_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
Carpenter
db:
u
p
date a debug messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
db: change the file searched for static
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
C
arpenter
f
low: fix a debug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpent
e
r
flow: save and
r
estor
e
the big_expressi
o
n_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
condi
t
io
n
s: f
i
x
small
signedness bug in comp
a
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpe
n
ter
l
o
c
k
ing:
ig
n
ore
p
a
r
enthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
stack: turn off b
y
de
f
ault,
and
less spammy
a
lways
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
si
g
ned: don't warn
a
bout assig
n
ments
to boolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
local_values: not a
l
l
the set
value
s
make it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sizeo
f
_param
:
ignore strncat(a, b, size
o
f(b))
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle __
f
trace_bad_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
kernel: handle find
_
next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
d
b
_
info:
save re
t
urn valu
e
s
in
i
n-mem
o
ry
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
c
heck_kernel: preserve ER
R
_
P
T
R values passe
d
to IS_ER
R
_OR_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n
Carpenter
check_kernel: ren
a
me nonnull to valid_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carpenter
R
evert
"
kernel: remove s
o
me unneeded co
d
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
s
i
zeof_param:
fix
f
alse p
o
siti
v
es
wi
t
h strlc
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
D
a
n Carpent
e
r
comp
a
re
:
handle som
e
assign
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
extra: s
h
u
ff
l
e 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
o
ne time in matc
h
_
a
ssign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
f
u
nction_
p
tr: mo
v
e
get
_
fnp
t
r
_
name() to sma
t
ch_function_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
db: fix
u
p_ke
r
nel
.
s
h
: discard caller_info from ->notifier
_
cal
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
db: fixup_kernel
.
s
h
: only track
t
h
e main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
u
s
er_data: track use
r
data across assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carp
e
nter
smatch_capped: get_implied_max() does not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
buf_size: export get_real_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
extra: h
a
n
d
le MOD
_
ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't prin
t
informati
o
n caller inform
a
t
i
o
n for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an
Carpenter
f
unction_ptrs:
track p
a
rameters as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next