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
deref_check, check_deref: only consider pointers
2015-08-04
Dan
Carpente
r
deref_
c
heck, check_d
e
ref:
o
n
l
y co
n
sider
po
i
n
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan
Carpenter
stor
e
d_con
d
ition
s
:
rename mat
c
h_modify() to
m
atch
_
link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
an
C
arpenter
math: fix
a
n out of memory
i
ssue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
C
ar
p
enter
math: return
a bit e
a
rlier in handle_b
i
no
p
_
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
t
he false states match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
err_ptr: use
t
h
e actual values
t
o silence fa
l
se
pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
compar
i
s
on: fi
x
a
n oo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
f
ixu
p
_ker
n
el
.
sh: track kmalloc
e
d()
vs
.
te
x
t data
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpente
r
ext
r
a: don't try
t
o record the sta
t
e for literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carp
e
nter
fl
o
w: add a ->paren
t
member to state
m
e
n
t structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
enter
r
an
g
es
:
don't allow
s
o many inverted
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
C
a
rpente
r
type: improve g
e
t_memb
e
r
_t
y
pe_f
r
om_k
e
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
extra:
h
andle arrays b
e
tter using
t
h
e
c
hun
k
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan C
a
rpent
e
r
t
ype: make type_to_st
r
() handl
e
arrays b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Da
n
Carpen
t
er
help
e
r: tiny cleanup in
get_c
o
m
p
lication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpent
e
r
imp
l
ied: fix bug h
a
ndling un
m
atc
h
ed impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
D
a
n Carpenter
extra: fix
c
hunk
h
andl
i
ng a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
enter
vali
d
a
tion: fix a t
e
s
t
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
an
C
arp
e
nter
d
eref_che
c
k: silence
s
ome
f
alse p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpe
n
ter
deref_ch
e
ck: remove unnece
s
sary call to
g
etting_a
d
dress
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
a
r
penter
fixup_kernel
.
sh: fix the
r
tlwifi hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Car
p
e
n
ter
unconstant_macro
s
: a
d
d M
A
P_UNINI
T
IALI
Z
ED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist: rea
d
ing deleted items
i
n NEXT_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
ranges: fix how some ranges are
j
oined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
rang
e
s: avo
i
d
a poss
i
ble
i
nteger overflo
w
p
roblem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math:
ALIG
N
is not bytes, but of
f
s
e
tof() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
i
nt
e
r
_
m
ath: don't compl
a
i
n
if a pointer math operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
p
oi
n
ter_math: silen
c
e false a
t
o
n
of false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpe
n
ter
chunk: improve expr_to_ch
u
n
k
_
s
ym_v
s
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
er: imp
r
ove get_complication
_
sc
o
re()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
e
r: export ge
t
_
co
m
plication_scor
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan C
a
rpenter
type: e
x
port is_local
_
variabl
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
a
rp
e
nter
chunk: change t
h
e A
P
I a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Da
n
Carpenter
extra
:
start tracking "
c
hu
n
ks" instea
d
of just variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: give up if calculatin
g
a v
a
lue
is
t
oo complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpent
e
r
implied: turn off d
e
bug messa
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
check_list
.
h
:
mov
e
stored_condition_links next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpente
r
flow: igno
r
e arrays with over
a
1000 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan C
a
rpen
t
er
d
b
/fixup_kernel
.
sh: hack around slow rtl
w
i
fi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
capped: use FOR_EACH_MY
_
SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_
d
ata2: add skb_network_head
e
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpente
r
u
s
e
r_data2: handle poi
n
ters to
use
r
data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data:
a
dd km
a
p_atomic(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_
d
ata:
s
/kmemdup_us
e
r/memd
u
p_user
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
test_bit: add set
_
bit() and clea
r
_bit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an C
a
rpenter
check_deref: remove
c
all to ge
t
ting_add
r
ess()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpen
t
er
estate: mak
e
clone_estate() take a
N
ULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace
:
change some
s
paces
t
o
t
abs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
Carpenter
debug: add some tools for
d
eveloping the db p
a
rser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pe
n
t
e
r
buf_size: improve res
i
zable
s
truct 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
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Car
p
enter
extra: introduce get_extra_st
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
smatch: change all remaining refere
n
ces fr
o
m warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_macros:
a
d
d
S
N
IC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
an Carpent
e
r
unreachable: ignore list_for_each_entry_
c
ontinue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra
:
handle x = (u
8
)y;
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
im
p
lied: fix a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
pe
n
ter
type: handl
e
ty
p
e
of
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
m
a
th: handle __smatch_im
p
lied(&foo->
b
ar
)
a
l
ittle b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assigned
_
exp
r
: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
pente
r
function_hooks: fix valida
t
ion/sm_compare15
.
c
handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
l
ock
i
ng: add new d
o
wn
_
timeout(
)
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Car
p
enter
sma
t
ch_address: fix
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
i
xup_kernel
.
sh: igno
r
e
some __vfs_write() call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpent
e
r
fixup
_
kernel: update
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: improve
_
_smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan
C
arpenter
flow
:
i
g
n
o
re parenthesis
i
n pre
v
_ex
p
ressi
o
n_i
s
_getting_addre
s
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unreach
a
ble
:
ignore
netdev_for_eac
h
_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpente
r
f
l
ow: cle
a
nup prev_e
x
pressio
n
_is_getting
_
address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpe
n
ter
flow:
"
&
foo->ba
r
" i
s
n
o
t a
deref
e
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_a
d
dress: separate
things out into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Carpen
t
e
r
*new* check_test_bit: check
for t
e
st_b
i
t(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
ty
p
e: speed up
get_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: impro
v
e get_binop_ty
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
Carpenter
flow: add a new expr->p
a
rent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
ixup_kernel: hard code __spi_syn
c
() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
ixup_ke
r
n
e
l: k
m
al
l
oc() c
a
n
a
l
locate mo
r
e data
.
L
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
D
a
n
Ca
r
p
e
n
ter
s
matc
h
_addre
s
s
:
sort
pointers i
n
to different ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Ca
r
penter
e
x
tra: remove s
o
me unused func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
sm
a
tch
.
h: add the compar
i
son
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_to_str:
f
i
x a crashing
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an Carpe
n
ter
i
g
n
ore_side_ef
f
ects: ge
t
_child_rcu()
double
evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
D
an
C
arpent
e
r
impl
i
e
d
:
use
compariso
n
inf
o
rmation f
o
r
implicati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
smatch
.
h: m
o
ve stree_stack
d
eclaration from smatch_sl
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Ca
r
pe
n
t
e
r
rosenb
e
rg: add _
_
b
u
iltin_mems
e
t/
m
emcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Car
p
enter
user_data2: handle returned
stru
c
t
me
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
co
m
parison:
u
p
date
a
c
omment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
s
m
db
.
p
y
:
update to reflect
LIM
I
T/
F
ILTER ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
unwin
d
:
a
dd some null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type: include smatch_slist
.
h to p
r
event a segf
a
ul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
e
x
tra: don't set states to unkn
o
w
n
at the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
r
pente
r
extra: do
n
't set true f
a
lse state
s
if they are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
fun
c
ti
o
n_ho
o
ks: add
a
ha
c
k around in
com
p
are_db_return_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
t
er
l
i
st: ad
d
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
param_limit: handle struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
states: whi
t
e space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Ca
r
p
enter
conditions: ignore
k
nown/
i
mplied con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
arpenter
str
i
ng
s
:
r
ecord string assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
struct_assignm
e
nt: save
a lot more inf
o
rmat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit
/
f
i
lter: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next