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
stored_conditions: rename match_modify() to match_link_modify()
2015-08-03
Dan Car
p
enter
s
t
or
e
d_c
o
ndi
t
ions: rename match_mo
d
ify() to mat
c
h_link_modify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Ca
r
penter
mat
h
:
f
ix an out of memory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carp
e
nter
m
ath: retu
r
n a
b
i
t earlier in handle
_
binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n Carpenter
implied: we have to make th
e
f
a
lse states
ma
t
ch as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
err_ptr
:
use the actual values to s
i
len
c
e false
p
o
sitiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carp
e
n
ter
c
omparison: fix an oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fixup_k
e
rnel
.
s
h
: track kmalloced() vs
.
text data be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpent
e
r
extr
a
: don't try
to r
e
cor
d
the state
for lite
r
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpe
n
ter
fl
o
w: add a ->pare
n
t membe
r
to statement str
u
c
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
range
s
: do
n
't allow so many inverted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpent
e
r
type: improve get_membe
r
_type_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
C
a
rpenter
extra: handl
e
array
s
better us
i
ng
t
he
chunk c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carp
e
nter
type: ma
k
e
type_to_str() handle array
s
b
e
tt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
C
a
r
penter
h
elper
:
tin
y
cleanup in get_complica
t
ion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Ca
r
p
enter
impli
e
d: fix
bug hand
l
ing unmatche
d
implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carp
e
nter
extr
a
: fix chunk handling
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Carp
e
nter
valida
t
ion: fix
a test a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
a
r
p
ent
e
r
deref_che
c
k: sil
e
nce some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
arpenter
d
e
ref_c
h
eck: remove
un
n
e
c
e
ssary call to getting_a
d
dr
e
ss()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup_kernel
.
sh: f
i
x
the rt
l
w
ifi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Da
n
Carpenter
unconstant_macros: add MAP_UNINITIALI
Z
E
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist: read
i
ng d
e
leted item
s
in N
E
X
T
_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
rang
e
s: fix how so
m
e ra
n
ges are joined
t
ogethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carp
e
nter
ra
n
ge
s
:
avoid
a
possible integer ov
e
rflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n C
a
rpenter
po
i
nter_
m
ath: ALI
G
N is n
o
t
bytes, but offsetof
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Car
p
enter
pointer
_
math:
d
on't complain
i
f a po
i
n
t
er mat
h
operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: silence false a ton of false p
o
s
i
tiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
ch
u
nk: improve expr_to_
c
hunk
_
sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: improve get_complicat
i
on_score
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpen
t
er
h
e
lper
:
e
x
port get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: export is_local_variable(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
a
rpenter
chunk: change the API a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan
C
a
r
penter
extra: st
a
rt tracking "ch
u
n
k
s" in
s
tead
o
f
j
u
st variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
ma
t
h
: give up if calculating
a valu
e
is t
o
o complica
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpe
n
t
e
r
implie
d
: turn off debug messag
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
an Car
p
e
nte
r
check_list
.
h: move s
t
ored_con
d
iti
o
n_li
n
ks next to st
o
red_c
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carp
e
nter
f
l
o
w: ig
n
ore arrays with ove
r
a 1000 elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpe
n
te
r
d
b
/fixup_kernel
.
sh: hack around slow rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
capped: u
s
e FOR_
E
AC
H
_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
p
e
nter
user_data2: add
s
kb_ne
t
w
o
rk_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
user
_
data2: handle p
o
inters to user data bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
C
a
rpe
n
t
e
r
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/km
e
mdup_user/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
t
est_bit: a
d
d set_bit() and
clea
r
_bit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
n
t
e
r
check_deref: remov
e
call t
o
g
e
ttin
g
_addres
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
e
state: make clo
n
e
_
e
state
(
)
take a
N
ULL po
i
n
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carp
e
nter
whit
e
space: change so
m
e spaces
t
o tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Car
p
en
t
er
debug: add some tools
f
or dev
e
loping the
d
b parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_s
i
ze:
i
mpro
v
e resizabl
e
s
t
ruct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
db: fix a
bug in split ret
u
r
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
ex
t
ra
:
i
n
troduc
e
get_e
x
tra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpenter
s
ma
t
ch: change al
l
remaining
r
ef
e
renc
e
s from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
i
gno
r
ed_m
a
cr
o
s: add SN
I
C_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreachable: ig
n
ore list_for_each_
e
ntry_co
n
t
inue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpe
n
ter
extra: handle x = (u8)y; correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
Ca
r
penter
implied: fix a
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
typ
e
: hand
l
e
t
ypeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math:
h
andle __s
m
a
tch
_
implied(&foo->bar) a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Car
p
e
n
ter
assigned
_
expr: store it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
function
_
hooks: f
i
x validation/sm
_
compare15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpenter
locking: add new down_timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_address: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
n
t
er
fi
x
up_k
e
rnel
.
sh:
igno
r
e 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
fixup_kernel
:
update t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: improve __s
m
a
tc
h
_states() ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
D
an Carpe
n
ter
flow:
i
g
n
ore parenthesis
in prev_e
x
pressi
o
n_is_getting_ad
d
re
s
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpente
r
unreachable: ignore netdev_for_each_l
o
wer_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpe
n
ter
f
low:
c
leanup prev_expression_
i
s_ge
t
ting_addre
s
s()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
an
C
arpen
t
er
flow: "&
f
oo->bar" is not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_addre
s
s: sepa
r
a
te things out
i
n
to
.
bs
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
D
an Carpenter
*ne
w
*
check_t
e
s
t_bi
t
: check for t
e
st_bit(BIT(0
)
, &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: sp
e
ed up ge
t
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpe
n
ter
t
ype: improve get_binop_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Ca
r
penter
flow: add a new expr->parent stru
c
t me
m
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpe
n
ter
fixup_kernel: hard
c
o
d
e __spi_
s
ync() return
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
er
fixup_kern
e
l:
k
m
all
o
c() can allocate mor
e
data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n
Carpenter
s
m
atch_addr
e
ss: sort pointers into d
i
fferent rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
an
C
arpenter
e
xtra: r
e
move so
m
e un
u
sed functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h
:
add the
c
o
m
p
ari
s
on hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
a
n C
a
rpenter
type_t
o
_str: fix
a
cr
a
shing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carp
e
nter
ignore
_
side_effects: get_chil
d
_
r
c
u
() double
e
valuates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
arpenter
implied
:
use comparison infor
m
at
i
on
for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an Carpenter
sm
a
tch
.
h: move s
t
r
ee_
s
tack
declara
t
ion
from smat
c
h_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
ros
e
nber
g
: a
d
d __builtin_mem
s
e
t/memcp
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
use
r
_data2: handle return
e
d struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
comparison: up
d
ate
a
com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carp
e
nter
sm
d
b
.
py:
u
pdate t
o
reflect LIMIT/FILT
E
R
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
u
nwind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
type: in
c
l
u
de smatch_slist
.
h to prevent a segf
a
ul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
don't
set
states to un
k
no
w
n a
t
the begin
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
extra: don't
s
e
t
tru
e
f
a
lse states if they are
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
function_
h
ooks: add
a hack aroun
d
in c
o
mpare_db_retu
r
n_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpent
e
r
list: add
a comment ab
o
ut regi
s
ter_
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
param_
l
imit: h
a
n
d
le struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
stat
e
s: whit
e
spa
c
e
f
i
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditio
n
s: ignore kn
o
wn/im
p
lied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
str
i
ngs
:
re
c
ord
s
tring a
s
s
i
gnment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
n
t
e
r
struct_assign
m
en
t
: save a l
o
t mo
r
e information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
param_limit
/
filter:
f
ix a ty
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison
:
h
andle ca
n
onic
a
l
f
or lo
o
ps w
i
th va
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next