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
D
a
n C
a
rpenter
rosenberg: remove pahol
e
dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
te
r
pars
e
:
ad
d
a
big hack to
track p
a
cked structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*new* smatch_clear_
b
uffer
.
c: ha
n
dle memset() type fu
n
ct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpent
e
r
p
a
ram_limit/filt
e
r
:
ignore whole ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
ranges: an
e
mpty
r
ange is not a whol
e
rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpent
e
r
extra
:
remove so
m
e de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
extr
a
: small
fix for
w
hen t
h
e database is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpen
t
er
db
:
always split
t
he return val
u
es if we'
r
e not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
conditions: use set
_
extra_
e
xpr_m
o
d
() t
o
c
h
ange extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: compat syscall
parameters a
r
e
u
s
er data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
user_data
:
using a user
sup
p
lied offset into a
n
k
n
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carp
e
nte
r
locking:
add so
m
e more bh lock fu
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
a
rpenter
Me
r
ge br
a
nc
h
'r
f
c-attr
i
bute-struct' of
git://gi
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an Ca
r
pen
t
e
r
c
heck_deref: disa
b
le "potential NULL dereference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
a
n Carpente
r
locking: a
d
d local_bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Carpe
n
ter
l
ocking: handle
n
ull
v
s
n
on-NUL
L
r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
locking: update val
i
dation
/
tests to
the new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
fu
n
ct
i
on
_
p
trs: "
(
*ptrs[0])(a
,
b)"
i
s the same
a
s "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
function_ptrs: record wh
e
n
function pointer is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
rosenb
e
rg: remo
v
e some
s
tructs
wh
i
ch d
o
n't hav
e
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carpent
e
r
rosen
b
erg: ch
e
ck
f
or nla
_
put in
f
o
l
e
aks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
flow
:
fake member and element assignments
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pen
t
er
ex
p
ressions
:
introduce
array_element_
e
x
p
ression(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
lo
c
king: take retu
r
ns value
s
into c
o
nsideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
e
nter
check_kern
e
l: look har
d
er f
o
r
the container_of
(
) macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carp
e
n
ter
i
m
plie
d
: db:
f
ix how re
t
urns are broken
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpenter
db: retu
r
n_id was s
e
t
i
ncorre
c
tly when inli
n
e fun
c
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rp
e
n
t
e
r
db: fix ho
w
the
r
eturn values are ca
s
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper: make
is_array() acc
e
pt NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
db: function_ptrs
:
do better at functio
n
ptr to functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
flow:
c
reate fake a
s
s
i
gnments for arr
a
y d
e
claratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
flow: expressions: do
n
'
t
try updating to uninitializ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nt
e
r
db: fixu
p
_kernel
.
sh: (s
t
ruct mI
S
DN
c
hannel)->sen
d
information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Car
p
enter
d
b: fixu
p
_kerne
l
.
sh: recor
d
where ->not
i
fi
e
r_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
flow: handle
inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
db:
f
un
c
tion_pt
r
s: track pointer to
p
oi
n
ter assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n C
a
r
penter
mat
h
:
s
ilen
c
e some buffe
r
o
v
erf
l
ow false
p
o
s
i
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db:
fixup_kernel
.
sh: ignor
e
(struct timer
_
l
i
st)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
S
z
ymon Ja
n
c
extra: Fix segmentation fault in
match_ass
i
gn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
: look up all th
e
function
p
oint
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
helper: allow get_param_nu
m
_from_sy
m
() to be us
e
d in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
string
_
li
s
t: in
t
roduce list_has
_
strin
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
arpenter
s
match_s
t
rin
g
_
l
i
s
t
.
c: separat
e
string_l
i
st functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only l
o
o
k
up function poi
n
ters
o
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
annotate
:
use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helpe
r
: i
g
nore pa
r
en
s
in
expr
_
t
o
_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overflow: si
l
ence kern
e
l false
p
ositive about __per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Ca
r
penter
k
e
rnel: recov
e
r module_init/exit
(
)
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
flow: p
a
ss t
h
e sym_li
s
t to th
e
END_
F
ILE_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
ter
db:
fi
x
up_ke
r
nel
.
sh
r
emove so
m
e more USER_
D
A
T
A
t
ags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
d
b
: speedup fill_
d
b_calle
r
_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
extra: improve += and -
=
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
v
a
l
: i
n
troduce
sval_i
s
_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
val: fi
x
s
v
al_binop_o
v
erf
l
o
w
s()
t
o
ac
c
ept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
introduce sma
t
c
h_annotate
.
c: annotate so
m
e common fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpe
n
ter
db: give up if there are over 1000
r
etu
r
ned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
db: fix slo
w
down caused by recu
r
sive func
t
ion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size: false positive
f
rom lar
g
e
"
implied
"
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpenter
he
l
per: f
i
x expr_to_str() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
penter
db: remove m
o
re user
da
t
a from star
t
_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
db: m
a
nually
delete some USER_DATA marker
s
f
r
om th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Ca
r
penter
extra: move vanilla a
s
signs into
t
h
e
ir own f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpent
e
r
r
ang
e
s: in
c
a
st_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
Dan Carpenter
ex
t
r
a: type bug
han
d
l
i
ng asm expres
s
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n C
a
rpe
n
ter
d
b
: fix bug handl
i
n
g
':'
c
haracter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Ca
r
pent
e
r
math: Use function c
a
ll in
f
ormat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
fl
o
w: h
a
ndle POST_
O
Ps c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
buf_si
z
e: handle dma_alloc_attrs(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nt
e
r
extr
a
: type bug
h
andling for
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
math: fix a couple type b
u
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Car
p
enter
locking:
fix build
p
r
o
blem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Ca
r
penter
u
s
e
r
_da
t
a: the
p
oin
t
er returned from
containe
r
_o
f
(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arp
e
nter
db
:
u
pdate a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
db:
c
hange the
file searched f
o
r static
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow:
f
ix a
debug statemen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n Carpenter
f
low: save and restore the big_expression_st
a
ck when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpe
n
ter
c
o
n
ditions: fix
s
m
a
ll signedness bug in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpen
t
er
locking: ign
o
re parenth
e
sis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
stack: turn off by default,
a
nd less spammy always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
r
p
e
nter
signed: don'
t
warn about
a
ss
i
gnm
e
nts to boolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
local_v
a
lues: not all the set
values make it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
size
o
f_param: ign
o
r
e st
r
ncat(a, b, si
z
eof(
b
));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpent
e
r
kern
e
l: handle __ftrace_bad_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
kernel: handle find_next_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
ter
d
b_info: save r
e
turn
v
alues in in-memory databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpe
n
ter
check_kernel
:
pres
e
rve ERR_
P
T
R
values passed to IS_ERR_O
R
_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
arpenter
check_k
e
rnel: rename nonnull
t
o
va
l
id_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
r
p
enter
Revert "kernel: remove s
o
me
unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
sizeof_para
m
: fix f
a
lse positives with
strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
D
an Carpenter
compare: handle some assig
n
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nter
extra: sh
u
ffle match_assign
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
e
x
tra:
only get
the types one
t
ime in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
f
unct
i
on_ptr: move
get_fnptr_name
(
) to
s
mat
c
h_functio
n
_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
ent
e
r
db:
f
ixup_kernel
.
sh:
d
iscard
c
a
l
l
er_info from
->notifier_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
db
:
fixup_kernel
.
sh: on
l
y track
t
he main read/w
r
ite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Car
p
en
t
e
r
user_data:
track user data across assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
a
rpent
e
r
sm
a
tch_capped: get
_
imp
l
ied
_
max() does no
t
implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
buf_size: export get
_
re
a
l_a
r
ray_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
enter
ext
r
a: handle
M
OD_ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carp
e
nter
db: don't print in
f
orm
a
t
i
on caller informatio
n
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next