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
Da
n
Carpenter
condi
t
ion
s
: use set_
e
xtra_expr_mod() to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
u
ser_data: compat syscall parameters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpent
e
r
use
r
_data: using a
u
ser supplied off
s
et into an kno
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
te
r
locking: add s
o
me more bh lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Da
n
Carpenter
Merge branch 'rfc-attrib
u
te-struct' of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n
Car
p
en
t
er
chec
k
_deref: d
i
sable "potential NULL derefere
n
ce" b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
a
n Carpe
n
ter
l
ocking:
a
dd loca
l
_
b
h_disable/
e
nable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan C
a
rpenter
lock
i
n
g
:
h
andle
null v
s
non-NULL
retu
r
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
lo
c
king: update validation/ tests to th
e
new
warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
e
r
function_ptrs: "(*ptrs[0])(
a
,
b)" is t
h
e same
as "p
t
rs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: rec
o
rd when
f
unction poi
n
ter is s
a
ved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
r
p
e
nter
rosenb
e
rg: remove som
e
s
tructs which don't have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
rosen
b
erg: check
for nl
a
_put inf
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpen
t
er
flow
:
fake m
e
m
ber
a
nd e
l
ement a
s
signments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
expressions: int
r
od
u
ce array_elem
e
nt_e
x
p
ression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
locking: t
a
ke returns values into cons
i
d
eration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
check_kernel: look har
d
e
r
f
or
the container_of(
)
macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
implied: db: fix how returns
a
r
e broken apar
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
db: return_id was set in
c
orrec
t
ly when inli
n
e functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: f
i
x how the return va
l
u
es are cast
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan
C
arpe
n
ter
helper:
ma
k
e is_array() ac
c
ept
N
ULL
p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: func
t
ion_ptr
s
: do bet
t
e
r
a
t function ptr to f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Car
p
enter
flow: cr
e
ate fake assignments for
a
rray de
c
larati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: expre
s
sions: d
o
n't
t
ry
updating to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_
k
ernel
.
sh:
(struct mISDNchan
n
el)->send infor
m
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh: rec
o
r
d
where -
>
notifier_call
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
ar
p
enter
flow: hand
l
e
i
nl
i
nes bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
db:
func
t
ion_ptrs: track po
i
nter
to pointer a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpe
n
ter
math:
silence some buffer overflow false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpent
e
r
db: fixup_kernel
.
sh
:
i
g
nore
(struct timer_
l
ist)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
d
b: look
u
p a
l
l the function po
i
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpent
e
r
helper: allow
g
et_param_num_
f
ro
m
_sym
(
) to be
used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpe
n
ter
strin
g
_
l
i
st: introduce l
i
st_
h
a
s_s
t
ring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
match_string_list
.
c: sep
a
rate string
_
list functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only
l
ookup function
p
oi
n
ters once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pente
r
ann
o
ta
t
e: u
s
e it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: ignore pa
r
ens i
n
expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
overfl
o
w:
silence
k
ern
e
l
false
p
ositive
about
_
_pe
r
_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
kerne
l
: recover modul
e
_
i
n
i
t
/
e
xit()
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
flow
:
p
ass
t
he sym_li
s
t
t
o
the
END_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Car
p
e
nter
db:
fixup_kernel
.
s
h
r
emove so
m
e more USER_DATA
ta
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
Da
n
Carpenter
ex
t
ra: improve += and
-= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
sval: in
t
r
oduce sval_is_negative_min(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
sval: fix sv
a
l_
b
inop_ov
e
r
f
l
o
ws() to
acce
p
t differ
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
in
t
roduce
smatch_an
n
o
t
ate
.
c: annotate some co
m
m
on function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpe
n
ter
db: give u
p
if there
a
r
e ov
e
r 1000 retu
r
ned
s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
db:
fix
s
l
o
w down caused b
y
recursive f
u
nction
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size: false positive fr
o
m large "i
m
plied
"
impli
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carpe
n
ter
helper: fix
e
x
pr_to_str() for
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
p
enter
db: remov
e
more user data fr
o
m
s
ta
r
t_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpent
e
r
db: m
a
nually delete
s
ome U
S
ER_D
A
TA
m
arke
r
s f
r
om the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Da
n
C
a
rpente
r
extra:
move
v
anilla assigns into thei
r
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
ranges:
i
n
cast_rl() some
t
imes it's better to jus
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Car
p
enter
extra: type bug han
d
li
n
g
a
sm expr
e
s
sions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpent
e
r
db: fix bug ha
n
d
ling ':' charac
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
m
ath: Use function call inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
rpenter
flow: handle POST_OPs
c
orr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
buf_size: hand
l
e
d
ma_alloc
_
attrs
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
extra
:
type
b
ug handling for loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arp
e
nter
ma
t
h
:
fix a couple type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carp
e
nter
locking: fix bui
l
d
p
roblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_dat
a
:
t
he poi
n
ter returned 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
d
ebug messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
db: change
the fi
l
e
searched for static funct
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
flow: fix a
debug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
flow: save and restore the
b
ig_e
x
pr
e
ssion_
s
tack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
conditi
o
n
s: fix
s
mall signedness bug in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
locki
n
g: ignore
p
arenthe
s
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arp
e
nter
st
a
ck: turn off by defau
l
t, an
d
less spammy
always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
signed: don't warn about assignments to
b
oolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpenter
local_values: not all the set values mak
e
it t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
si
z
eof
_
param: ignore strncat(a, b, sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handl
e
__ftrace_bad_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carp
e
nter
k
ernel
:
handle find_next_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpe
n
ter
d
b
_info: save ret
u
rn values in in-memory
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Carp
e
n
te
r
chec
k
_k
e
rne
l
: preserve ERR
_
PTR values passed to IS_E
R
R_OR_NUL
L
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
penter
check_kernel
:
rename n
o
n
null to
valid_p
t
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
a
r
penter
R
e
vert "kernel:
remove some unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carpent
e
r
s
izeof
_
param: fix false positi
v
es w
i
th strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan
Ca
r
pen
t
er
compare: hand
l
e
some assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpe
n
ter
extra: shuffle match_assign a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpen
t
e
r
e
x
tra: only ge
t
th
e
typ
e
s one
t
ime in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
a
r
p
en
t
e
r
function_ptr:
m
o
ve
g
et_fn
p
tr_name() to
s
match_functi
o
n_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
db: fi
x
up_
k
ernel
.
sh: discard calle
r
_info from ->noti
f
ier_
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
p
e
n
ter
db:
f
ixup_kernel
.
sh:
o
nly track the mai
n
read/wr
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
C
arpent
e
r
user_data: track user data acr
o
ss as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carp
e
nte
r
smatch_capp
e
d:
get_implied_max
(
) does
not implied capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
b
uf_size:
export g
e
t_real_
a
rray_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
e
xtra: handle MOD_ASSIGN be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
arp
e
nter
d
b
:
don
'
t
pri
n
t inform
a
tion caller
inf
o
rmation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
fun
c
tion_ptrs
:
tra
c
k p
a
rameters
a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
func
t
ion_pt
r
s: se
p
ar
a
t
e
into its own fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan
Carpenter
da
t
a:
a
dd snprintf
to ke
r
nel
.
sizeof_pa
r
am
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
arpenter
buf_si
z
e: fi
x
a
N
ULL
d
eref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel: remove some u
n
n
e
ed
e
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
C
arpe
n
ter
buf_size:
h
andle
empty arr
a
y
s
on
the
e
nd of st
r
uct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carp
e
nter
bu
f
_si
z
e
: re
m
ove s
o
me dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
an Carpen
t
e
r
loca
l
_values: store p
o
s
s
ible values of stat
i
c data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
fl
o
w: m
o
re in
l
ine
f
a
ll out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next