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
strlen: cleanup in get_implied_strlen()
2015-08-17
Da
n
Carpenter
strlen: cleanup in get_im
p
l
i
ed_strlen
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan
Carpenter
buf_
s
ize,
strlen
:
move s
t
rle
n
() handling to smatch_strl
e
n
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
D
a
n
Carpenter
extra:
track array values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan
C
a
rpen
t
er
stored_conditon
s
: s
t
ore the c
h
unk as well as the
va
r
_sym
_
list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
ra
n
ges: add a
missing cast in add
_
r
ange_t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carp
e
nter
validation
:
don't use uninit
i
aliz
e
d
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan Car
p
e
n
ter
mo
d
ific
a
t
i
on
_
ho
o
k: record
t
he modification ex
p
ressio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
D
a
n
Carpenter
smatch: remove the "
l
oop could be
r
eplaced with if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
buf_size: un
b
reak t
h
i
s
feature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carp
e
n
ter
t
e
s
t_kernel
.
s
h: print where the warnings ar
e
saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpe
n
ter
buf_size
,
db: o
n
l
y
stor
e
ty
p
e_size
i
f it is a
p
ointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Ca
r
pen
t
er
store
d
_conditi
o
n
s, implied: use implications of pr
e
v
ious
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
D
an Carpe
n
ter
implied: re-
o
rder whe
r
e we
c
a
l
c
ulate
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Dan Carpenter
overflow: silence glib
c
st
r
cmp false
p
ositiv
e
s w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
C
a
rpe
n
t
er
im
p
lied, ranges:
use type
p
romotion f
o
r
c
omparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
C
arpenter
ranges: use NULL instea
d
of zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpenter
d
e
r
ef_check, chec
k
_deref: only c
o
nsider pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
s
t
o
red
_
conditions: r
e
name m
a
tch_m
o
d
i
fy() to matc
h
_link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
arpenter
math:
fix an out of mem
o
ry issu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carp
e
nt
e
r
m
ath: retu
r
n a bit ear
l
ier in handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Ca
r
penter
im
p
lied
:
we hav
e
to make the fa
l
se states
match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan C
a
rpenter
err_ptr: use
th
e
actual values to sil
e
nce false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpente
r
compa
r
ison: fix
a
n oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fixup_kernel
.
sh:
track kmalloced() vs
.
tex
t
da
t
a better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Ca
r
pent
e
r
extra: don't try to record the state for li
t
e
rals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an Car
p
enter
flow: add
a ->p
a
rent
member to statement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
range
s
: don't
a
l
l
ow so many inverted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
t
y
pe: i
m
prove g
e
t_mem
b
e
r_type_from_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra
:
handle
a
rrays better u
s
in
g
the ch
u
nk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Carpenter
t
y
pe: ma
k
e
type_t
o
_str() ha
n
dle arrays be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpenter
helper: tiny cleanup in ge
t
_complication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpen
t
er
implied
:
f
i
x
bug handling unmatched implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
extra: fix chunk ha
n
dling a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpente
r
validation: fix a test a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_check: silence some false
p
osit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
Ca
r
penter
deref_c
h
eck: remove un
n
ecessa
r
y call to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
rpente
r
fixup_
k
erne
l
.
s
h
: fix t
h
e
rtlwifi
h
a
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan
C
arpenter
unconsta
n
t_macros:
ad
d
MAP_
U
N
INITIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
p
t
rlist:
reading deleted item
s
in
NEX
T
_PTR_LI
S
T()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
ranges:
f
ix how
some ra
n
ges are joi
n
ed together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carpenter
ranges: avo
i
d
a possible i
n
teger overflow pr
o
blem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nt
e
r
p
o
int
e
r
_math: ALIGN is not b
y
t
es, bu
t
o
ffset
o
f() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
Carpen
t
er
pointer_math: don't
c
o
m
p
l
a
in if a pointer math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
enter
p
ointer
_
ma
t
h: s
i
lence false a ton of
false positi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpenter
chunk: impro
v
e exp
r
_
t
o
_c
h
un
k
_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
a
rpent
e
r
helper: improve
get_complicati
o
n
_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
h
elper
:
export
g
et_comp
l
ication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carp
e
nter
t
ype: e
x
port
i
s_
l
ocal_vari
a
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Ca
r
p
e
nter
c
h
un
k
:
cha
n
ge the
A
PI
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpen
t
er
ext
r
a: start t
r
ackin
g
"chunks" i
n
stead o
f
just variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
D
a
n Carpenter
math: gi
v
e up if calculating a value is too co
m
plicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpen
t
er
implied:
turn off de
b
ug m
e
ssages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_list
.
h:
move stored_
c
ondition_links nex
t
to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
Carpen
t
e
r
flow: ignore
arrays
w
ith over
a
1000 el
e
me
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Ca
r
p
enter
db/fixup_kernel
.
sh: hack a
r
ound slow
rtlwifi tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
capped: use
F
OR_
E
ACH_
M
Y_S
M
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_
d
ata2:
a
d
d skb_network_he
a
der()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
user_
d
ata2: handle
pointers
t
o user
d
ata
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data: add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_data: s/kmemdup_user/
m
emdup_u
s
er/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_bit: add set_
b
it()
and clear_
b
it() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpent
e
r
c
heck_deref
:
remove
c
a
l
l to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpe
n
t
er
e
s
tate: make cl
o
ne_
e
state()
take
a NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespac
e
: change s
o
me spa
c
es
t
o tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpent
e
r
d
ebug: add
s
ome tools for developing the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
b
uf
_
size: impro
v
e resizable
struct
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
an
Car
p
enter
db: fix a
bug in split r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
e
r
extra:
i
ntrodu
c
e get_extr
a
_
stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
a
r
penter
s
m
a
t
ch
:
ch
a
n
g
e
all rem
a
ining refer
e
nc
e
s from wa
r
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Da
n
C
ar
p
e
n
t
e
r
kernel
.
ignored_macros:
add
S
NIC_BU
G
_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
enter
u
n
reachable
:
ig
n
ore li
s
t
_for_each_e
n
try_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
e
xtr
a
: hand
l
e x = (u8
)
y; co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
implied: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
ty
p
e: handle type
o
f()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpe
n
ter
math: handle __sm
a
tch
_
im
p
lied(&f
o
o
->bar) a little b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assigned_
e
xpr:
sto
r
e it la
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpen
t
er
function_hooks: fix
va
l
idation/sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
lo
c
k
in
g
:
add new down_ti
m
eout() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_address: fix comp
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
fixup_kernel
.
s
h
: ignor
e
some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
fi
x
up_kernel: update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n C
a
r
penter
debug: improve __smat
c
h_states() ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan
C
arpenter
flo
w
: ignore p
a
rent
h
esis in pr
e
v_
e
x
p
ression_i
s
_gett
i
ng_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n
Car
p
ent
e
r
unreachab
l
e
: ignore net
d
ev
_
for_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an Carpente
r
f
l
ow
:
c
leanup
prev_
e
xpress
i
on_
i
s_
g
etting_addre
s
s()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&foo->
b
ar"
i
s n
o
t a
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
s
m
atch_address: separa
t
e thin
g
s o
u
t into
.
bss
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*
new*
c
hec
k
_tes
t
_
bit: check for test_bit(B
I
T(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpent
e
r
type: speed up ge
t
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
penter
type:
i
m
prove get_b
i
nop
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
arpe
n
te
r
flow: add a new ex
p
r->pa
r
e
nt str
u
ct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Ca
r
p
e
nte
r
fi
x
up_kernel: h
a
r
d
code __spi_syn
c
() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
xup_kernel: km
a
lloc() can
a
lloc
a
te more da
t
a
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_
a
ddr
e
ss
:
sort pointe
r
s
into differ
e
n
t ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
p
ente
r
extra:
r
emove some unu
s
ed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
s
match
.
h: ad
d
the compa
r
ison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan
C
arpe
n
ter
type_
t
o_str: fix a
crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
C
arpenter
i
gnor
e
_side_effects: get_child_
r
c
u()
double e
v
a
l
uat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Ca
r
p
en
t
er
i
m
pl
i
ed: u
s
e comparison
i
nformation for
i
mpl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
D
an
C
arpenter
smatch
.
h: move
stree
_
st
a
ck declar
a
tion from smat
c
h_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next