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
generic_data: rename to match build_kernel_data.sh
2017-05-10
Dan C
a
rpenter
g
eneric_d
a
ta:
rename to ma
t
ch buil
d
_kerne
l
_data
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
generic_i
n
f
o:
allow people
to build a specific d
i
rectory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
u
nreachable: don'
t
complain a
b
out static declarat
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
i
n
dex_overflow
:
silence some
g
libc false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
r
p
enter
p
roject: create a way to generate smatch_data for
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
core: im
p
r
ove Fun
c
tion
t
oo h
a
iry calc
u
lation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpe
n
te
r
hel
p
er: don't crash so much
o
n
i
nvali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
p
enter
c
ompar
i
so
n
: fix some memo
r
y
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
db/build_early_index: build another i
n
dex
on
p
arameter_nam
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
db/kerne
l
.
return_fixes: atomic_read()
returns the
v
alue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
de
b
ug
.
c: add some new (n
o
t
ver
y
usefu
l
) feat
u
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
buf_compariso
n
:
fix build and
a
d
d
make new code functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
f
ree: f
i
x build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
err_ptr_deref
:
make err_ptr_min/max static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
fre
e
: don'
t
complain when pe
o
ple do frob(&freed_variable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpe
n
ter
kernel_print
f
:
f
ix %pG t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
logical_instead_of_bit
w
i
s
e:
s
ilenc
e
s
ome false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pente
r
unused_ret: make warning messages consistent with ev
e
ry
o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
use
r
_data2:
t
ag a
l
l union members a
s
untrus
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
user_data2: if
u
se
r
s can only specify a singl
e
value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Ca
r
penter
extra: use
long to short ma
p
pings for PARAM_LIMIT a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_data2: handle "
i
f (untrusted !=
t
rusted
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
C
a
rpenter
buf_
c
omparison: clea
r
array <-> size links better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
b
u
f
_comparison: record if we
p
ass an AR
R
AY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
return_to_pa
r
am (ma
p
ping
s
): m
a
p regu
l
ar assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
user_
d
a
ta2: handle inlines be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpent
e
r
ma
t
h:
prefe
r
real absol
u
te
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carp
e
nte
r
m
odificatio
n
_
h
ooks: us
e
long
t
o short
m
appings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
ret
u
rn_
t
o_param: handle "return get_foo(bar)
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expres
s
ion: fix expr_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Da
n
C
arpenter
fun
c
tion_h
o
oks: o
n
ly ad
d
com
p
arisons
w
hen
needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w: fix some parent
transition fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: set parent statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
er
core:
a
dd expr_get/set_parent_stmt() accessor
f
u
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n
Carpenter
f
low:
c
reate a
n
acc
e
s
so
r
m
e
t
h
od expr_get_pa
r
ent_
e
xpr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
flow: re
n
ame set_p
a
rent_stmt()
=> st
m
t
_
set_pare
n
t_stmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flow:
rename set_parent_e
x
pr(
)
=>
ex
p
r
_
set_parent
_
expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
return_to_param: Use
t
he DB
return strings
like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: trans
l
ate
mor
e
parameter
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
smdb
.
py: guess
t
h
e
par
a
m
eter nam
e
s
even if
t
he fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
an Ca
r
pen
t
e
r
sm
d
b: d
o
n
'
t c
r
ash if
t
he pa
r
ame
t
er names
a
r
en't
k
n
o
w
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: fix fa
k
e env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
balanced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: a
d
d init_fake_env()/end_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_
c
onditions: store as e
x
p
ress
i
on p
o
inters i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
f
l
ow, db:
f
ix how
i
n
lin
e
fun
c
tio
n
assi
g
nments
a
r
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
flow
:
remove some bu
g
gy unused
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
f
lo
w
: fix initi
a
lizatio
n
o
f
nested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
an
C
arpenter
db
:
build an index
o
n
the paramet
e
r n
a
me
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpent
e
r
math:
i
m
p
r
ove MOD hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
ar
p
e
nte
r
parameter_names: store pa
r
a
m
eter names in
the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
smdb
.
py:
r
eform
a
t ca
l
l
_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
penter
Makefile: use q
u
iet
link to lin
k
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpente
r
s
t
ates: f
i
x
handling switches i
n
side cond
i
tions
(
fake_cur_
s
tree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
states: split u
p
d
ate_fake_stree_with_
m
erged
(
) and
a
dd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_val: small tw
e
ak for arrays and c
o
m
p
licat
e
d lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Car
p
enter
extra:
handle
indirect
i
o
n
like "p = &
f
oo;
*p
=
42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extr
a
: handle
MOD condit
i
ons like "
i
f
(
a % 4) {"
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
an Carpen
t
er
m
odification
_
h
o
oks:
r
emo
v
e unused
i
ndi
r
ect modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
validation/skb3: delete s
o
me acci
d
ental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpenter
user_data2: d
o
n't
s
e
t
parameters
t
o user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpen
t
er
u
ser_data2:
h
andle
skb-
>
data math a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpenter
user_data2: re
-
wor
k
hand
l
ing of skb-
>
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
parse_ca
l
l
_ma
t
h: work
a
round for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
l
e
a
ks: don't compl
a
in
i
f we
o
v
e
r
write NULL
poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
f
r
e
e: i
g
no
r
e i
m
pos
s
ible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Car
p
e
n
t
er
shi
f
t_to_zero: make the er
r
o
r
message more informative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
te
s
t
_bit: a
d
d test_and
_
c
l
ear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
sm
d
b
.
py: print th
e
retu
r
n_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
db/fixup_kernel
.
sh
:
ignore do_lo
o
p_readv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
e
xtr
a
: set har
d
max if a f
u
nction
i
s ca
l
led with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Ca
r
penter
e
xtra:
f
ix han
d
lin
g
of k
n
ow
n
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
para
m
_limit:
don't
s
et some unchang
e
d limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: preve
n
t slow downs
splitt
i
ng return
s
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
:
set parse_error if
t
he S
Q
L fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan
C
arpenter
param_set: handle if the par
e
nt was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
buf_si
z
e: fix type_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carp
e
nter
db:
f
i
l
ter pointer ca
l
ls by function signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
mp
l
i
ed: revert "t
i
n
y s
p
e
e
d up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
assign_vs_compare: warn abou
t
"if (foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpent
e
r
type: f
i
x type_bit
s
(
) for arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
shift_to_zero: do a s
m
all clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpente
r
smatch
.
c: r
e
m
o
ve a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
d
b
:
split
r
eturn stat
e
s
b
y
n
ull vs
non-null paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
extra
:
filter PARAM_VALU
E
s with both extra and r
e
al
_
absolu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
m
ath:
h
andle -foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
helper: i
n
tr
o
du
c
e ge
t
str
u
ct and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
i
m
plied: tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Ca
r
pe
n
t
e
r
implied: small cleanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpe
n
ter
ranges: handle
b
itwise AND
operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
real_absol
u
te: introduce get_real_abs
o
lute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pente
r
avl: add a sho
r
t cut for when there are
n
o
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
ter
type_v
a
l: handle
|= type
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
D
an C
a
rpenter
db:
r
ename "fun
c
tion_t
y
pe_inf
o
" table to "functio
n
_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
user
_
data
2
: if a us
e
r_d
a
ta is
equal to
n
on-
u
s
er
data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
pre-process:
t
ry fi
n
d any
include that
l
ooks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
n
t
e
r
comp
a
rison: remove
some local_debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpen
t
er
db/fi
x
up
_
kernel
.
sh: write to the temporar
y
D
B instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
extra:
f
i
x ty
p
e issue ha
n
dlin
g
++=
and --
=
o
p
erat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
math:
remov
e
un
c
ommitted f
u
nction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next