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
flow: fix initialization of nested structs
2017-04-12
D
a
n Carpenter
flow: fix
i
nitialization of nested
s
tructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
db: buil
d
an inde
x
on
the paramet
e
r nam
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math:
improve MOD handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Mon
a
khov
t
est_kernel
.
sh: add c
o
nfig opt
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmit
r
y Monak
h
o
v
Makefile:
Install scripts
to /usr/shar
e
/
smatch/sma
t
ch_s
c
ripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makefi
l
e
: mak
e
insta
l
l prefix configurabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
C
arpenter
parameter_names: store p
a
rameter names in
th
e
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
smdb
.
py
:
re
f
ormat ca
l
l_i
n
fo outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nt
e
r
Makefile: use quiet l
i
nk to link smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states:
fix hand
l
ing switches
i
nside co
n
ditions (fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states
:
s
plit update_f
a
k
e_str
e
e_with_merged(
)
and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_val:
small tweak f
o
r array
s
and complicate
d
lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
e
x
tra:
handle indirectio
n
l
i
ke "p
= &f
o
o; *p
=
42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
an Carpenter
extra: ha
n
dl
e
MOD c
o
nditions
l
ike
"
if (a
%
4
) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modification_
h
ooks: r
e
m
ove unused
i
ndire
c
t modifica
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
valid
a
tion/
s
k
b3: delete some acc
i
dental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
user_data
2
: don't s
e
t pa
r
ameters to user
_
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: handle
s
k
b
->dat
a
math a l
i
ttle
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: re-work handl
i
ng of
s
kb
-
>data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse
_
cal
l
_
m
ath:
work around for lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpe
n
ter
l
e
aks: don't co
m
plain if we overwrite NUL
L
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
a
rpe
n
ter
free: ignore
i
mpo
s
sib
l
e c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
shi
f
t_to_ze
r
o
: make the err
o
r mes
s
age more informative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpent
e
r
test_bit: ad
d
tes
t
_
a
nd_
c
l
ear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
smdb
.
py: print
t
he
r
eturn_
i
m
p
lies
va
l
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
db
/
f
i
x
u
p_ke
r
nel
.
sh:
i
gnore do_lo
o
p_readv_w
r
ite
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
extra
:
set hard max if a
function is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: fix handlin
g
of known conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
par
a
m
_
limit:
d
o
n't
s
et some u
n
changed limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
t
e
r
db: prevent slow downs
splitting re
t
urns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
d
b
: set
pars
e
_error if
the SQ
L
fail
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_set: handle if
t
he
p
arent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
bu
f
_size:
fi
x
t
y
pe_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Ca
r
penter
d
b
: filter pointer calls by func
t
ion signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
implied: revert "tin
y
speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
a
s
s
ign_
v
s_compare: warn about
"if (fo
o
= &b
a
r) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carp
e
nter
type
:
fix type
_
bits() for a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
shift_
t
o_zer
o
:
d
o a
s
m
a
ll clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpen
t
er
smatch
.
c: remo
v
e
a
blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
db
:
sp
l
i
t
return states by null vs
n
on-nu
l
l param
e
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
p
enter
extra: filter
PARA
M
_VALUEs
w
ith both extra and
r
e
a
l_absolut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
math
:
h
a
ndle
-
foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
h
elper: intr
o
duce get struct and
m
emb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
implied: tiny spe
e
d up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
t
e
r
im
p
lied:
small clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ranges: handle bitwise A
N
D
o
per
a
ti
o
ns be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arp
e
n
t
er
rea
l
_
a
bsolute: introduce
get_real_absolut
e
_va
r
_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
avl: ad
d
a sh
o
rt cut
f
or when there are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpen
t
e
r
type_val:
h
andle |= type ass
i
gnmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Carpenter
db: rename "function_type_info" table to "function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
user_data2:
i
f a user_
d
a
t
a
is equal to non
-
use
r
da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
pr
e
-process:
try find any inc
l
ude tha
t
looks li
k
e i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comp
a
rison: remove some local_debug inf
o
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
pent
e
r
db/f
i
xup_kernel
.
sh: write to
t
he temporary DB ins
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpe
n
ter
extra: fix type issue handlin
g
++= and --=
o
perati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Ca
r
pente
r
math:
r
emove u
n
comm
i
t
t
ed function
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Ca
r
penter
ma
t
h
: fix handl
i
ng of sizeof() __le16 ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an C
a
r
p
ente
r
m
a
th
:
hand
l
e real_ab
s
olute
v
ariables more
accurately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
real
_
a
bsolut
e
: ignore iterator pre statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
h
elper: In
e
x
p
r_to_str() remove e
x
t
r
a paren
t
hesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
db: intr
o
d
u
ce sql_insert_data_info_var
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
db: use "ext
e
rn" instead of the f
i
le nam
e
f
o
r g
l
obals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
spars
e
: introduce parse_
e
rror variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
user_d
a
ta2:
h
andle functions that merely return pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpenter
h
o
oks: introduce
A
SSIGNMENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n
C
a
r
penter
db: give up handl
i
n
g
fun
c
tion pointers if there a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpente
r
use
r
_data2: remove some debug pr
i
ntfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
nter
user_dat
a
2: d
o
n't set the fu
n
c
tion itself to use
r
_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
use
r
_
d
ata2: improve handling wh
e
n
w
e return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n
Carpenter
function_h
o
oks
:
don'
t
mark it a
s
i
mpossible if
a
fun
c
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n Carpenter
c
ompar
i
son: modify
the lin
k
s
a
t at s
t
art of an assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db: clea
n
up g
e
t_row
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
impl
i
ed: rena
m
e a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
estat
e
: add an es
t
ate
_
is_e
m
pty() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
rpenter
db
/
kernel
.
no_inline
:
d
o
n't
p
arse the
b
ite
s
wa
p
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
arpenter
ker
n
el: parse ATOMIC_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
db/kernel
.
return
_
fixes: add
s
ome more fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
db/fixup_
k
ernel
.
sh: ha
n
dle __kernel_wri
t
e() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim
_
d
b
:
h
a
ndle olde
r
versions of v
i
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
db/fixup_kern
e
l: handle __builtin
_
bswa
p
64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
function_ho
o
ks: ch
a
ng
e
o
r
d
er of
how
d
b verse
impl
i
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
C
arpenter
param_l
i
m
i
t
: don't
inser
t
empty states into the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ranges: us
e
a
hack
a
r
ound so when
m
erging
ranges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
type
_
val: fix a
memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_h
o
oks, db: ha
n
dle
PARAM_LIMIT for struct member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpe
n
t
er
implied: f
i
x
a bug handli
n
g parameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
i
m
plied: add
m
o
r
e debu
g
informat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db
:
sort ret
u
r
n_state
s
by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpe
n
ter
flow
:
tiny cleanup handling a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpente
r
flow:
r
em
o
ve an unn
e
eded
c
ondition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
an Carpenter
flow: r
e
n
ame a
v
aria
b
le "tmp" -> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carp
e
nter
k
e
rnel
.
ign
o
red_
m
acros: add
LASSERT() from l
u
str
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
function
_
hooks, d
b
: use IN
T
ERNA
L
a
s
th
e
marker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: handle function pointe
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us V
i
llemoes
check_kernel_pri
n
tf
.
c:
%pj
e
nded
u
p b
e
ing %pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_kernel_printf
.
c
:
handl
e
new definit
i
on
of KERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_kernel
_
printf: check that %pg
g
ets
a block
_
device
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user_data
2
: math: f
u
nction
calls should
b
e h
a
ndled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan C
a
rpenter
mat
h
: fix
a
type issue w
i
th MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan
C
arpenter
u
n
tr
a
cked_pa
r
am: functions that are t
o
o h
a
iry ar
e
un
t
rackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next