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/fixup_kernel.sh: ignore more __vfs_read/write() calls
2017-04-11
Dan C
a
rpenter
s
m
db
.
py: reformat
c
all
_
i
nfo output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
Ma
k
efile:
use quiet link to link smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
s
t
ate
s
:
fix handling switches inside conditions
(
fake
_
cur_str
e
e)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: split update_fake_
s
t
ree_with_me
r
g
ed() and
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpenter
typ
e
_val: s
m
all tweak for arrays a
n
d complicated l
v
alues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
penter
e
xtra:
ha
n
dle
i
ndirection lik
e
"p =
&foo; *p = 42
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan C
a
rpe
n
ter
extra:
handle M
O
D condit
i
o
ns like "if (a % 4) {" bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
pen
t
er
m
o
dification_
h
ooks: rem
o
ve un
u
sed indirect modificat
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
enter
valid
a
tion/s
k
b3:
delete some accide
n
tal debug
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: don't set
p
a
rameters t
o
user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
us
e
r
_data2: ha
n
dle s
k
b->data mat
h
a little
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpente
r
user_data2: r
e
-
w
ork handling of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
e
nter
parse_c
a
ll_ma
t
h: wor
k
a
r
ound for
l
o
o
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carp
e
n
t
e
r
leaks: d
o
n'
t
c
o
mplain
i
f we
overwrite N
U
LL point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
free:
i
gnore
i
m
poss
i
bl
e
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
s
hift_to_zero: make the error
message more i
n
formative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
test_bit: a
d
d test_and
_
clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
s
mdb
.
py: print th
e
return
_
i
mpli
e
s val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup_kern
e
l
.
sh: ignore do_loop_readv_writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
extra: set hard
m
ax
if a functio
n
is c
a
lled with
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: fix handli
n
g of known c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
a
rpenter
par
a
m_limit: don't set some unchanged lim
i
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
db: prevent slow
d
o
w
ns split
t
i
ng returns a
p
art
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
:
s
et parse_error if the
SQ
L
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
r
p
enter
param_set: h
a
ndle if the parent was
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
buf_size: fi
x
type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db: f
i
lter po
i
nte
r
calls
b
y function
s
i
g
n
atures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
e
r
implied: rev
e
rt
"tiny sp
e
ed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
penter
ass
i
gn_vs_compare:
w
a
rn about
"
if (foo = &bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
t
yp
e
: fix
type
_
bits() for
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpen
t
er
s
hif
t
_
t
o_zero: do a small
c
lean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c
: remove a bl
a
n
k l
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: spl
i
t return st
a
tes
by null vs
n
on
-
nu
l
l parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ex
t
ra:
f
i
l
ter PARAM_V
A
LUEs
w
ith
b
o
t
h
extra and real_
a
b
s
olut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
ma
t
h: handle -foo bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
h
e
lper: i
n
troduce get struct and me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
implied: t
i
n
y sp
e
e
d up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
im
p
lied: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ranges: handle bi
t
wise AND operatio
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
real_absolute
:
i
ntroduce ge
t
_real_absolute_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Carpent
e
r
a
v
l
:
add a short cut for when
there are
no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
type_val
:
handle |= type
a
ssign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan
C
a
rpenter
db: r
e
na
m
e "function_type_info"
t
a
b
le to "f
u
nction
_
ty
p
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
user_
d
ata2: if a user
_
dat
a
is
e
qual to
n
on-u
s
er
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpe
n
ter
pre
-
p
r
oc
e
ss: try find
any include
that looks l
i
ke it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
C
a
rp
e
nter
comp
a
rison: remove some local_debug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
db
/
fixup_kernel
.
sh: write to the temporary DB
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
ext
r
a: fix type issue ha
n
d
l
ing
+
+
= and
-
-= opera
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
m
ath: remove uncommitted funct
i
on call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
math: f
i
x handling of s
i
z
eof() __le16 typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
math:
handl
e
real_absolute
variables mo
r
e accurate
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
re
a
l
_
absolute: ignore ite
r
ator p
r
e
s
tate
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
rpenter
helper: In expr_to
_
s
tr() remove extra p
a
renthesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
r
p
enter
d
b
:
introduc
e
sql
_
insert_data
_
i
nfo_v
a
r_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db: use "ex
t
ern" instead o
f
the fi
l
e name for glob
a
ls
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
sparse: intro
d
uce parse_error variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_da
t
a2: handle fu
n
ctions that mer
e
ly return p
a
ssed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpent
e
r
hooks: int
r
oduce ASSIGN
M
ENT_HOOK_
A
FTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n Carp
e
nter
db: give up ha
n
dl
i
ng fun
c
tion pointer
s
if
there ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
nter
u
s
er_da
t
a2: r
e
m
o
v
e some deb
u
g printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
ar
p
enter
user_data2: don't set the
f
u
nc
t
ion itself
to use
r
_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpe
n
ter
user_data2: improve
handli
n
g when we return us
e
r data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Car
p
enter
function_hooks: don
'
t mark
it as impossible if
a
funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Car
p
ente
r
c
o
mparison: m
o
d
i
fy the links at at start of an
assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Da
n
Carpenter
db: cl
e
an
u
p get_row_
c
ount()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Car
p
e
n
ter
im
p
l
ie
d
: r
e
na
m
e a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
est
a
te:
a
dd
an estate_is_empt
y
() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an C
a
r
penter
db/ke
r
nel
.
n
o_inline:
d
on't p
a
rse the
b
ite sw
a
p functi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpente
r
k
ernel:
parse ATOMIC_SET() manua
l
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
kernel
.
re
t
urn
_
fi
x
e
s
: add
s
ome
more fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carp
e
nter
db/fixup_
k
ernel
.
s
h
: han
d
le __
k
ern
e
l_write()
a
bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db: hand
l
e o
l
d
e
r versio
n
s of
vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
e
n
ter
d
b
/fix
u
p
_kernel
:
handle __builtin_
b
sw
a
p64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
f
u
nction_ho
o
ks: change order of how d
b
v
e
rse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
par
a
m_limit: don't
i
n
sert empty
s
tates
i
nto the
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
ranges: us
e
a hac
k
around
so when mer
g
ing ra
n
ges o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
type_val: fix a me
m
ory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_
h
ooks, db: handle P
A
RAM_LIMIT for str
u
ct
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
i
m
pl
i
e
d: fix a bug
handling
p
ar
a
meter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nt
e
r
i
mpl
i
ed
:
add mo
r
e deb
u
g info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan
C
arpent
e
r
db:
sort return_states
b
y
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Ca
r
penter
fl
o
w: tiny c
l
eanup handling a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n
C
a
rpent
e
r
f
low: re
m
ove an unnee
d
ed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: renam
e
a
variable "tmp" -> "rig
h
t"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan
Carpenter
kernel
.
ign
o
red_macr
o
s: add L
A
SSERT()
f
rom lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
f
unction_hooks, db: use I
N
TERNAL a
s
th
e
ma
r
k
e
r for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
D
an Carpe
n
ter
db: handle
f
unction
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us Villemoes
che
c
k_kernel_pr
i
n
t
f
.
c: %pj end
e
d up being %pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
u
s V
i
lle
m
oes
chec
k
_kernel_pr
i
ntf
.
c: h
a
ndle new definition of KERN_C
O
NT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smus V
i
ll
e
moes
chec
k
_ker
n
e
l
_printf: check that %pg ge
t
s
a
bloc
k
_de
v
ice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpen
t
er
us
e
r
_
data2:
math: funct
i
on calls sho
u
ld be handled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
mat
h
: fix a typ
e
issue
w
ith MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
D
a
n Carpenter
untrack
e
d_par
a
m: fu
n
c
t
io
n
s that
a
re too hairy are
u
ntra
c
kab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
Carpe
n
te
r
address: simplify is_non_n
u
l
l
_arra
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
an
Carpenter
t
y
pe_val: use the correct type i
n
get_db_
t
ype_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
implied: fi
x
a b
u
g with
borrowed
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
f
l
ow:
ha
n
dled declare
d
labels bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan C
a
rpenter
ranges: read u64max corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
smatch: re
m
ove t
e
st
s
to see if a
n
a
rray is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra: handl
e
"
if (a + b < a)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next