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: improve expr_to_chunk_sym_vsl()
2015-07-14
Dan Ca
r
pente
r
chun
k
: improve expr_to_
c
h
unk_sy
m
_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
r
penter
helper: i
m
p
rove get
_
complication
_
score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpente
r
helper:
e
x
p
o
r
t
g
et_compl
i
cation_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpenter
type:
e
xpor
t
is_loca
l
_variab
l
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: change t
h
e
API a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Da
n
C
a
r
p
enter
ex
t
ra: start trac
k
ing "chunks
"
i
n
stead of jus
t
vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
D
an Carpenter
math:
g
ive up if calculating a value i
s
too c
o
mpli
c
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpent
e
r
i
m
pli
e
d
: turn of
f
d
ebug messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan C
a
r
penter
check_li
s
t
.
h:
m
o
ve store
d
_co
n
dition_lin
k
s ne
x
t to stored_c
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carp
e
nter
flow:
i
gnore
arrays with over a 1000 elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/f
i
xup_
k
erne
l
.
sh: ha
c
k
around
s
l
o
w rtlw
i
fi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpent
e
r
capped: use FOR_
E
A
C
H_
M
Y_S
M
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpent
e
r
user_data2: add skb_
n
etw
o
rk_header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_d
a
t
a2: h
a
ndle pointe
r
s to u
s
er
d
a
ta better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
ser_data: add kmap_atomi
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nte
r
use
r
_dat
a
: s/kmem
d
up_user/memd
u
p_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
test_bit: add
s
e
t
_bit(
)
and clear_bit()
f
unctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an C
a
rp
e
nt
e
r
check_deref: remove ca
l
l to getting_
a
ddr
e
s
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
an Carpenter
e
s
tate: make
c
lon
e
_es
t
ate() t
a
ke a
N
ULL
p
oint
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpente
r
whitespace: ch
a
nge some spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
Carpenter
deb
u
g: ad
d
s
o
m
e
tool
s
f
or developing th
e
db
p
ars
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan
Carp
e
nter
buf
_
size
:
i
mprove resizable struct h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasm
u
s Villemoes
elimina
t
e some cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpenter
e
xtr
a
: intr
o
d
uce get_extr
a
_s
t
ate
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
a
r
p
e
nter
s
match: change a
l
l remaining
referenc
e
s from
warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villem
o
es
prefix
smat
c
h generated files by smatc
h
_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
test_kernel
.
s
h: clean
u
p
.
c
.
smatch files
a
fter cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Documenta
t
ion:
m
ake me
less confus
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus Villemoes
trace_
p
arams
.
pl: fix hash/ha
s
h refer
e
nce confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
an
C
a
r
penter
ke
r
nel
.
ignored_
m
acros: ad
d
S
N
IC_B
U
G_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
penter
unreachable
:
i
gnore
list_f
o
r
_e
a
ch
_
entry_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carpe
n
ter
extra: h
a
ndle x = (
u
8)y; co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
implied: fix a
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an
Carpe
n
ter
typ
e
: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
Carpe
n
te
r
math: han
d
le __smatch_imp
l
ied(&foo->
b
ar)
a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
assigned_expr
:
s
tore it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
func
t
ion
_
h
ooks: fix validatio
n
/sm_compar
e
15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
ar
p
enter
locking: add new d
o
wn_timeo
u
t() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpent
e
r
smatch
_
addre
s
s: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup_kernel
.
sh: ignor
e
s
ome __vfs_write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpente
r
fixup_kernel: update t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
F
iro Yang
Makefile: eliminate a ll
v
m
-
config
b
uild warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Da
n
Carpe
n
ter
debu
g
: i
m
prove __smatch_states()
outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
f
l
o
w
: ignore parenthesis in prev_ex
p
re
s
sion_is_getting_addres
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carp
e
nter
unreachable: ig
n
ore
netdev_for_each_lowe
r
_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n Carpenter
flow: cleanup prev_express
i
on_is_
g
ett
i
ng_addres
s
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
flo
w
: "&foo
-
>b
a
r" is not a derefer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n
Carpenter
sma
t
c
h
_
address: separate things
out
i
n
to
.
bss a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* c
h
eck_tes
t
_bit: check for
t
est_bit(BIT(0), &fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
en
t
e
r
type: spe
e
d up get_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: improve
get_
b
ino
p
_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
f
l
ow: add a new expr->parent stru
c
t me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
er
fixup_kernel: hard code _
_
spi_sync() ret
u
r
n
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan C
a
r
p
enter
fixup_kernel:
kmalloc() can
a
llo
c
ate more d
a
ta
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_locking
.
c: Fix annoying
invisible
r
ea
d
_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
s
match
_
add
r
es
s
: sort pointer
s
into different ran
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra:
rem
o
ve some un
u
sed functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n C
a
r
penter
smatch
.
h: add the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carp
e
nter
type_to_str:
fix a
c
ra
s
hin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo
Yang
smatc
h
.
h: add estat
e
_get_
s
ingl
e
_val
u
e() declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
i
g
n
ore_
s
ide_effects: ge
t
_
ch
i
ld_rcu() doubl
e
evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
Carpenter
im
p
lie
d
:
u
se
comparison inform
a
tion for impli
c
ation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpenter
s
match
.
h: move stree_stack
declaration from s
m
atch_sl
i
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpenter
rosenberg: add
_
_builtin
_
m
emset/me
m
cpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
us
e
r_data2: handle returned
s
truct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n C
a
rpenter
compa
r
ison:
update a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an C
a
r
p
e
n
ter
smdb
.
p
y: up
d
ate to
reflect LIM
I
T/FILTER cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
unwin
d
: add some
null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
t
y
p
e: includ
e
smatch_slist
.
h to pr
e
ve
n
t
a
seg
f
au
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carp
e
nt
e
r
extra: don't set st
a
t
es to unknown at the
beginnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
extr
a
: don't set true false states if
they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nt
e
r
function_hoo
k
s: add a hack around in co
m
pare_db_return_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
list: add a comment about reg
i
ster_implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
pa
r
am_limit: handle struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
nter
states:
w
h
i
te
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
c
onditions: igno
r
e known/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
strings: re
c
o
r
d string as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
struct
_
assignment: save a
l
ot m
o
re
i
nformation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
a
rpenter
param_
l
imit/filter: fi
x
a ty
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silv
a
n Jegen
d
b: A
v
oid de
r
eferenci
n
g null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
en
t
er
comparison: handle canonical
f
o
r loops with va
r
i
able
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Ca
r
penter
comparison: unsi
g
ne
d
can
not be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow:
s
e
t __cur
_
stmt an
d
__prev_stmt inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpente
r
co
m
pa
r
iso
n
: me
r
ging equiv
a
lent s
t
ates is
n
ot und
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
comparison
:
fix an inde
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
function_hoo
k
s:
fix up db_c
o
mpare_ca
l
lb
a
ck
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
f
u
nction_hook
s
, debug: prin
t
impossi
b
le returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
te
r
helper: don't s
t
r
i
p
c
asting in get_arra
y
_
o
f
fs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
l
i
nks: exp
o
rt merge_link
_
s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
helpe
r
: make expr_to_str
(
) print
forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nte
r
typ
e
: make type
_
to_str() return a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpenter
modification_hooks
:
se
t
a v
a
riable as modifie
d
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpe
n
t
er
user_data2: tag it if a function
s
e
ts
parameters
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
arpen
t
er
st
a
ck: cle
a
nup a function protot
y
pe
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpen
t
er
dere
f
_check: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpent
e
r
type: make sval_type_m
a
x
(
) def
a
ult to "lo
n
g
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type: don't return SYM_NODE types from get_real_
b
ase_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpenter
sid
e
_ef
f
ects: the it
e
rate_al
l
_
k
i
n
d
s
()
m
a
cro ha
s
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unre
a
chable: don't compl
a
in a
b
out iter
a
te_a
l
l_k
i
nds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next