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
user_data2: handle functions that merely return passed in user data
2017-01-20
Dan Carpenter
user_data2: h
a
n
d
le
f
unctions
t
hat
mere
l
y return pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
h
o
oks: introduce ASSIGNMENT_HOOK_
A
FTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
n
t
er
db: give up handling
function
pointers
if the
r
e
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 printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpent
e
r
user_data2: don't set
the functio
n
itself to user_dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
nter
use
r
_data2:
improve handlin
g
when we r
e
turn user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
function_hooks: d
o
n't mark it as i
m
po
s
sible if a f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
compari
s
on: modif
y
t
h
e links at at
s
tart of a
n
assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpe
n
ter
db
:
clea
n
u
p get_row
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
t
e
r
imp
l
ied: rename a functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
estate
:
add an estate_
i
s_empty() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
db/kernel
.
no_inline: don't
p
ars
e
th
e
bite swap fu
n
c
t
i
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
p
enter
ker
n
e
l: parse ATOMIC_SET() ma
n
u
a
lly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
r
e
turn_fixes: add some more fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpente
r
d
b/fixup_ker
n
el
.
sh:
handl
e
__
k
ernel_
w
rite() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
Carpen
t
er
vim_db
:
handl
e
older versions of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
f
i
x
u
p
_kern
e
l:
handle __builtin
_
bswap64
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_hooks: change orde
r
of
h
ow db ve
r
se implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
param_li
m
i
t
: don't insert empty states int
o
th
e
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpen
t
er
r
a
nges: use a h
a
ck ar
o
und so whe
n
m
e
rging
r
anges
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
type_val:
fix
a
me
m
ory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
fu
n
c
tion_ho
o
ks, db:
h
andl
e
PARA
M
_LIMIT for
s
tru
c
t membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
impl
i
ed: fix a
b
u
g
handling
p
arameter
im
p
lica
t
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
implied:
add more debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan C
a
rpen
t
er
d
b
: sort ret
u
rn_states by fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flo
w
:
t
iny
c
l
ea
n
u
p
handling assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpen
t
er
flow: remove an u
n
neede
d
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Car
p
enter
flow: rename a varia
b
l
e
"tmp" -
>
"right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
D
a
n Carpenter
ke
r
nel
.
i
g
nored_macros
:
add LASSERT() from lust
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
arpe
n
ter
function_
h
o
o
k
s
,
d
b: use IN
T
ERNAL as t
h
e ma
r
ker
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Ca
r
penter
db: handle function
pointers be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
D
an Carpe
n
ter
user_
d
a
t
a2: math: function calls should be han
d
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
e
nter
math:
f
ix a type
issue wit
h
MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpente
r
u
ntracked_param: functions that are too hai
r
y are untracka
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
Ca
r
p
e
nt
e
r
address: simplify is_non_null_ar
r
a
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Ca
r
penter
type_val:
u
se the cor
r
ect
t
ype in
g
et
_
db_
t
ype_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpente
r
implied: fix a
b
ug with borrowed implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpen
t
e
r
f
l
ow: handled dec
l
ared l
a
bels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carp
e
nter
r
a
nges: read u64max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
arpenter
smatch: remove t
e
sts to see if an
array is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
e
x
tra: handle "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 s
m
atch war
n
in
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
debug: ad
d
the __smatch
_
abso
l
u
te() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
bu
f
_
s
ize
:
Us
i
ng plain integer as NULL point
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
db: Usi
n
g plain
i
nte
g
e
r as
N
ULL
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpe
n
ter
ast-mo
d
el: U
s
ing plain integer
as
NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
d
e
b
u
g:
add a __smatch_absolute(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
user_data: sho
r
t ci
r
cuit a bunch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
d
ma_mapping_error: add p
c
i_dma_mapping_er
r
or() to
t
his
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
o
nt
i
nue_v
s
_break: add
it
c
hecklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
s
m
atch_
a
ddress: don't cr
a
sh o
n
invali
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
*new
*
contin
u
e_vs_break: compl
a
in if continu
e
is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch
.
h: reserve
some db types for later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: shuffl
e
some decl
a
r
at
i
ons around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an
Carpenter
smatch
.
h: sil
e
nce a co
m
pil
e
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
ca
p
ped: se
t
i
t to uncapped if i
t
's modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fixup_kernel
.
s
h
: wo
r
k aro
u
nd for
_
_to_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
db/fi
x
up_
k
ernel
.
sh
:
work
a
round for gfs2_e
a
_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
db/kernel
.
return_fixes: specify some
f
unctio
n
s that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carp
e
n
t
e
r
implie
d
: a
d
d more informa
t
ion t
o
the debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
de
b
ug:
p
rint if you
give a bad check name to __sm
a
tch_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carp
e
nte
r
sm
a
tch_data/wine: update wine data files
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
extra: add more
parameter d
e
references
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
math: d
o
n't cr
a
sh o
n
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
user_data2: sk
b
-
>data i
s
not user
data,
skb->data
[
0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
type_va
l
ue: it doesn't make
sense
t
o talk about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
ter
e
xtr
a
: im
p
rov
e
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 Car
p
enter
math
:
ignore byte sw
a
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
f
l
ow: handle while (42) {
.
.
.
} loo
p
s
b
e
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Ca
r
penter
comparison,function_hooks
:
r
emov
e
impossible p
a
ths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
p
e
nt
e
r
par
a
m_compare_
l
imit: like para
m
_limit
but
for compa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
nter
compar
i
s
o
n: add
a
FIX
M
E
regar
d
ing a bug I
notic
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
comparison:
l
oad
/
use
r
eturn com
p
ar
i
sons in the cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arp
e
nter
co
m
parison: load struct mem
b
e
r
info into the calle
r
_inf
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
an
Car
p
enter
co
m
parison: load the correc
t
c
ompariso
n
info
r
m
atio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
D
an Carpenter
fl
o
w: don'
t
call scope hook
s
until after th
e
END_FUN
C
_
H
OOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Ca
r
penter
modif
i
cati
o
n
_
h
o
o
ks: g
o
i
n
g out of
s
cope is not a modific
a
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
D
a
n C
a
rpenter
db/fixup_kernel
.
sh: update get_
u
ser
_
pages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpen
t
er
function
_
hooks
:
pull is_imposs
i
ble_data
(
) int
o
i
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpe
n
ter
comparison: cleanup
handle
_
compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpente
r
comparison: export som
e
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Da
n
Ca
r
p
e
nter
s
t
ates: nullify
_
path() sh
o
uld do free the fake_c
u
r
_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: ha
n
dle com
p
arisons tha
t
we
k
now
a
re
true
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
C
arpent
e
r
db: mark
some true false paths imp
o
ssi
b
le b
a
sed on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges, db: if we
c
an't f
i
lter by comparison then us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpen
t
er
db: h
a
ndle
neste
d
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpent
e
r
extra: re-write handle_AND_
c
o
n
dition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arp
e
nter
implied: h
a
ndl
e
im
p
ossib
l
e paths
f
rom
c
om
p
licat
e
d switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
implied: get rid o
f
the ->i
m
p
lied membe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
e
nter
implied: get rid of a
t
e
mporary varia
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpente
r
sm
a
tch_d
a
ta/wine
.
no
_
return_funcs: add mo
r
e fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_scripts/gen_no
_
return_funcs: fix this fo
r
o
t
h
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
an
C
arpenter
pre-process: make -no
s
tdinc work aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
check_wine: make report
(
R_FA
T
AL,
.
.
.
)
a nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
e
nter
validatio
n
/
sm_WtoA: add
s
ingle quotes in
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
C
arpenter
smatch_scri
p
ts: update the gen
_
* scripts to take
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
p
a
rse: ignor
e
_Pragm
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sm
a
tch_data
/
wine
.
i
g
nore
d
_macr
o
s
: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sm
a
tch_
d
a
t
a/wine
.
no_
r
eturn_
f
uncs: update th
e
list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
spa
r
se: add
/
usr/in
c
lude/x86_64-linux-
g
nu/ inc
l
ude
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next