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
db: use "extern" instead of the file name for globals in data_info
2017-01-20
Da
n
Carpenter
d
b
: use "extern"
inste
a
d of t
h
e
file name for globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: in
t
roduce pars
e
_error variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
user_data
2
:
handle func
t
ions t
h
at me
r
ely
r
eturn p
a
ssed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
an Carpenter
hoo
k
s: introduce ASSIGNMENT_HOO
K
_AFTE
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpente
r
db: give up hand
l
ing function pointers if there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_dat
a
2: remove some debug
p
rintfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
us
e
r_data2: don
'
t set the function itself to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
D
a
n C
a
rpenter
user_data2: imp
r
ove handling
when we return user
d
ata
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n Ca
r
pe
n
te
r
func
t
i
o
n
_
hooks: don't
m
ark it as impo
s
sible if a funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n
C
arpenter
comparison: modify t
h
e
link
s
at
a
t
start
of an as
s
ignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpent
e
r
db: cleanup
ge
t
_row_coun
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
implied: rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpen
t
er
esta
t
e: a
d
d an esta
t
e_i
s
_empty() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
db/kernel
.
no_inline: don't parse th
e
bite swap
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
kernel: parse ATOM
I
C_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
db/kerne
l
.
ret
u
rn
_
fixes:
a
dd s
o
me mo
r
e fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
d
b
/fi
x
up_kernel
.
sh: h
a
n
d
l
e __kernel_
w
rite
(
)
a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rp
e
nter
v
im_db:
h
andle
older versions of v
i
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
db/fixup_kernel: handle __builtin_bs
w
a
p
64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Ca
r
p
e
nter
function_ho
o
ks: c
h
ange
ord
e
r of h
o
w
db
v
e
r
se implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpente
r
param_limit: don't insert empty states i
n
t
o
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
ranges: use a hack
around so
whe
n
mer
g
ing ranges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
type_val: fix a me
m
or
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arp
e
nter
function_hooks, db
:
handle
PARAM_LIM
I
T for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
implied: fix a bug
h
andling parameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpenter
impl
i
ed: ad
d
more de
b
ug infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db:
s
o
rt return_states by fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Carp
e
nte
r
flow: tiny
cleanup handling ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
f
l
ow
:
r
e
mov
e
an
u
nneeded conditio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
fl
o
w: rename a
v
ar
i
ab
l
e "t
m
p" ->
"right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
k
ernel
.
ignored_macros:
add
L
A
SSERT()
from l
u
str
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carp
e
nter
funct
i
on_ho
o
ks, db: use INTERNAL as t
h
e
ma
r
ker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Da
n
Car
p
enter
db: handle
functi
o
n poin
t
er
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carp
e
nter
user_
d
ata2: mat
h
: function calls should
be
handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
e
n
ter
m
a
t
h: fi
x
a
type issue with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpenter
untr
a
cked_param:
f
uncti
o
ns that
a
re too hairy ar
e
untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
rpente
r
address: si
m
plif
y
i
s
_n
o
n_null_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
rpe
n
t
e
r
type_val: use
the
c
orr
e
ct type
in get_
d
b_
t
ype_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
an Carpent
e
r
imp
l
ied: fix a bug with borrowed
i
mplication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flow: handled declared labels b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Car
p
enter
ra
n
ges:
read u64max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
sm
a
t
ch: remove tests to s
e
e if an
a
rra
y
i
s NU
L
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
ar
p
ent
e
r
ex
t
ra: han
d
le "if (a + b <
a
) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
slist:
S
ilence a smatch w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
debug: add the __smatch_absolute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
buf_size:
U
sing pl
a
in integer
a
s
NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
db: Using
p
lain int
e
ger as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
ast
-
model: Using plain integer as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
debug: add a
__smatch_ab
s
olute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
user_
d
at
a
: short circu
i
t a bu
n
ch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
dma_m
a
pping
_
error: a
d
d
pci_
d
ma_mapping_error()
t
o this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arp
e
nter
continue_vs_break: add
i
t c
h
eck
l
ist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
smatch
_
address: don't crash on
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
penter
*
n
e
w* continue_vs_b
r
eak:
c
omplain i
f
continue
is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatc
h
.
h: reserve some db types for later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
sma
t
ch
.
h: shuffle som
e
declarations
arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
en
t
er
smatch
.
h: silence a com
p
i
le warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpen
t
er
capped
:
s
e
t it to uncapped if it's modifi
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Car
p
enter
db/fixup_kernel
.
sh: work around for __to
_
fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db
/
fixup_kernel
.
sh
:
work around for gfs2
_
ea_fi
n
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
db/
k
ernel
.
r
eturn_fixe
s
: s
p
e
cify
s
o
me func
t
ions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
i
m
pli
e
d: ad
d
m
ore informa
t
i
on
t
o the
debug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
rpenter
debug: p
r
int if you give
a
bad check name to
__smatch_sta
t
es
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
r
penter
s
match_d
a
ta/wine: update wine data
fi
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
ent
e
r
extra: add
m
ore para
m
ete
r
derefe
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
m
a
th: don'
t
crash
on invalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
u
s
er_data2
:
skb->data is not user data, skb
-
>data[0] i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
t
y
pe_valu
e
: it doesn't ma
k
e
sense to
t
a
l
k a
b
out the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
extra: improve
h
ow "if
(
foo & ~0x
F
)
"
is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
math: ignore
byte swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
flow:
handl
e
while (42
)
{
.
.
.
} loop
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
comparison,fu
n
ction_hooks: re
m
ove imp
o
ssible paths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpent
e
r
param_compare_l
i
mi
t
:
like param_limi
t
but f
o
r comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
rpenter
compa
r
ison
:
add a FIXME
re
g
arding a bug I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
compariso
n
: lo
a
d/u
s
e return comparisons in the cr
o
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comp
a
r
ison: loa
d
struct member i
n
fo
i
nto t
h
e caller
_
i
nfo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Carpenter
c
o
mp
a
rison: lo
a
d
the
correct
c
omparison information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow: don't call scope h
o
oks until aft
e
r the EN
D
_F
U
NC_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
Carpente
r
modification_hook
s
: going out of scope is
no
t
a modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan C
a
r
penter
db/fixup_kernel
.
sh: update ge
t
_user_
p
a
g
es() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n Carpente
r
f
u
nct
i
on_hooks: pull is_impos
s
i
b
le_data() into
i
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpenter
comp
a
r
i
so
n
: cle
a
n
u
p handle_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Da
n
Car
p
ente
r
co
m
pa
r
i
s
on: expo
r
t s
o
m
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpenter
states: nullify_path() shou
l
d do free the fak
e
_
c
ur_
s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n Carpenter
db
:
ha
n
dle comparisons t
h
at we know are true better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n Carpenter
db: mark so
m
e true
false pat
h
s impo
s
sible bas
e
d
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges, db: i
f
we can't filter by com
p
ariso
n
th
e
n use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpe
n
t
er
db: handle nested calls bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Da
n
C
arp
e
nter
extr
a
:
r
e
-write
han
d
le_
A
ND_c
o
ndition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
im
p
li
e
d: handle impossible paths f
r
om complica
t
e
d switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid
o
f t
h
e
->implie
d
m
e
mbe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpente
r
implied: get rid of a
t
empora
r
y variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_data/wine
.
no_return_funcs: add
m
o
r
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n
Carpen
t
er
smatch_scripts/
g
en_no_return_funcs: fix
t
h
is
for other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
pre
-
process
:
m
ake -nostdinc
w
o
r
k a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
ch
e
ck_w
i
ne: make report(R_FATAL
,
.
.
.
) a n
u
l
lify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
ter
validation/sm_WtoA: add sing
l
e quotes i
n
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
smatch_s
c
ripts:
u
pdat
e
t
h
e gen_
*
s
c
ripts to tak
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
e
n
ter
parse: ig
n
or
e
_Prag
m
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpe
n
ter
smatch_data/wine
.
ignored_macros: ad
d
ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next