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
Dan
Carpenter
con
d
iti
o
ns: use se
t
_extra_expr_mod() t
o
change e
x
t
ra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data:
compa
t
syscall
par
a
meter
s
are user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
u
s
er_data: using
a user supplied
offset in
t
o an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carp
e
n
ter
locking: add some more bh lock fu
n
ction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Da
n
C
a
rpenter
M
er
g
e bra
n
ch 'rfc-attribute-stru
c
t' of git://git
.
kern
e
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
check_d
e
ref: disable
"p
o
tentia
l
NULL dereference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Carpenter
l
o
cki
n
g: add lo
c
al_bh_
d
isable/en
a
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan
Carpenter
locki
n
g: handl
e
null vs non-NULL
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpent
e
r
lock
i
ng: up
d
ate validation/ tests to the new warnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
func
t
ion_ptrs: "(*ptr
s
[0])(a, b)" is
the sa
m
e as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpent
e
r
functio
n
_ptrs: recor
d
when f
u
n
c
ti
o
n pointer is
s
aved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
o
senberg:
remove some stru
c
t
s
whic
h
d
on't have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenbe
r
g: check
for nla_put info lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
n
t
er
flow: f
a
k
e mem
b
er and eleme
n
t ass
i
gnmen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
expressions: i
n
troduce arra
y
_element_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: take
returns valu
e
s
into con
s
ideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
c
h
e
ck_kernel: look
harder
f
o
r t
h
e
c
ontaine
r
_
o
f() macr
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
implied:
d
b: f
i
x ho
w
retu
r
ns are broken
apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
d
b: return_id was set
incorrect
l
y when inline fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
t
er
db: fi
x
how
t
he return values are casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper: make is_array() acce
p
t NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpenter
db: function_ptrs:
do b
e
tt
e
r a
t
func
t
ion ptr t
o
f
unctio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carp
e
nter
f
l
o
w: create f
a
ke ass
i
gnments
for
arra
y
decl
a
r
ati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
fl
o
w: expressio
n
s: don't try updat
i
n
g
to
un
i
n
i
tiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db: fixup_kernel
.
s
h: (stru
c
t mISDNchannel)->sen
d
in
f
o
rmation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Car
p
enter
db: fixu
p
_kernel
.
sh: record where ->not
i
fier_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
Carpenter
flow: ha
n
dle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
db: funct
i
on_ptrs: tra
c
k
pointer to pointer assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
a
rpenter
math: silence some
b
uffer
overflow false posi
t
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpenter
d
b
: fixup_kernel
.
sh: ignore (struct ti
m
er_
l
ist)->fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Ja
n
c
ext
r
a: Fix segment
a
tion fault in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
l
ook up all the function po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
h
elper:
al
l
ow
get_p
a
ram_num_from_sym() t
o
b
e u
s
ed in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_list: int
r
o
d
u
ce li
s
t_has_s
t
ring
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sm
a
tch_string_list
.
c: sep
a
rate strin
g
_
l
ist f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
nter
db: only lookup
function pointer
s
on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
annotat
e
: use
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
he
l
per:
i
gnore parens in
expr_to_va
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ov
e
r
f
l
o
w: silence kern
e
l
fal
s
e posi
t
ive
about __per_cp
u
_offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpe
n
ter
k
ernel: r
e
cover module_init/exit() function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pass
t
he sy
m
_list to the END_F
I
L
E
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
db: fixup_kernel
.
sh remov
e
some more USER_DAT
A
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
db: sp
e
edup fill_db
_
caller_
i
nfo
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
t
e
r
extra: improv
e
+= and -
=
handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
sval: introdu
c
e sv
a
l_
i
s_negativ
e
_m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
sv
a
l
:
fix sval_binop
_
overflow
s
()
to accept different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introd
u
ce
smat
c
h_annot
a
te
.
c: ann
o
t
ate so
m
e common functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
r
penter
db: give up if the
r
e a
r
e over 1000 re
t
urned states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slow dow
n
ca
u
se
d
by re
c
ursive
f
unctio
n
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
pe
n
ter
buf_size: false po
s
itive from
l
a
rge "implied"
i
mplied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
helper: fix expr_t
o
_str() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n Carpenter
db: rem
o
v
e more user data from start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
C
a
rpenter
d
b
: manually delete so
m
e USER_DATA m
a
rkers from th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
D
a
n Carpenter
extr
a
:
mo
v
e vanilla assigns i
n
to their o
w
n function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpent
e
r
ranges
:
i
n ca
s
t_rl()
someti
m
es it's better t
o
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpen
t
er
extr
a
: typ
e
b
ug handling a
s
m
expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpen
t
er
db
:
fix bug handlin
g
':
'
cha
r
acter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: Use function call info
r
mat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Car
p
en
t
er
flow: ha
n
d
l
e
P
OST_OPs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
b
u
f
_size:
h
a
ndle
d
ma_a
l
lo
c
_attrs(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
extra: type bug handling for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
math: fix a couple ty
p
e bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
locking
:
fix b
u
ild p
r
o
b
lem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
user_data
:
th
e
poi
n
ter retu
r
ned from
container_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
C
arpenter
db: upd
a
te a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
db: ch
a
nge the file searched
f
or static fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpen
t
er
fl
o
w:
f
ix
a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow:
save a
n
d res
t
or
e
t
he big_expression_stack
wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
c
onditions: fix smal
l
sig
n
edn
e
ss
b
ug in compar
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
locking
:
i
g
n
ore
p
a
renthe
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
a
r
penter
sta
c
k: turn off by default
,
a
n
d less spammy al
w
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
si
g
ned: d
o
n't w
a
rn
about
assignments t
o
bool
e
an
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
l
oc
a
l_
v
alues: not all the set va
l
ues make it to
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Ca
r
pe
n
t
e
r
sizeof_param: ignore strncat(a, b,
s
i
z
e
of
(
b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
kerne
l
: handle __ftra
c
e_bad_
t
ype(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
d
b_
i
n
f
o: save r
e
tur
n
values in
i
n-m
e
mory
d
ata
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n Carpenter
check_ke
r
nel: preserve ERR
_
PTR values pass
e
d to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
arpen
t
er
chec
k
_ke
r
nel: r
e
name nonnull to va
l
id_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Reve
r
t "kernel: remove
so
m
e
u
nne
e
ded co
d
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
D
an Carpenter
sizeof
_
par
a
m
: fix false posi
t
ives wi
t
h strlcp
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpe
n
ter
compare: ha
n
dle some as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: shuffle match_ass
i
gn a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra
:
only get t
h
e types
o
ne time
i
n matc
h
_as
s
ign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpen
t
er
fun
c
tion_
p
t
r
: m
o
ve
get_fnptr_name() to smatch_f
u
nction_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db
:
fixup_kernel
.
sh
:
di
s
c
a
rd c
a
lle
r
_i
n
fo from ->notifier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arp
e
nter
d
b
: f
i
x
u
p_kernel
.
sh: onl
y
t
rack
t
he
main read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
user
_
data: track u
s
er
da
t
a acros
s
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
smatch_capped:
g
et_implied
_
max()
d
o
es n
o
t impli
e
d cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
rpenter
b
u
f
_size: export g
e
t_real_ar
r
ay_siz
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
e
x
tra: handle
M
OD_ASSIGN
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpe
n
ter
db: don't print inf
o
r
m
ation call
e
r information
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_
p
trs: tra
c
k param
e
t
ers
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
t
e
r
function_
p
trs: separate
into its
own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Da
n
Carpenter
da
t
a:
add snprintf
to kernel
.
sizeo
f
_param
.
re
m
o
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpen
t
e
r
buf_siz
e
:
f
ix a NULL
d
e
reference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpent
e
r
kernel: remove some u
n
needed
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
pente
r
buf_siz
e
: handle empty
a
rrays on the end of
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_
s
ize: remove some de
a
d
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpente
r
local
_
values: store p
o
ssible values
of static data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next