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
flow: add a ->parent member to statement structs
2015-07-30
Dan C
a
rpenter
fl
o
w: add a ->parent
m
ember
t
o
s
tateme
n
t
s
tructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
r
a
nge
s
:
don'
t
al
l
ow so many inverted
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpente
r
t
y
pe: improve
get_member_
t
yp
e
_from_k
e
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ex
t
ra: handle arrays bet
t
er usin
g
the chunk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpenter
type: make type_t
o
_s
t
r()
h
a
ndle arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Car
p
enter
hel
p
er:
t
iny
cleanup in ge
t
_complication_
s
c
ore()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carpenter
implied: f
i
x bug ha
n
dling u
n
matched
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
arpe
n
t
e
r
extra:
fix chunk
h
andl
i
ng a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpent
e
r
val
i
dation: fix
a
t
est a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_check: silen
c
e some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpe
n
te
r
dere
f
_check: r
e
move unn
e
cessary call to g
e
tting_addr
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpe
n
te
r
fixup_kernel
.
sh:
f
i
x the
r
tlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan
C
arpenter
unc
o
nstant_macros:
add MAP_
U
NIN
I
TIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
D
a
n
Carpe
n
ter
ptrl
i
st:
r
ea
d
ing deleted i
t
em
s
in
N
E
XT
_
PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpente
r
range
s
: fix how
s
ome ranges are join
e
d
together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges: av
o
id a poss
i
ble inte
g
er over
f
l
o
w proble
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nt
e
r
poin
t
er
_
math: AL
I
GN is not bytes, but of
f
setof() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_ma
t
h
:
d
o
n't
c
omplain if a po
i
nter m
a
th opera
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_ma
t
h
: silence false a t
o
n
of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
ter
chunk:
improve expr_to_
c
hu
n
k_s
y
m_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpe
n
ter
helper: i
m
prove g
e
t
_
comp
l
i
cati
o
n_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper
:
export get
_
complicatio
n
_
score(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: export i
s
_local_v
a
r
i
a
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
pe
n
t
er
ch
u
nk
:
change
t
he API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpente
r
extra: start
t
r
acking
"chunks" instead of
j
ust
v
a
r
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: give u
p
if calculat
i
ng a value
i
s
too co
m
pl
i
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Ca
r
penter
implied: t
u
rn of
f
debug messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
pente
r
check_l
i
st
.
h: move stored_c
o
ndition_l
i
nks next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
a
r
p
enter
f
l
ow: igno
r
e ar
r
ays with ov
e
r
a
1
0
00 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fi
x
u
p
_kernel
.
sh: hack around slow rtlwifi te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
c
apped: use FOR_EAC
H
_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
use
r
_d
a
ta2: add skb_ne
t
work
_
header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
user_data2: ha
n
dle
p
o
i
nter
s
to use
r
dat
a
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
C
arpenter
user_d
a
ta: add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_da
t
a: s/kmemdup_user/memdup_user
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
test_bit
:
add set_
b
it() an
d
clear_bit() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n C
a
rpenter
check_deref: rem
o
v
e
call to getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpent
e
r
estate:
m
ake
c
lone_estat
e
() take a NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
Carpenter
whitespace: change som
e
spaces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug: add some tools for devel
o
pin
g
th
e
db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
C
ar
p
enter
buf_s
i
ze: im
p
r
o
ve resizable
s
t
ruct handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
pent
e
r
db: fix a
b
ug
i
n split ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
r
penter
extra: i
n
t
roduce get_e
x
tra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
s
match: ch
a
ng
e
all remai
n
ing refere
n
ce
s
from war
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Ca
r
pen
t
er
kern
e
l
.
ign
o
red
_
ma
c
ros: add
SNI
C
_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreachable:
ignore
list_for
_
ea
c
h_entry
_
con
t
inue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Ca
r
p
e
nter
extra:
han
d
le x = (u8)y; corr
e
c
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Car
p
enter
i
m
plied: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
p
e
nter
type: h
a
ndl
e
t
y
peo
f
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
ma
t
h
:
handle __smatch_
i
mplied(&foo->bar) a litt
l
e better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpen
t
er
assig
n
e
d
_exp
r
: s
t
ore it l
a
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
C
a
r
penter
function
_
hoo
k
s: fix
v
a
l
i
d
a
tion
/
sm_compa
r
e15
.
c h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n C
a
rpenter
loc
k
ing: add new
d
o
wn_timeout() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpent
e
r
smatch_address: fix co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
fixup_kernel
.
sh: ignore some __v
f
s_wr
i
te() cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
fixup_k
e
rnel:
u
pdate t
y
p
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
Carp
e
nter
debug:
i
m
p
r
o
ve __smatch_states() ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan
Ca
r
penter
flow: ignor
e
parenth
e
si
s
in prev_expression_is_getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan
Carpenter
unreachabl
e
:
i
gnore netdev_for_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan C
a
rpenter
flow
:
cleanup
prev_expression
_
is_g
e
tting_addr
e
ss()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Car
p
enter
flow: "&foo
-
>bar"
i
s
not a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n C
a
rpenter
smatch_address: separate things
out into
.
bss a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* c
h
e
c
k
_test_bi
t
:
c
heck for test_bit(
B
IT
(
0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpe
n
t
e
r
t
y
pe: speed
up get_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
penter
t
y
pe: imp
r
o
v
e get_b
i
n
o
p
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Da
n
Carpenter
flow: add a
n
ew expr->p
a
re
n
t struct me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Ca
r
penter
fixup_kernel: hard code __spi
_
sync()
r
eturns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
a
r
penter
fixup_kernel: km
a
lloc() can
alloc
a
te mor
e
data
.
L
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_a
d
dress: sort po
i
nt
e
rs
into dif
f
e
ren
t
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra:
r
emo
v
e
some unused fun
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpe
n
ter
smatch
.
h:
add the comparison
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpen
t
er
t
ype_to_str: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Da
n
Carpenter
ignore_side_effects: get_child_
r
cu() double evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
i
m
plied
:
use c
o
mparis
o
n
informat
i
o
n fo
r
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h: m
o
ve stree
_
stack d
e
claration fr
o
m smatc
h
_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
D
a
n Carp
e
nter
rosenberg: add _
_
builtin_memset/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
us
e
r_data2: handle returned struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
c
o
mparis
o
n:
u
pdate
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
r
pente
r
s
m
db
.
py: update to reflect LIMIT/FI
L
TER change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwind: add some nu
l
l check
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carp
e
nter
t
y
pe: incl
u
de smatch_slist
.
h to prevent a s
e
g
fa
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: don't
s
et states to
u
nknown at th
e
beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: d
o
n't set true false sta
t
es if they a
r
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
function_hooks: add a h
a
ck around in compare_db_re
t
urn_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
list: add a
c
o
mment about register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit: ha
n
d
l
e
s
t
ruct me
m
ber
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
stat
e
s: white spac
e
f
i
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
cond
i
tions
:
ignore known/i
m
plied co
n
dit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings: record s
t
ring assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
str
u
ct_a
s
sig
n
ment: save a lot more informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
p
a
ram_limi
t
/filter:
f
ix a typ
e
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpenter
comparison:
h
a
ndle canonical fo
r
lo
o
ps with
v
ariable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nt
e
r
compa
r
ison: u
n
signed can not
b
e
les
s
t
h
an zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set
__cur_stmt a
n
d
__prev_stmt
i
ns
i
d
e
fo
r
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compari
s
on: merging equivale
n
t states
i
s
not u
n
define
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compariso
n
: fix an
i
n
d
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
unction_hooks: fix
u
p db_comp
a
re_cal
l
ba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carpent
e
r
function
_
hooks, deb
u
g: print impos
s
ible re
t
urns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
h
e
lper:
d
on't str
i
p casting in
get_
a
rra
y
_offs
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links:
export merge_link_
s
tates
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next