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
extra: start tracking "chunks" instead of just variables
2015-07-10
Dan
Carpenter
ex
t
ra: start tracking "chunks" in
s
tead
o
f
j
ust var
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math
:
give up
i
f calcul
a
ting a value is too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpent
e
r
im
p
lied: turn
off debu
g
messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpenter
check_list
.
h:
move stored_cond
i
tion_links n
e
xt to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an
C
arpenter
flow: ignore
arrays wit
h
over a
100
0
el
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fixu
p
_kernel
.
s
h
:
hack around slow rtlwifi test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
capped: use FOR_EACH_MY
_
SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2
:
add s
k
b
_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
u
s
e
r_data
2
: h
a
n
d
le pointer
s
to user d
a
ta bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
u
s
er_data: add kmap_
a
tomic(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_d
a
ta: s/kmemdup_user/
m
e
m
dup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nte
r
test_
b
it: a
d
d set_bit() a
n
d c
l
ear_
b
it
(
) function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Car
p
enter
che
c
k_deref:
r
e
m
o
ve ca
l
l to get
t
ing_ad
d
r
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: make cl
o
ne_esta
t
e() take a NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
Carpenter
whi
t
espac
e
: c
h
ange some spaces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pente
r
debug: add some
tools for
d
evelopi
n
g
the d
b
parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpen
t
e
r
buf_size
:
improv
e
r
e
sizable
struc
t
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug in
split retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
extra: introduce get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
smatch: change al
l
remai
n
ing references from
warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carp
e
nter
k
e
rn
e
l
.
ignor
e
d_macros: add SNIC_BU
G
_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carp
e
nter
unr
e
a
chable: ig
n
ore list_f
o
r
_each_entry_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extr
a
: handle x = (u
8
)y; correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
a
rpente
r
implied: fix a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type:
h
andle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
math: h
a
ndle __smatch_implied(&foo->bar) a little bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
t
e
r
assigned_expr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
f
unctio
n
_
hoo
k
s: fix valida
t
ion/sm_comp
a
re1
5
.
c han
d
l
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
lockin
g
: add ne
w
d
own_timeout
(
)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nte
r
s
m
atch_address: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
r
penter
f
i
xup_
k
ernel
.
sh: ignore
some __vfs_w
r
ite() call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
C
arpenter
fixup_kernel
:
updat
e
t
y
p
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: impr
o
ve __sma
t
ch_states() out
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carp
e
nter
flow:
i
gnore parenthes
i
s i
n
prev_
e
x
pr
e
s
s
i
o
n
_is_getti
n
g_ad
d
r
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
an Carpenter
unreachable: ignore netdev_
f
o
r_each
_
lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an Carpenter
f
lo
w
:
c
leanup prev_expr
e
ss
i
o
n_is_ge
t
ting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
Carpenter
fl
o
w: "&foo->bar" is not
a
der
e
ference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpe
n
t
e
r
smatch_address: sepa
r
ate
things out into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carp
e
n
t
er
*new* check_test_bi
t
:
c
heck
fo
r
test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpenter
type:
sp
e
ed up get_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: improve
get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpent
e
r
flow
:
a
d
d a new expr
-
>
p
aren
t
struct
me
m
be
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Carpenter
fixup
_
ker
n
el: hard code __
s
pi_sy
n
c()
r
et
u
r
ns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
x
up_kernel: kmalloc() can allocate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
D
an Car
p
en
t
er
smatch_address:
sort
poi
n
ters in
t
o different range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpent
e
r
extra: remove some un
u
s
e
d func
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n
C
arpent
e
r
s
match
.
h: add the
comparison h
o
ok
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
enter
type_to_str: fix a c
r
ashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an Ca
r
pen
t
e
r
ignor
e
_
s
ide_e
f
fects: get
_
child_rcu()
d
o
uble evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
ter
implied
:
use
comparison
i
nfo
r
ma
t
ion for
implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpenter
smatc
h
.
h: move str
e
e_stack dec
l
ara
t
i
o
n fro
m
sma
t
ch_sl
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
D
a
n
Carpent
e
r
rose
n
be
r
g: add __builtin_memset/memcp
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
user_data2:
han
d
le
r
eturned struct m
e
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
ar
p
en
t
er
comparison: update a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
py: update to refl
e
ct
L
IMIT/F
I
LTE
R
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
unwi
n
d: add some
n
u
l
l
che
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
t
ype: include smatch_slist
.
h to pre
v
en
t
a
s
e
gfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
e
xtra
:
don't set st
a
t
es to unkno
w
n at the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
e
xtra: don't set true f
a
l
se states if they are t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
functio
n
_hooks: add
a
hack arou
n
d in compa
r
e_
d
b_return_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
er
list
:
add a comment a
b
o
ut register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
para
m
_
limit:
h
andle struct mem
b
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
enter
states: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
conditions: ignore known/implie
d
co
n
ditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
trings: record
s
tring assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignmen
t
: save a lot m
o
r
e
inf
o
rmat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit/filter: fix a t
y
pe
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compariso
n
:
ha
n
dle
c
a
non
i
cal
f
or loops with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpe
n
ter
comp
a
rison: unsigned ca
n
not be less tha
n
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
flow: set __
c
ur_stmt and __pr
e
v_stmt insi
d
e
for
l
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpent
e
r
comp
a
rison: merging eq
u
ivalent
state
s
is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpenter
comparison: f
i
x an
i
nd
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks: fix up d
b
_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
arpenter
function_h
o
oks, debug:
print im
p
oss
i
ble returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper
:
do
n
't s
t
ri
p
c
a
sting in
get_a
r
ray_offs
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: export merge_link_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
r
pen
t
er
h
e
lper: make expr_to_st
r
() print forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
ty
p
e: make type
_
to_str() return a sname() buf
f
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modifica
t
ion
_
hoo
k
s: set a variable
a
s
modifi
e
d
wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
us
e
r_dat
a
2: tag it if a functi
o
n sets parameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
stac
k
: cleanup a fun
c
tion prot
o
t
y
pe
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
d
e
ref
_
check: ignore arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
ar
p
enter
t
ype: make
s
val_type
_
max() default to
"long long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
pent
e
r
t
yp
e
:
don't
r
eturn SYM_NOD
E
ty
p
es from get_real_ba
s
e_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_ef
f
e
cts:
the iterate_all_kinds() macro ha
s
sid
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreach
a
ble:
d
on't
c
o
m
plain
a
bout it
e
ra
t
e_a
l
l_kinds
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
Carpenter
f
l
ow
:
fix "fo
o
+= !bar;"
a
ssi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Ca
r
pe
n
t
er
lib: handle -f
u
nsigned-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
arpenter
k
e
rnel
.
ignore
_
side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
Ca
r
penter
inde
n
ting: a
l
low "break; case X
X
X:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
a
rpenter
u
s
e
r
_
data2: ma
r
k sscanf() out
p
u
t
as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carp
e
nte
r
math, rl: fix h
a
n
d
i
ng divis
i
on involving negative number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix
sva
l
_
bin
o
p_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
precedence: co
m
pl
a
in about "foo << bar
-
baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: handle struct
i
n
itialization
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpenter
estate: a
d
d a
N
ULL chec
k
in e
s
t
a
t
es_equiv
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
penter
param_used: s
t
ore
w
hen
a
par
a
meter is used so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
extr
a
: ignore mo
r
e __in_fake_as
s
i
gn data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
comparis
o
n: fix a crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
type: add a
n
expr_signed(
)
function that m
a
tc
h
es ex
p
r_u
n
sig
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next