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
helper: improve get_complication_score()
2015-07-14
Dan Car
p
enter
helper: improve get_comp
l
icatio
n
_sco
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpenter
helper: export get_complication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n Carpenter
type
:
exp
o
rt is
_
local_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Carpenter
chunk: ch
a
nge the API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
e
x
tra: sta
r
t tracking "chunks" instead
o
f
just variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Carpenter
math: g
i
ve
up
i
f calculati
n
g a value is too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Da
n
Carpe
n
ter
implied: tu
r
n off de
b
u
g me
s
s
a
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_lis
t
.
h: move stored_condit
i
on_l
i
nks next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
D
an Carpenter
fl
o
w: ignore ar
r
ays with o
v
er a 1000 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
d
b
/
fixup_ker
n
el
.
sh: hack
aro
u
nd s
l
ow rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Ca
r
p
enter
cappe
d
: use FOR_
E
ACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
us
e
r_data2
:
ad
d
sk
b
_networ
k
_h
e
ader()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: hand
l
e
p
oi
n
ters t
o
user d
a
ta better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpent
e
r
u
s
er_data: add kmap_a
t
om
i
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data: s/kmemdup_user/memdup
_
user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n C
a
rpenter
test_bit: add set_bit() and clea
r
_bit() f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpe
n
ter
check_de
r
ef:
r
emo
v
e call
t
o
gettin
g
_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
Carpenter
estate: make clone_estat
e
() ta
k
e a N
U
LL
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpent
e
r
w
hitespace: chang
e
s
om
e
spaces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Car
p
enter
de
b
ug:
a
dd some
tools fo
r
developing the db pars
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpen
t
er
buf_size: i
m
prove resizable
s
tru
c
t
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Vi
l
lem
o
e
s
e
liminate some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
ar
p
enter
db: fix a bug in split return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
ext
r
a: i
n
trodu
c
e
g
e
t
_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Car
p
enter
smatch: change all rem
a
ining references f
r
om
w
a
r
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
pre
f
ix sm
a
tch generated file
s
by
s
match_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Ville
m
oes
test_
k
e
r
n
e
l
.
sh: c
l
e
a
n up
.
c
.
smatc
h
fi
l
es after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
smus Vil
l
emoes
Documentation: make me less con
f
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vi
l
lemoes
trace_params
.
pl: fix ha
s
h
/
has
h
r
eference confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored
_
mac
r
os: add SN
I
C_BUG_
O
N(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carp
e
nt
e
r
unreacha
b
le: ignore list_for_eac
h
_entry_con
t
inu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpen
t
er
extra
:
hand
l
e x = (u8)
y
; correc
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an
Carpenter
imp
l
ied: fi
x
a
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
te
r
ty
p
e: handle ty
p
eof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpe
n
ter
ma
t
h: handle __sm
a
t
c
h
_
implied
(
&
f
oo->bar) a littl
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpe
n
ter
assigned_
e
xpr: store
it
l
ate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
function_ho
o
ks: fix va
l
ida
t
i
o
n/sm_co
m
pare15
.
c hand
l
in
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking: add ne
w
dow
n
_timeout()
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
sm
a
tch_a
d
dress: fix co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fi
x
up_
k
e
rn
e
l
.
sh: i
g
n
o
re some __vf
s
_writ
e
()
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpente
r
fixup_ker
n
el: update types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makef
i
le: el
i
m
inate a llvm-
c
onf
i
g bu
i
l
d
warnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Da
n
Ca
r
pente
r
debug: improve __smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
a
n
C
ar
p
e
n
t
er
flow:
ig
n
o
re parenth
e
sis
i
n
prev_expres
s
ion_is_getti
n
g
_addre
s
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan C
a
rpenter
un
r
eachable: i
g
nor
e
netdev
_
f
o
r_each_lower_dev
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an C
a
rpent
e
r
flow: cleanu
p
prev_ex
p
ression
_
is_getti
n
g_ad
d
ress()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
r
penter
flow: "&foo->bar" is not a deref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n Carpenter
smatch_address: sep
a
rate things out in
t
o
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new
*
check_
t
es
t
_b
i
t: check
f
or test_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpen
t
er
type: improve get_binop_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow: ad
d
a new expr->par
e
nt st
r
uct m
e
m
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n Car
p
e
nter
fixup_kern
e
l: hard code __spi_sync() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kerne
l
: k
m
alloc() c
a
n
a
l
locate more data
.
L
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_locking
.
c:
F
ix an
n
oying invisi
b
le read_u
n
lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpente
r
smat
c
h_address:
sort po
i
n
ters
i
nto different ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
e
xtr
a
: remove som
e
un
u
s
ed
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h: add the compar
i
s
o
n
h
ook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan C
a
rpenter
type_to_str: fix a cr
a
s
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
s
m
at
c
h
.
h:
a
dd estate_
g
et_single_
v
alue
(
) declaratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpe
n
ter
ignore_side_effect
s
: get
_
child_r
c
u() double eval
u
ates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
arpenter
i
m
plied: use comparison i
n
fo
r
mation
fo
r
implica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
s
m
atch
.
h: move
s
tree_stack declarati
o
n from smatch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenbe
r
g: ad
d
_
_
b
uilt
i
n_memset/mem
c
py()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
user_data2: ha
n
dle
r
eturned struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
compa
r
ison
:
update a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
s
mdb
.
py: u
p
date
to ref
l
ect LIMIT/FILTER
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwind:
add some null ch
e
ck
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
typ
e
:
i
n
clude smatch_slist
.
h to prevent a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Car
p
en
t
er
e
x
t
ra:
d
on't
s
et states
t
o unk
n
own a
t
the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
extra: don't set tr
u
e false states if t
h
ey are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
f
u
nction_hook
s
: add a hack ar
o
u
n
d in compar
e
_db_r
e
turn_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpen
t
er
list: add a c
o
m
ment abo
u
t regi
s
ter_impli
c
a
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
penter
param_limit: handle s
t
ru
c
t member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
stat
e
s: whi
t
e space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
c
o
nditions:
ignore known/implied con
d
ition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings:
r
ecord str
i
ng
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
t
ruct_assignment: sa
v
e a lot more inform
a
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
n
t
er
para
m
_limit/filter: fix
a
type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan
J
egen
db:
Avoid derefere
n
cing null
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compari
s
on: handle
c
a
n
o
nical
f
or loops w
i
th variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison:
u
nsi
g
ned can no
t
be l
e
ss than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpenter
flow:
set
__
c
ur_stmt
and __prev_stmt insi
d
e for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n C
a
rpenter
c
omparison: merging equivalen
t
states is
not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpente
r
co
m
pa
r
ison:
f
i
x
an inde
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
function_hooks:
fix up db_c
o
mpare_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks, debug
:
print imp
o
ssible returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
ar
p
en
t
er
h
elper
:
don't strip casting in get_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
li
n
ks: export merge
_
li
n
k_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
e
lper: make
e
x
p
r
_to_
s
t
r() print forced ca
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
type: make t
y
p
e_to_str
(
) return a sname
(
) buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
modifi
c
ation_h
o
o
k
s:
s
e
t
a
v
ariable as modifi
e
d when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
user_dat
a
2: tag it if
a
function s
e
ts parameter
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
s
t
ack: clea
n
u
p
a function prototyp
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
deref_check:
i
gnore arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Ca
r
p
enter
type: make
s
val_typ
e
_m
a
x() default to "lon
g
long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carpenter
ty
p
e: don't return S
Y
M_NODE
t
ype
s
fr
o
m
get_real
_
b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n
C
arpenter
side_eff
e
cts: th
e
itera
t
e
_
all_ki
n
d
s
(
)
m
a
cro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
n
t
er
u
n
r
each
a
ble: don't c
o
mpla
i
n
a
bo
u
t iterate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
D
a
n
C
arpenter
flow:
f
i
x "foo +=
!
bar;
"
a
s
signm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next