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
comparison: fix filter_by_comparison == for ranges
2018-06-14
D
a
n
Carpenter
comparison: fix filter_by_comparison =
=
for ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carp
e
nter
e
xtra: just set sva
l
assignments directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
c
hec
k
_
s
pectre: ig
n
ore masked off
dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
sp
e
ctre: use t
h
e
n
e
w
is_
u
ser_rl() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
u
ser_data: silence some
m
o
r
e nt
o
hl(foo[
i
]); false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpenter
use
r
_data: si
l
ence
some sscanf() fa
l
se positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nt
e
r
user
_
data: intr
o
d
u
c
e is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
user_data:
c
lean
u
p
get_u
s
e
r
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
com
p
ari
s
on: fix
a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpente
r
comp
a
rison: fix validation test
s
and add a new
t
e
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n C
a
rpenter
extra:
re
m
ove an
unneeded
_
_
s
et
_
sm() in db_param_li
m
it_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an
C
arpenter
hel
p
er: strip o
u
t the by
t
e s
w
aps in strip_e
x
p
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
valida
t
ion/sm_locking3: fix function dec
l
a
r
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
unknown_
v
alu
e
:
clear t
h
e ->p
a
rent pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpent
e
r
ranges: improve str_
t
o_
c
omparison_ar
g
_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compa
r
ison: use smatch_ext
r
a
data in get_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
e
nter
comparison: improve han
d
lin
g
o
f "if (++j ==
limi
t
)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparison: handle j++
var sym lists bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
equiv: type and i
m
plica
t
ion
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan
Carp
e
nter
ranges: fix
=
=
and != co
m
parisons
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
re
t
urn_to
_
param:
fix pars
i
ng calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpente
r
v
a
lid
a
tion: update tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
d
b
: make call_implies rows un
i
q
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
flow
:
remove the call
_
split
_
expr
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
e
xtra
:
han
d
le comparison
s
to e
x
pression statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
db/
f
ill_db_caller_info
.
p
l: don't pe
r
ma-ban
f
unctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fixup_kernel
.
sh:
c
omm
i
t all
m
y stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
ar
p
e
n
t
er
function_
p
trs: rec
o
rd local pointer sc
o
pe correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
e
n
ter
real_absolute: don't
s
ave single value ass
i
gns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
sval: fix a bug
in
s
val_too_low
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
:
introduce
d
b
_
i
gnore_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/
u
nt
r
a
c
ke
d
_param: mark parameters
untracked if
w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
flow: don't parse
i
nline functions which aren't interesti
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Car
p
e
n
t
e
r
d
b
/co
n
s
t
r
aints_required
.
s
chema: add missing s
e
mi-c
o
l
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carp
e
nter
flow/exp
r
essions/function_h
o
oks: r
e
-fix is_assigned_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Da
n
Carpenter
k
e
rnel: handle __read_once_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpente
r
math: fix a get_value(
)
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan
Car
p
e
n
ter
expressions: ma
k
e as
s
ign_ex
p
ression() take an op
a
rgument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Carpenter
s
pectre:
w
arn about p
o
tent
i
al s
p
ectre v
u
l
n
e
ra
b
ilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
expressio
n
s: do
n
't set the -
>
parent to a fak
e
ex
p
r
ession
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Da
n
C
a
rpe
n
ter
e
x
pressio
n
s:
j
ust
a
llocate zer
o
_exp
r
() fresh ev
e
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
D
an Carpenter
expression/s
m
atch_expr
e
s
sions: mo
v
e e
x
pr_se
t
/get_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalinas
spars
e
: add -W
p
oint
e
r-ar
i
th flag to togg
l
e sizeof
(
void
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs
_
and: tidy up whitespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Da
n
C
arpenter
or
_
vs
_
a
nd: min_t() uses t
h
e
new min(
)
c
ode as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
a
rpente
r
c
h
eck_or_vs_and: ignore the kernel'
s
m
i
n/max mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
Carpent
e
r
flow/mat
h
: handle __
b
uiltin_choose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
Carpenter
valid
a
tion/overflow: change "
w
ar
n
:" to "err
o
r:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n
C
arpent
e
r
abou
t
_fn_p
t
r_arg: don'
t
get into a
r
ecursive loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an C
a
rpent
e
r
helper: add get_l
a
st_statement_fr
o
m_expression_s
t
m
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
m
e
m
_
tra
c
ker
:
add a
--mem optio
n
t
o
debug memory
u
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n C
a
rpenter
expressions:
rem
o
ve s
o
me un
n
e
ces
s
ary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
helper
:
improve is_error_return()
.
I
n
th
e
kerne
l
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
smatch_data/smat
c
h
.
common_functions: add
s
ome common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carp
e
nter
smatch_data/kernel
.
ignored_ma
c
ros:
add AA
_
B
UG
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
ter
smatch_data/k
e
r
nel
.
ign
o
re_uninitialized params:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
ente
r
smatch_data/kernel
.
i
gnore
_
si
d
e_e
f
fe
c
ts add recent
m
acro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
o
mparison:
h
a
ndle expr
e
s
s
ion s
t
atements better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpenter
comparis
o
n
:
r
e
m
o
ve some
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
compar
i
son
:
introduce impossibly_high_comp
a
rison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpe
n
ter
ignore: f
i
x && vs ||
t
ypo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
index_ov
e
r
flow: almost a re-
w
rite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
im
p
lied: impr
o
ve handling of
a
ss
i
gnme
n
t
s in
a
rg
u
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpen
t
er
kern
e
l_printf: don't warn about void poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
chea
k
_
leaks
:
handle
retu
r
ning
c
onditi
o
nals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n
Carpenter
math: introduce a new cac
h
e
of rece
n
tly used const
a
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
pen
t
e
r
math: handle __builtin
_
constan
t
_p() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
m
ath: allocated some permane
n
t range lists in rl_z
e
r
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carpenter
con
d
iti
o
ns:
Fix par
s
i
n
g foo = (
{
.
.
.
label
:
__r
e
t; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
rpenter
function_hooks: don't be to
o
ambi
t
ious faking pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan
Carpenter
r
a
n
g
es/ptr
l
ist:
sol
v
e a
leak with a
big
hack (s
e
cond
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan
C
arpente
r
allocate:
u
se
unsigned long to recor
d
allocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
d
e
ref_
c
h
e
ck
:
f
i
x a small
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
C
arpent
e
r
h
ooks: introdu
c
e FUNCTION_
C
ALL_HOOK_BEFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
rpenter
user_data: readin
g
from an a
r
ray doesn
'
t necessarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introduce impossible_assumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpente
r
bu
f
_size: don't
save
u
nn
e
ce
s
sary sta
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
r
penter
mt
a
g:
p
ush all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Car
p
enter
ra
n
ges: fix a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carp
e
nter
debug: add
__
s
match_state_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpenter
modificat
i
on_hooks: don't
save the expressions outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carp
e
n
t
er
var_sym
:
tweak ex
p
r_to_vsl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carpent
e
r
symbol
.
h: l
e
t is_ptr_type
(
)
t
ake NULL point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
enter
ret
u
rn_
t
o_pa
r
am: fix a
c
ras
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an
C
arpe
n
ter
str
u
c
t_assignm
e
nt/assigned_
e
x
pression: sav
e
s
ome
m
ore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
express
i
ons: free allocated expressio
n
s a
f
ter the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan
C
arpenter
rosenberg: check
t
he correct al
i
g
nment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oosten
r
yck
fix: do not ignore s
t
ru
c
t/union/enum t
y
pe attribute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
L
uc Va
n
Ooste
n
ryck
mov
e
up apply_cty
p
e()'s declara
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc V
a
n O
o
sten
r
yck
add testcases for ig
n
or
e
d type attribu
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Car
p
enter
M
e
rge git://git
.
kerne
l
.
org/p
u
b/scm/devel/sparse/s
p
a
r
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Car
p
enter
mta
g
:
f
ix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Da
n
Carpenter
helper: fix segfault
p
arsing invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpente
r
type_
v
al: de
v
_ge
t
_drvdata() doesn't s
e
t t
h
e types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
C
arpenter
or
_
vs_and:
white
s
p
a
ce cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
conditi
o
ns: pass SELEC
T
_HOOK fo
r
select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
a
r
pe
n
ter
es
t
ate: white space clean u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
constraint
s
: allow binop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
smat
c
h
_
compar
i
son
:
fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpent
e
r
check
_
kernel:
h
a
n
dle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next