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
parse: add a big hack to track packed structs
2013-04-17
Dan Carpenter
parse
:
add a big hack
to
track
p
acked structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
*new*
smatch_clear_buffer
.
c: handle
m
emset(
)
t
y
p
e funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
pa
r
am_limit/fil
t
er: igno
r
e whole ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ranges
:
an empty rang
e
is not
a whole
ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
Ca
r
penter
extra
:
remove some d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an
C
a
rpent
e
r
extra
:
small fi
x
for when the d
a
tabase is di
s
abled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
db: alway
s
split
the return values if we're not
using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
p
e
n
ter
cond
i
tion
s
: use s
e
t_e
x
tra_exp
r
_mo
d
() to change extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
u
s
er_data: c
o
mpat
s
y
scall parameters
are user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
C
a
rpenter
use
r
_data: using a user supplied offset into
a
n known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
locki
n
g: add some
more bh
l
ock
f
un
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge br
a
nch 'rf
c
-attr
i
bute-st
r
uct' of gi
t
://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an C
a
rpenter
ch
e
ck_de
r
ef: disabl
e
"potential NUL
L
derefe
r
en
c
e" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Ca
r
pen
t
er
locking: add lo
c
al_bh_
d
isab
l
e/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan C
a
rpente
r
l
ocking: h
a
n
d
le null vs non-NULL ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Ca
r
p
enter
loc
k
ing:
up
d
ate v
a
lidation
/
tes
t
s to
t
he
new warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
function_pt
r
s
:
"(*pt
r
s[
0
])(a, b
)
" is the same as
"pt
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
func
t
ion_ptrs: record
w
hen functi
o
n pointer is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
rosenberg:
r
e
move s
o
me struct
s
which don't have hol
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Ca
r
penter
r
os
e
nberg: check
f
or nl
a
_pu
t
info
l
eak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
fl
o
w: f
a
ke membe
r
and ele
m
ent assignmen
t
s bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpenter
expressions: introduce
a
rr
a
y_
e
lement_expression
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpen
t
er
lockin
g
:
t
ake returns values into consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check_
k
er
n
el: look harde
r
f
o
r the contain
e
r_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
implied
:
db: fix
h
ow
r
eturns
a
r
e brok
e
n apa
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
r
eturn
_
id
was set incorr
e
ctly when inline functi
o
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
db: fix
h
ow the return values are casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
D
an Carpente
r
h
e
l
p
er: make is_array() acc
e
pt NULL poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
r
penter
db
:
function_ptrs: do better
at function ptr to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow:
crea
t
e
f
ake assi
g
nments
for array
d
e
c
larat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpe
n
ter
flow
:
ex
p
ressi
o
ns: don't try upda
t
ing
t
o
uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpent
e
r
db:
fixup_kern
e
l
.
sh: (struct mISDNchannel
)
->send i
n
formation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: fixup_
k
e
rnel
.
sh: record wh
e
re ->noti
f
ier_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
r
penter
flow: handle inline
s
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db:
function
_
ptrs:
t
rack
p
o
inter to pointer
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an
C
arpenter
mat
h
:
si
l
ence some buffer
o
v
erflow
f
alse p
o
s
it
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
db: fixup_kernel
.
sh:
ignore (struct ti
m
er_list
)
-
>
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymo
n
Janc
extra: Fix segmentation
fault i
n
m
atch_a
s
sign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpe
n
t
er
db:
l
ook up al
l
the
fu
n
ction pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rp
e
nt
e
r
helper: allow ge
t
_pa
r
am_num_from_sym() to be
used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
string_list: introduce list
_
has
_
string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
sm
a
t
ch_s
t
ring_lis
t
.
c: s
e
parate string_list function
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 Carpe
n
ter
annotate
:
u
s
e it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: ig
n
ore parens in expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ove
r
f
l
ow: silence
k
ernel
f
alse posit
i
ve a
b
out
_
_per_cpu_o
f
fset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel: recover module_init/exit() fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
en
t
er
flow: pass
t
he sym_
l
i
s
t to
t
he END_FIL
E
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
db: fixu
p
_kernel
.
sh rem
o
ve
s
ome more U
S
ER_DATA t
a
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedup fill_db_caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: improve += and -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
enter
s
v
al: i
n
t
r
oduce
sval_
i
s
_
n
e
ga
t
ive_min
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: f
i
x
sv
a
l_
b
inop_overflo
w
s(
)
t
o
accept
d
if
f
erent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
i
ntro
d
uce
s
matc
h
_annota
t
e
.
c: annota
t
e some common functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
db: give
u
p if there are over 1000 returned states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
db: fix sl
o
w down caused by recursi
v
e function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n
C
arpe
n
ter
bu
f
_
s
i
z
e: fa
l
se pos
i
tive
f
rom large "
i
mp
l
ied
"
i
m
plied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpen
t
er
helpe
r
: fix expr_to_str() for func
t
ion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpent
e
r
d
b: r
e
move more user data fr
o
m start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nte
r
db:
m
anually
delete
some USER_DATA mar
k
ers from t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Car
p
enter
extra: mov
e
v
a
nilla
as
s
igns
i
nto their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ranges: in cas
t
_rl(
)
som
e
t
imes
it'
s
better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
e
xtra: type
bug handling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
db: f
i
x b
u
g h
a
ndling ':' character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpent
e
r
math: Use function call information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
flow: hand
l
e POST_OPs cor
r
ec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
rpe
n
ter
bu
f
_size: handl
e
dma_
a
ll
o
c_attr
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpent
e
r
extra: type bug
handling
f
or
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
math: fix a couple type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
locking: fix
build prob
l
em
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
use
r
_data: t
h
e po
i
nter returned fr
o
m
c
o
nta
i
ner_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
db: update a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
db: change the fil
e
searched fo
r
static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
Carpenter
flow: fix a de
b
u
g
stat
e
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
f
l
ow: save and restore the big_expressio
n
_s
t
ack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpenter
condi
t
ion
s
: fix small sig
n
edness bug
i
n compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: igno
r
e parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
stack: tur
n
off by
d
efault, and
less spammy
a
l
wa
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
signed: don't warn about a
s
s
ig
n
ments to boolea
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
l
ocal_values
:
no
t
all th
e
set values
m
ake it to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
a
rpenter
sizeof
_
param: i
g
nore strncat
(
a, b, sizeof(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
kern
e
l
:
ha
n
d
l
e
__ftr
a
ce_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Car
p
enter
k
ernel
:
handle find_nex
t
_
b
it()
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 values in in-m
e
mory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n
Carpenter
check_kernel: preserve ERR_PTR val
u
es passed to
I
S_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Carpe
n
t
e
r
che
c
k_kern
e
l:
renam
e
nonnull to
v
alid_
p
tr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
er
Reve
r
t "k
e
rne
l
: remove some
unneeded code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Car
p
enter
sizeof_param: fix f
a
lse
posi
t
ives with strlcpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carp
e
nter
c
o
mpare:
handle some assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
n
ter
extra: sh
u
ffle match_assi
g
n
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
extra: onl
y
get the types one tim
e
in m
a
tch_
a
ssi
g
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
functi
o
n_ptr:
m
ove get_fnptr_name
(
) to smatch_function_
p
tr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
arpenter
db: fi
x
up_kernel
.
sh: di
s
c
ard caller_info
f
rom ->notifier
_
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Car
p
en
t
er
db: f
i
xup_k
e
rnel
.
sh: only
t
ra
c
k
the mai
n
read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
user_data: tra
c
k user data across ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
e
r
s
m
at
c
h_capp
e
d: get
_
impli
e
d_max() does no
t
im
p
lied capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
b
u
f_size: export get_re
a
l_array
_
size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Car
p
enter
extra: handl
e
MOD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Ca
r
pente
r
db: don't
p
r
i
nt inf
o
rmation call
e
r information for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
f
u
nct
i
on_
p
trs: t
r
ack pa
r
ameters as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next