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
extra: filter PARAM_VALUEs with both extra and real_absolute
2017-01-27
Dan Ca
r
pent
e
r
e
xtra: filte
r
PARAM
_
VALUEs with both extra and real_absol
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Ca
r
p
en
t
er
math: handle -foo b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
helper: int
r
oduce
get st
r
uct and mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: tiny sp
e
ed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
implied: small c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
rang
e
s:
h
andle bit
w
ise A
N
D
o
perations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
real_absolute: introduce get_real
_
a
b
so
l
ute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Ca
r
penter
avl:
a
dd a short cut
f
or wh
e
n t
h
e
r
e
are no sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
type_val: handle |= type assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
D
an Carpenter
db: rename "function_type_info
"
t
a
ble to "f
u
nc
t
ion_
t
ype"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
user_data2:
i
f a use
r
_
data i
s
eq
u
a
l to
n
on-user d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
pre-process: tr
y
find any include
that lo
o
k
s li
k
e it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
pente
r
comparison: remove s
o
me loc
a
l
_
debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpen
t
e
r
d
b
/fi
x
up
_
kernel
.
sh: write
to
the temporary DB i
n
ste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
ext
r
a: fix typ
e
issue
h
andling ++= and --= operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
p
enter
m
a
th:
r
emove unc
o
mm
i
tted
f
unct
i
on call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
f
ix
h
and
l
ing of si
z
e
o
f() __le16
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
e
r
ma
t
h:
h
a
ndle real_absolute variables more accurately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real
_
absolute:
i
g
n
ore ite
r
ator pre state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
helper: In ex
p
r_to_str(
)
re
m
o
ve extra parenthes
i
s around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
db: intro
d
uce sql
_
in
s
ert
_
data_info_var
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
db: use "extern"
in
s
tead of the file name for global
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
sp
a
rse:
introduce pa
r
se
_
erro
r
v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Ca
r
penter
user_d
a
ta2: handle fu
n
ctio
n
s that merely ret
u
rn passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
an Carpenter
hooks:
i
ntro
d
uce AS
S
I
GNME
N
T_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Car
p
ente
r
db:
g
ive up
h
andling function pointers
i
f there
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_da
t
a
2
: remove
some d
e
bug printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: don't
set t
h
e function itse
l
f to user_dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2
:
i
mprove
h
a
ndli
n
g when we return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Da
n
Carpenter
f
unction_
h
ooks
:
don't mark it as
i
mpossible if a fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Da
n
Carpenter
comparis
o
n:
modify
the links
at at
s
tart
o
f a
n
assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan C
a
r
pen
t
e
r
db: cleanup get_r
o
w_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
implied: rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
estate: add an estate_is
_
e
mpty() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
no_inline: don't
p
arse t
h
e bite swap functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
nter
kernel:
parse ATOMIC_SET() manu
a
lly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carp
e
n
ter
d
b
/
k
e
rne
l
.
r
e
t
u
rn_f
i
x
es:
a
dd
s
ome m
o
re fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
Carpente
r
db/fixup_kerne
l
.
sh
:
handle __
k
ernel_write
(
)
a bit be
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db: handle o
l
der versions o
f
vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
fixup_
k
ernel: handl
e
__builtin_bswap6
4
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpente
r
function_ho
o
ks:
c
h
ange order of how db
v
e
rse
i
mplied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
par
a
m_limit: don't in
s
ert emp
t
y
states into the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
ra
n
ges:
u
s
e
a hack
around
so w
h
en merging r
a
ng
e
s of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpenter
type_val: fix a memory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Car
p
enter
f
u
nction_hooks,
d
b: han
d
le P
A
RAM_
L
IMI
T
for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Ca
r
penter
implied: fix a
bug
handling p
a
ramete
r
i
mp
l
i
c
ation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
implied:
a
dd more
d
e
b
u
g informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db: sort return_sta
t
es by fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: ti
n
y cle
a
nup
h
andl
i
ng
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpent
e
r
flow: remove an
u
n
needed
c
ondition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Ca
r
p
e
nter
flow: r
e
name a variable "t
m
p" -> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
D
an
Carpenter
kern
e
l
.
ig
n
o
red_ma
c
ros: add L
A
SSERT() from
l
u
stre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
f
un
c
tion_hoo
k
s, db: use INTERNAL as the marker
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
an C
a
r
p
e
n
ter
d
b: handle function
pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
e
nter
user_data2
:
math: function calls
should be handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Da
n
Carpente
r
math: fix a type issu
e
with M
O
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
D
an Carpenter
u
n
t
r
acke
d
_param:
f
u
nc
t
i
o
ns that a
r
e to
o
hairy are u
n
trackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
addre
s
s: simplify is_non_null_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
type_val: use the
correct type in get_db_t
y
pe_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
Carpenter
im
p
li
e
d:
f
ix a bu
g
with
borrowed implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
f
l
ow: h
a
ndled decl
a
red
labe
l
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
r
a
nges: read
u64max
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
smatch:
r
emov
e
te
s
ts to see if an
array is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra: hand
l
e "if
(a + b
<
a)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist: Si
l
ence a sma
t
ch w
a
r
ni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
d
e
bug: add the __s
m
atch
_
absolute()
h
ook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
buf_
s
ize: Using plain integer as NUL
L
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
db:
Usin
g
plain
i
n
tege
r
as N
U
LL
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
pent
e
r
ast-model:
Using pl
a
i
n
integer as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
r
pen
t
er
debug: add
a
__smatch_absolute
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpen
t
er
user_data: sho
r
t circuit a b
u
nch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpent
e
r
dma_mapping_er
r
or: add pci_dma
_
mappi
n
g
_er
r
or() t
o
thi
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
conti
n
ue_vs_b
r
eak: add it
checkli
s
t
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_address: don't crash on inval
i
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
*
new* con
t
inue_vs_break:
c
om
p
lain
if cont
i
nue is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
s
match
.
h: rese
r
ve some db types for l
a
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
ente
r
smatch
.
h: shuffle some declarations arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Ca
r
pent
e
r
sm
a
tch
.
h: silen
c
e a compile warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Ca
r
penter
ca
p
ped: set it
t
o uncapp
e
d if
it
'
s m
o
d
i
f
ied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
pente
r
db/f
i
xu
p
_kernel
.
sh: work ar
o
un
d
f
or __to_fd
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
db/f
i
xup_ke
r
nel
.
s
h
:
w
or
k
around for
g
fs2_ea_fin
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db
/
kern
e
l
.
r
e
tur
n
_fixes: speci
f
y so
m
e fu
n
ctions
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Car
p
en
t
er
implie
d
: add
m
o
re inform
a
tion to the debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
ebug: pr
i
nt
i
f y
o
u
give a
b
a
d
check nam
e
to __smatc
h
_
sta
t
e
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
smat
c
h
_
data/wine: up
d
ate wine data
f
i
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
e
x
t
ra:
a
dd more pa
r
a
m
eter
d
ere
f
erences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
math: don't cras
h
on invali
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
user_data2: skb
-
>da
t
a is not u
s
e
r
d
a
t
a, skb->data[0]
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
ty
p
e_v
a
lu
e
: it
d
o
esn't
ma
k
e se
n
se to
t
alk about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an
Carpenter
extra:
improve
how "if
(foo &
~0
x
F)" is handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
math: ign
o
re byte swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
a
rp
e
nter
flow: ha
n
dle while (42) {
.
.
.
} loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Car
p
e
n
ter
compa
r
ison,function_h
o
ok
s
: remove impo
s
sib
l
e paths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an
C
arpente
r
param_com
p
a
r
e_limit: like par
a
m_limit but for c
o
mparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n
Carpen
t
er
comparis
o
n
: add a FIXME regarding a bug I no
t
iced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
C
a
rpenter
co
m
parison: load/u
s
e
retu
r
n compa
r
isons
i
n
t
he c
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comp
a
rison:
loa
d
struct
m
ember i
n
fo
i
n
t
o the
caller_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
c
o
mpa
r
ison:
l
oad the correct co
m
parison inform
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow
:
don'
t
call s
c
ope hooks un
t
il a
f
ter the END_FU
N
C_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpenter
modification_hooks: going out of
s
cope i
s
not a mo
d
ification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next