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
type: export is_local_variable()
2015-07-11
Dan Carpenter
t
y
pe: export is_local_v
a
ri
a
ble()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
arpenter
chunk: change the API a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
e
x
tra
:
start
t
racking "chunk
s
"
instead of jus
t
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
C
arpenter
math:
g
ive u
p
if calc
u
lating a value
is too complicate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpent
e
r
i
m
plied: t
u
rn off d
e
bug me
s
sages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
arpenter
ch
e
ck_list
.
h: move stored_conditi
o
n_
l
inks
ne
x
t to stored_co
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpen
t
e
r
fl
o
w:
i
gnore a
r
rays with ov
e
r a
1
0
0
0 eleme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fi
x
up_kernel
.
s
h
:
h
ack
a
round
slow rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
n
t
er
capped: use FOR_EACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
ser_data2
:
a
dd sk
b
_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
user_data2:
h
a
n
dle pointers t
o
user data bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
user_
d
ata: ad
d
k
m
ap_ato
m
ic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
user
_
data: s/kmemdup_
u
ser/memdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
test_
b
it: add set_bit() and
c
lear_bit() fu
n
ction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
chec
k
_deref: remov
e
call to ge
t
ti
n
g_add
r
e
s
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
penter
e
s
tate: make
clone_estate() take a
NUL
L
po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpe
n
t
er
whitespace: change some spaces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
deb
u
g:
ad
d
some tools for developing the
d
b parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
C
a
rpen
t
er
buf_s
i
ze: improve r
e
s
izable struct
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus V
i
llemoes
el
i
minate some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpent
e
r
db: fix a
bug in split re
t
ur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
p
e
n
t
er
e
xtra: introduce
g
e
t
_e
x
tra
_
sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
a
rpent
e
r
smatch: c
h
ange
a
ll remaining refe
r
ences from war
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
prefi
x
smatch genera
t
ed
files by s
m
at
c
h
_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
ille
m
oes
te
s
t
_kernel
.
sh: clean
u
p
.
c
.
s
m
atc
h
files
a
fter cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Doc
u
men
t
at
i
on:
m
a
ke me l
e
ss c
o
nfused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
as
m
us
V
ille
m
oes
tr
a
ce_para
m
s
.
pl: fix h
a
sh/hash ref
e
rence confusi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
ke
r
nel
.
ig
n
ored_macros: add SN
I
C_BUG_O
N
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Da
n
Carpe
n
ter
u
nr
e
achable: ig
n
o
re list_for_eac
h
_
e
ntry_conti
n
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n
Carpente
r
ext
r
a: h
a
ndle
x = (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
a
rp
e
nter
im
p
lied:
fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type:
h
andle ty
p
eof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
math: han
d
le __sma
t
c
h
_i
m
pl
i
ed(&foo-
>
bar) a
l
i
t
tl
e
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
assigned_
e
xpr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
n
ter
fu
n
ction_hooks: fi
x
val
i
d
a
tio
n
/sm_compare15
.
c h
a
ndli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carp
e
nter
lo
c
ki
n
g: ad
d
new down_
t
imeout() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpenter
smatc
h
_
a
ddress: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nte
r
fixup_kernel
.
sh: ignore some __vfs_w
r
ite() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
ter
fi
x
up_ke
r
n
e
l: upda
t
e
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Mak
e
file: eliminate
a
llvm-
c
onfi
g
build warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpent
e
r
debug:
improv
e
__smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpent
e
r
flo
w
: ig
n
ore parenthesis in prev_expression_is_ge
t
ting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
u
nreachable: ignore netdev_for
_
each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
Carpen
t
er
flow: cleanup prev_ex
p
r
ession_is_getting_address
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow:
"&foo->bar" i
s
not a de
r
eferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpen
t
e
r
smatch_address
:
separate things out into
.
b
s
s an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
D
a
n Carpenter
*new*
c
heck_test_bit:
ch
e
c
k
fo
r
test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: speed
u
p get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpenter
ty
p
e:
i
mp
r
ove
get_b
i
nop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpent
e
r
flow
:
add
a
new expr->parent
st
r
uc
t
m
ember
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_k
e
rnel: hard code __spi_sync() re
t
urns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
ixup_kernel
:
kmallo
c
() can a
l
locate more data
.
L
et
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
c
heck_locking
.
c: Fix
a
nnoyi
n
g invis
i
ble
read_u
n
lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Da
n
Carpenter
smatch_address: sort p
o
inters int
o
dif
f
e
r
ent ran
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
penter
extra: rem
o
ve so
m
e unused functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n Car
p
enter
smatch
.
h: add the
comparis
o
n
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Da
n
Carpenter
type_
t
o_str
:
fix a crashing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro Yang
smatch
.
h
: add estate_get_single_value() declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
C
arp
e
nter
ignore_side_effects: get_child_rcu() double evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
implied: use co
m
parison info
r
ma
t
ion for i
m
pli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
ter
smatch
.
h: move
s
tree_sta
c
k dec
l
a
r
a
tion
from smatch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carp
e
nter
rosenber
g
:
add __builtin_
m
emset/memcpy
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_d
a
ta2: han
d
le returned struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpe
n
ter
comp
a
rison: updat
e
a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
p
y
: update t
o
reflect LIMIT/FI
L
TER
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
e
r
u
n
w
i
n
d: a
d
d
s
ome null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
type: include smatch
_
slist
.
h to prev
e
nt a se
g
f
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: don't
s
e
t s
t
ates to unknown at the begin
n
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
ext
r
a: don't set true
f
alse state
s
if they a
r
e the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_
h
ooks: add a hack around in c
o
mpare_db_return_sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
list: add a comment about register_impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nt
e
r
param_limit: handl
e
struc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
sta
t
es: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
condit
i
ons: igno
r
e known/implied c
o
ndition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Car
p
e
nter
strings:
r
ecord string assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignment: save a lot more
i
nformation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
param_limit/fil
t
er: fix a type bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan
J
egen
db: Avoid
derefe
r
enc
i
ng nu
l
l pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
enter
compari
s
on: handle ca
n
onical f
o
r loops
w
it
h
variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rp
e
n
t
er
compa
r
ison: unsign
e
d can n
o
t
be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
f
low: set __c
u
r_stmt and __prev_stmt inside for
l
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpenter
c
omparison:
me
r
ging
e
qu
i
va
l
ent states
is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparis
o
n: fi
x
an ind
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks: fix u
p
db_com
p
are
_
cal
l
back(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
f
u
nction_ho
o
ks,
d
ebu
g
: print
impossible r
e
turns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpen
t
er
helper: do
n
't str
i
p casting in get_array_offs
e
t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
links: export merge_link_st
a
tes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: ma
k
e e
x
p
r_
t
o_
s
t
r
(
)
print
f
orce
d
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
t
ype: make type_to_
s
tr() return
a
sna
m
e() bu
f
fer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
modifi
c
ation_hooks: set a
variable as modifie
d
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpenter
user
_
d
a
t
a2: tag it if a function se
t
s para
m
eters t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
s
ta
c
k:
cleanu
p
a
fun
c
tion protot
y
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Ca
r
p
enter
d
eref_ch
e
ck: ignore ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
penter
typ
e
: mak
e
s
v
al_type_
m
ax()
d
ef
a
ult to
"long lon
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
enter
type:
d
on't return SY
M
_
N
O
D
E
typ
e
s from
g
et_real_base
_
ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects: the
iterate_all_kinds() macro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
an C
a
rpenter
unreachable: don't c
o
mplai
n
about
i
terate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
C
arpenter
flow:
fix
"
foo +=
!
bar;" assi
g
nm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
Carpenter
lib: handle -funsigned-cha
r
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
ent
e
r
kernel
.
ignor
e
_
side
_
e
f
f
ects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next