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
chunk: change the API a bit
2015-07-11
Dan Carpente
r
chunk: chan
g
e the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: start tracking
"chunks" instead
o
f
just va
r
i
a
b
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Da
n
Ca
r
pente
r
mat
h
:
give
u
p if calculating
a
value is too compli
c
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpent
e
r
implied: turn
o
ff debug
messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
c
heck_
l
i
st
.
h: move stored_c
o
ndi
t
ion_li
n
k
s next to st
o
r
e
d_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignore arr
a
ys wi
t
h
over a 1000 ele
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db
/
f
ixup_ker
n
el
.
sh: hack around slow rtl
w
ifi
tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
pe
n
t
er
capped: use FOR
_
EACH_MY
_
SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
user_data2: add
skb_networ
k
_he
a
der()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
e
nte
r
user
_
data2: han
d
le pointers t
o
user d
a
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_da
t
a
:
add kmap_atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carp
e
nte
r
u
s
e
r_data: s
/
kme
m
dup
_
user/
m
emdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
test_b
i
t: add set_bit(
)
a
nd cl
e
ar
_
bit() functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
check_
d
eref: remove call to get
t
ing_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: m
a
k
e
clone
_
est
a
te()
take a NUL
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespac
e
: chang
e
some spaces to
tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
debu
g
: add som
e
tools for devel
o
pin
g
the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
Carpenter
buf_size: impro
v
e
resiza
b
le
stru
c
t handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus
V
i
llemoes
elimi
n
at
e
some ca
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: f
i
x 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:
i
ntroduce g
e
t
_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
s
m
a
t
c
h: change all
r
emaining reference
s
f
r
o
m
w
arns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
pr
e
fix smatch generated files by
smatch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s
Villemoes
test_
k
ern
e
l
.
sh: clean up
.
c
.
sma
t
ch f
i
les after cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Docume
n
t
a
tion: make me less c
o
nfused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Vill
e
moes
t
race_params
.
p
l
:
f
ix hash/ha
s
h referen
c
e co
n
fusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
an Carpenter
kernel
.
ignored_macro
s
: add SNIC_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpen
t
er
unreachab
l
e
:
ig
n
ore list_for_
e
a
ch_entry_co
n
tinue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
en
t
er
ext
r
a: ha
n
dle
x
= (u
8
)y; co
r
r
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
implied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
type: ha
n
dle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpen
t
er
math: handle __smatch_
i
m
pl
i
ed(&foo
-
>
b
ar) a
l
ittle
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
a
ssi
g
ned_ex
p
r: store
i
t late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
function_
h
ooks: fix v
a
l
id
a
tion/sm
_
compare15
.
c
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
locking: add
n
ew down_timeout() fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
a
rpe
n
ter
smatch_addr
e
ss: fix compil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rp
e
nter
fix
u
p_kern
e
l
.
sh
:
ignore some
_
_vfs
_
write
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
ent
e
r
fixu
p
_ker
n
el: update type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
M
a
kefile
:
e
l
imina
t
e a llvm-config bui
l
d
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpe
n
ter
debug: im
p
rove __
s
matc
h
_stat
e
s()
ou
t
pu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
fl
o
w: ig
n
o
re par
e
n
t
h
esis
in prev_
e
xpression_is_ge
t
ting_a
d
dress(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpenter
unreachable: ignore ne
t
dev_for_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
Carp
e
nter
flow:
c
leanup
prev_exp
r
ession_is
_
gett
i
ng_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
flow: "&foo-
>
bar" i
s
not a
d
ereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_addr
e
ss: separate t
h
i
n
gs out i
n
to
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Car
p
e
n
ter
*ne
w
* c
h
eck_test
_
bit: check for
t
est_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
penter
type: speed up
g
et_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
an C
a
rp
e
nter
type
:
i
m
prove
g
et_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow:
add
a
new expr->
p
arent struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpe
n
ter
f
ixup_kernel: hard code __spi_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
er
fixup_kernel: kmalloc
(
) can allocate
more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
chec
k
_locking
.
c
:
F
i
x annoying inv
i
sible re
a
d_unloc
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan
Carpen
t
er
smatch
_
add
r
ess: so
r
t pointers into differe
n
t ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
C
a
rp
e
nter
e
x
tra: remov
e
some unused fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan C
a
rpent
e
r
smatch
.
h: add
t
he compari
s
on hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpent
e
r
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-22
Firo Yang
sma
t
c
h
.
h: add estate_get_single_value() declar
a
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
D
a
n
Carpenter
igno
r
e
_
side_effec
t
s: get_child_rc
u
() do
u
ble eval
u
ates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
Carpenter
implied
:
use compa
r
ison in
f
orm
a
tion for impl
i
c
a
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpent
e
r
smatch
.
h: move stree_
s
tack declarat
i
on
f
r
o
m smatch_s
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Car
p
enter
rosenber
g
: add __builtin_mem
s
et/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
us
e
r_data2: handle returned struct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carp
e
nter
c
omparis
o
n: updat
e
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
smdb
.
py
:
up
d
ate to reflect LIMI
T
/FIL
T
ER ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
type:
i
nc
l
ude
s
match_sli
s
t
.
h to prevent a segfau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpen
t
er
e
x
tr
a
: don't
set states to unkno
w
n a
t
t
he beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: don't set tr
u
e false states i
f
they are th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
function_hooks: add a hack around in comp
a
re_db_return_sta
t
e
.
.
.
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
out regist
e
r_impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
param
_
limit: handle struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
s
tates: white space
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
con
d
itions: ig
n
ore know
n
/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings: re
c
o
r
d s
t
r
i
ng assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nter
struct
_
assignment: save a lot
m
o
r
e
infor
m
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
p
a
ram
_
li
m
it/filter: fix a
t
ype bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Si
l
van
J
egen
db:
A
v
oid der
e
ferenci
n
g nu
l
l pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
com
p
ariso
n
: h
a
ndl
e
canonical
for loops with variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpent
e
r
comparison
:
unsign
e
d c
a
n not be l
e
ss than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow
:
s
et __cur_stmt and __prev_stmt in
s
ide f
o
r
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
pe
n
ter
comparison: merging
equi
v
ale
n
t stat
e
s is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
mparison: fix
an
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Car
p
ent
e
r
function_hooks: f
i
x up
d
b
_
comp
a
re_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
functio
n
_hooks, debug: prin
t
impossible return
s
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
arpenter
helpe
r
:
d
on't strip c
a
sting in get_arra
y
_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
links
:
expor
t
m
e
rge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: make
ex
p
r_to
_
st
r
()
p
r
i
n
t
forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
type: make type_to_str() ret
u
r
n a sname() bu
f
fer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
modification_hooks
:
set a vari
a
ble as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
us
e
r
_data2: tag it i
f
a f
u
nc
t
ion sets parameter
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
s
t
ack: cleanup a function pro
t
otyp
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
deref_chec
k
:
ignore arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
ty
p
e: make sva
l
_type_max(
)
defa
u
lt to "l
o
ng
lo
n
g"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpe
n
ter
type: don't return S
Y
M_NO
D
E types from get_real_
b
ase_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
side_effects: t
h
e it
e
ra
t
e_all_kinds() macr
o
has si
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
u
nreachab
l
e: don't complain
a
b
out iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
an C
a
rpenter
f
l
o
w
: fix "foo += !bar;"
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpent
e
r
lib: handle -funsigned-c
h
ar
o
p
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kern
e
l
.
i
gnore_side_effec
t
s
:
add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpen
t
er
i
ndenting: all
o
w
"break; case
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next