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
db: always split the return values if we're not using --info
2013-04-15
D
an Carpenter
db: alway
s
split the
return values if we're not us
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
co
n
ditions:
use
s
et
_
extra_expr_mo
d
(
) to
c
hang
e
extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Ca
r
penter
user
_
d
at
a
: co
m
p
at syscall par
a
meters ar
e
user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
us
e
r_data: u
s
ing a user suppl
i
ed o
f
f
set into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
locking: add some
more
b
h lock functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
M
e
r
g
e
br
a
nc
h
'
rfc-attribute-st
r
uct'
o
f
git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
ch
e
ck_deref: dis
a
ble "poten
t
ial NULL derefer
e
nce" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
l
o
cking: add local_bh_disab
l
e/
e
na
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
an Carpenter
locking: ha
n
dle null vs non-NULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
l
o
c
king: update validat
i
on/ tests to
t
he ne
w
warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
function_ptrs
:
"
(
*
ptrs[0])(a, b
)
" i
s
the same as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
pent
e
r
function_ptrs
:
record
w
h
e
n functio
n
pointer is
saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpe
n
ter
rosenberg
:
remove
s
ome str
u
cts wh
i
ch don
'
t have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pent
e
r
rosenber
g
: c
h
eck f
o
r
nla_put info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flow: fake
member and
el
e
m
e
nt assignments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
express
i
ons: introduce array_elem
e
nt_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
lo
c
ki
n
g: take returns valu
e
s into conside
r
at
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nte
r
c
h
eck_
k
e
rnel: look h
a
rder for t
h
e container_of()
m
a
c
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
impl
i
e
d
: db
:
fix how return
s
are
broken apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: return_
i
d
was set incor
r
ectly when
i
nline
f
unct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: fix how
t
h
e
r
etur
n
values
a
r
e
c
asted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Car
p
en
t
e
r
helper: make is_arra
y
() acc
e
pt NU
L
L pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db:
f
unction_ptrs: do b
e
tter at function ptr to f
u
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpente
r
flow: cr
e
ate f
a
ke assignments for arr
a
y
declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpenter
flow
:
express
i
ons: don't
try
u
p
dating to uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
d
b
:
f
i
x
u
p
_
kerne
l
.
sh: (stru
c
t mISDNchann
e
l)->s
e
nd information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_
k
ernel
.
s
h
: record
where
-
>notifier_c
a
ll is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
arpente
r
flow: ha
n
d
le
i
nlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carp
e
nter
db: function_ptrs: track pointer to
point
e
r a
s
sig
n
m
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
math:
silence some b
u
ffer ov
e
rflo
w
f
alse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpe
n
t
er
db: fixup_kernel
.
sh: ign
o
r
e
(struct timer_list)->functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: look up all the fun
c
tion po
i
n
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
helper: allo
w
get_param_num_
f
rom_sym() to b
e
used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
string_
l
ist:
i
n
troduce list_has_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
smatch_
s
trin
g
_list
.
c
:
s
e
parate string_list functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db:
on
l
y lo
o
kup function pointers onc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
a
nnotat
e
: u
s
e it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
helpe
r
: ignore parens
i
n expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pent
e
r
ove
r
flo
w
: silence kern
e
l fals
e
po
s
itive abo
u
t __per_cpu_of
f
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
kernel:
recover module_i
n
it/exit() fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
er
flow: pass the sym_list to
t
h
e END_FILE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
db: fixu
p
_kernel
.
sh
remove some more USER_DATA
t
ags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
d
b: speedup fil
l
_db_calle
r
_
i
nfo
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pente
r
extra: impr
o
ve
+= and -=
handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
sval: introd
u
ce
sval
_
is_negative_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
sval: fix sval_binop
_
o
verflows() to
ac
c
ept diff
e
rent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
intr
o
duce s
m
atch
_
annotate
.
c: annota
t
e some
common f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db: give up if there a
r
e over 1000 returne
d
state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
r
pen
t
e
r
d
b
: fix slow down cau
s
ed by recursive functi
o
n cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n
Carpenter
buf_size: false positive
f
rom large "implied" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carp
e
nter
helper:
fix
e
x
p
r_to_str() for f
u
nction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Ca
r
penter
d
b
: rem
o
ve more user data from sta
r
t_xmi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpenter
db: manual
l
y delete some USER
_
DATA ma
r
k
ers from
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra: move
v
an
i
lla
a
s
signs
i
nto their o
w
n function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
r
anges: in c
a
st_rl() s
o
m
etimes it's better to j
u
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n
Carpent
e
r
extr
a
: type bug
handling asm
e
xpres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db: f
i
x bug hand
l
ing ':
'
cha
r
acter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
math:
U
se fun
c
tion call informa
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
pen
t
er
flow: ha
n
dle POST_O
P
s co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an
Carp
e
nte
r
buf_si
z
e
:
ha
n
dle dm
a
_alloc_attr
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type bug handl
i
ng
for
l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arp
e
n
t
er
math: fix
a
c
o
uple type bu
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
locking: fix build proble
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
u
ser_da
t
a:
t
he point
e
r
r
eturne
d
from conta
i
ner_o
f
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: update a debu
g
m
e
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db
:
change the fi
l
e search
e
d fo
r
static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
flow:
f
ix a debug
st
a
temen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
enter
flow: save and res
t
ore
t
h
e big_
e
xpression_stac
k
wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
en
t
er
condi
t
ions: fix s
m
all sign
e
dness bug in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
l
o
cking
:
ig
n
o
re parenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
C
a
rpenter
stack:
turn off by default, and l
e
ss sp
a
mmy alw
a
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
signed: don't warn about
ass
i
gnments
t
o boolean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
local_va
l
u
e
s
: not all
t
he
set values ma
k
e it to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
size
o
f_param
:
ignore strncat(a, b, sizeof(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpen
t
er
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
f
i
nd_n
e
xt_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpent
e
r
db_info: save return valu
e
s
in in-memory
dat
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
ch
e
ck_kernel: preserve ERR_PTR values passed to IS_ERR_OR_
N
ULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Car
p
enter
check_kernel: re
n
ame nonnu
l
l
to vali
d
_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
nter
Revert "kernel: remo
v
e some unnee
d
ed code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carp
e
nter
s
izeof_
p
aram: fix false positi
v
e
s
with str
l
cpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Car
p
e
nter
compa
r
e: handle
s
om
e
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
e
x
tra: shuffle match_assign a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
ext
r
a: on
l
y get
t
he types one time in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
function_ptr: move get_
f
n
ptr_name
(
) to smatch_function_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Ca
r
p
ent
e
r
db:
fixu
p
_ke
r
nel
.
s
h
: discard ca
l
l
e
r_info f
r
om ->not
i
fier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
arpent
e
r
db: fixup_k
e
rnel
.
sh: only
t
rack
the m
a
in read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_data
:
track user data across assi
g
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Ca
r
penter
smatch_capped: ge
t
_implied_
m
ax() does not
i
m
plie
d
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
buf_size: export get
_
real_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
extra: handle MOD_ASSIGN b
e
tt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
arpe
n
ter
db
:
d
o
n't print information
c
aller in
f
ormation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
arpent
e
r
function_ptrs: track
p
a
rameters as
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Car
p
enter
f
unction_ptr
s
: separate into its own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpe
n
ter
data
:
add sn
p
rintf to k
e
rnel
.
sizeof_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Da
n
Carpen
t
er
buf_size: fix a NULL deref
e
rence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Da
n
Carpenter
kernel: re
m
ove some unn
e
e
ded
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpe
n
ter
buf_size: handle empty arrays on the end of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carp
e
n
ter
buf_
s
i
ze: remove
s
o
m
e dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_values: store possibl
e
val
u
es of static data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next