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
locking: add new down_timeout() function
2015-06-07
Dan Carpenter
l
ocki
n
g: add
new down
_
tim
e
o
ut() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
smatch_address: fix co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Ca
r
pent
e
r
fixu
p
_ker
n
el
.
sh:
i
gnore some __vf
s
_writ
e
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpente
r
fixup_k
e
rnel: update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug: i
m
prove __
s
match_states()
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
D
an
C
arpent
e
r
flow: ignore parenthesis in prev_e
x
p
r
e
ssion
_
is
_
getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unrea
c
hable: ig
n
ore netdev_for_each_l
o
wer_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n
Carpenter
flo
w
:
cleanu
p
prev_expressio
n
_
i
s_getting_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carp
e
nter
flow
:
"
&foo->bar"
is not a
dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
rpente
r
s
m
a
t
ch_address:
s
e
p
a
rate things out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan C
a
rpenter
*new
*
check_te
s
t_
b
it: check for
test_bit(
B
IT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpent
e
r
type
:
speed
u
p get
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpenter
type: improve ge
t
_binop_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan
Carpente
r
f
low: add
a
new expr->parent st
r
uct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
e
r
fixup_kernel: hard code
__sp
i
_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup
_
kernel:
k
ma
l
loc() can allocate more
data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan
C
arpente
r
sm
a
tch_address: sort pointer
s
into different r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: re
m
ove so
m
e
u
nus
e
d functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpen
t
er
s
m
a
tch
.
h
: add the c
o
mparison h
o
ok
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carp
e
nter
type_to_s
t
r
:
fix a crashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
D
an Ca
r
penter
ignore_side_e
f
fects: ge
t
_chi
l
d_rcu() doubl
e
e
valuates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
impl
i
ed: use compariso
n
inf
o
rmat
i
on fo
r
implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h: move st
r
ee_s
t
ack declaration from smatc
h
_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenberg: add
_
_builtin_
m
em
s
et/memc
p
y()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
user_data2:
handle returned stru
c
t members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
comparison
:
up
d
ate a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
s
m
db
.
p
y
: update t
o
refle
c
t
LIMIT/FIL
T
ER change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
unwind: add some n
u
ll checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
typ
e
: include
smatch_slist
.
h
t
o
prevent
a
segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
don't set s
t
ates to un
k
no
w
n a
t
the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
extra: do
n
't
set
t
r
u
e false st
a
t
e
s i
f
they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpent
e
r
function_hooks:
a
dd a hack aro
u
n
d in com
p
are_db_return_
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: ad
d
a
comment about reg
i
s
ter
_
imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
p
aram_l
i
mit: hand
l
e
struc
t
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpent
e
r
states: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
conditio
n
s: i
g
nore known/
i
m
p
l
i
ed conditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
penter
s
t
ring
s
:
record s
t
ring assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
Carpenter
str
u
ct_assignment: save a
l
ot m
o
re information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
p
aram_limit/filter: fix
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compar
i
son: handle canonical for lo
o
ps
w
ith va
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpen
t
e
r
comparison: unsigned
c
an not be less than
z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carp
e
nter
f
low: set _
_
c
u
r_stmt and __prev_stmt insid
e
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nt
e
r
c
o
mparison:
me
r
ging equivalent
state
s
i
s
not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compa
r
ison: fix
a
n indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpe
n
te
r
f
unc
t
i
o
n_h
o
oks: fix u
p
db_
c
ompare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpen
t
er
f
unction_hooks, debug
:
print impossi
b
le returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpe
n
te
r
help
e
r:
don't s
t
r
ip
casting in get_a
r
r
a
y_o
f
fs
e
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
n
te
r
links: export merge_link_st
a
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: m
a
ke expr_to
_
str
(
) print forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
type: make typ
e
_to_st
r
(
) return a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mo
d
ifi
c
ation_hooks: s
e
t a varia
b
le as modifie
d
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
u
s
e
r_data
2
: tag it if a function set
s
p
ara
m
eters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack:
c
le
a
nup a functio
n
prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carp
e
nter
deref_ch
e
ck: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
C
a
rpe
n
t
er
typ
e
:
m
ake
s
val_type_max()
d
efault to
"
l
o
ng
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
n
ter
t
y
pe
:
don't r
e
turn SYM_NODE types from
g
e
t_re
a
l_base_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Carpent
e
r
side_
e
ffects: the
iterate_all_kinds() macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpenter
u
n
reachable:
don't co
m
plain about iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flo
w
: fix "foo += !bar;" as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n Carpent
e
r
lib: han
d
l
e -f
u
nsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
ke
r
n
e
l
.
i
gnore_side_e
f
fec
t
s: ad
d
some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenting: a
l
low "break; cas
e
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpen
t
er
user_data2: mark sscanf() output a
s
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
math,
r
l: fix handing div
i
sion involvin
g
negative numb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
enter
s
v
a
l
: fix sva
l
_binop_o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
prec
e
dence:
c
omplain about "foo <<
b
a
r
-
b
az"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpen
t
er
flow: handle
struct
in
i
tializa
t
ion better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpenter
e
s
tate:
add a NULL check in
e
s
tates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
r
p
en
t
er
param_used:
st
o
re wh
e
n a p
a
rame
t
e
r
is us
e
d so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpente
r
extra: ign
o
re more __in
_
fake_assi
g
n
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparis
o
n: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpenter
type: ad
d
an expr_
s
igne
d
() function that ma
t
ches e
x
pr_unsign
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpent
e
r
smdb
.
py: add functions
t
o show functions imp
l
ementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
a
r
p
enter
ex
t
ra:
handle
t
emporary shor
t
hand poin
t
e
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
d
e
references_p
a
ram: look for pointers used as an arra
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
e
r
c
h
eck_indenting
:
warn abo
u
t
m
i
ssi
n
g curly br
a
c
es and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
param_cleare
d
: add a c
o
mme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
an C
a
rpenter
va
l
i
dation: correct s
o
me output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
d
b: build indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Ca
r
penter
slist: fix comp
i
le breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpent
e
r
ke
r
nel_printf: silence some false
positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: record which strings are b
e
ing used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
user
_
data2
:
tu
r
n o
n
skb->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
db: rename FI
L
TER_VALUE,
L
IMI
T
ED_VALUE, a
n
d ADDED_VAL
U
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
k
ernel_printf: sile
n
ce some "struct
sockaddr
" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
type: add unio
n
s to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan C
a
rp
e
nter
type_val
u
e: spe
e
d up loa
d
ing the dat
a
b
as
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Car
p
en
t
er
*new* ret
u
rn_c
a
s
t
: complain
about return
-
EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
fo
r
m
a
t
_str
i
ng: d
e
lete this because ch
e
ck_
k
ernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
function_ho
o
ks: add some de
b
u
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
r
p
enter
extra: cleanup db_
p
aram_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: separate P
A
RA
M
_LIMIT a
n
d PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
function_hooks: don't t
a
ke a short
c
ut for "
n
e
e
dless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introdu
c
e alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
m
a
th: ha
n
dle "i
f
(likely(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
ma
t
h: fix/clean
u
p d
o
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
capped:
don't
r
e
c
ord single va
l
u
es as
c
a
p
p
ed in
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
db: export ge
t
_stati
c
_
f
i
lt
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
u
s
e
r
_data2: wrong
paramete
r
tagged as user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
r
o
senberg:
delete some cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next