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
c
o
mparison:
f
ix filter_by_compari
s
o
n
== f
o
r
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
ex
t
ra: just set
s
val assig
n
ments directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
che
c
k_sp
e
ctre: i
g
nore mas
k
ed off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
spectre: use the new
i
s_user_r
l
(
)
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_dat
a
:
silence some more
n
t
ohl(foo[i]); false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
user
_
data: silence
som
e
sscanf() fal
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpen
t
e
r
u
s
er_d
a
ta: introduce
is_user_dat
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Ca
r
penter
u
s
er_data: c
l
e
a
nup get_u
s
er_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Car
p
enter
comparison: fix a NULL deref
e
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Da
n
Carpenter
comparison:
fi
x
validation
tests and add a new te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Carpenter
ex
t
ra: remo
v
e
an
u
n
needed
_
_
se
t
_
s
m
(
) in db_
p
a
r
am_limit_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
helper: strip out the by
t
e swap
s
in s
t
r
i
p
_
expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
valid
a
tio
n
/sm_locking3
:
fix fu
n
ction declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
unkn
o
wn_v
a
l
ue: cl
e
ar the ->p
a
rent
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
ra
n
g
e
s:
improve str_to_comparison_arg_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
c
o
mp
a
ris
o
n: use smatch_
e
xtra da
t
a in
get_compa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
comp
a
ris
o
n: impro
v
e handling of "if (++j == limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
comparison: handle
j++ var sym lists
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
rpe
n
ter
e
q
uiv: type and im
p
lication fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
D
a
n Carpent
e
r
rang
e
s: fix == and != com
p
ariso
n
s
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
r
eturn_to_p
a
ra
m
: fix
parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan
C
arp
e
n
t
e
r
validation: update tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
D
a
n Carpenter
d
b
:
ma
k
e call_im
p
lies r
o
w
s
unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Car
p
enter
fl
o
w: r
e
move the call_s
p
lit_exp
r
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
e
x
tra:
han
d
l
e
c
o
mpa
r
isons to expressi
o
n state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpen
t
er
db/fill_db
_
ca
l
le
r
_i
n
fo
.
p
l
: don't perma-ban f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fixu
p
_ker
n
el
.
sh: commit all my
stu
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
f
u
nct
i
o
n
_
ptrs:
rec
o
rd
local pointer scope correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
real_absolu
t
e: don't save
s
ingle value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
sva
l
: fix a bug
in sva
l
_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db:
introduce db_ignore_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
db
/
untr
a
cked_param: mar
k
pa
r
ameters untracked if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
r
penter
f
l
o
w: don
'
t p
a
rse inline functi
o
n
s which aren't interestin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
D
a
n Car
p
ent
e
r
db
/
c
onstraints_required
.
schema:
a
dd missing s
e
mi
-
colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carp
e
nter
fl
o
w/expressi
o
n
s
/
f
u
n
cti
o
n
_hooks: re-fix is_assi
g
ned_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Car
p
enter
kernel: handle __r
e
ad_once
_
size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Carpenter
math: fix a get
_
value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan
C
arpenter
expressions: make
a
ssign
_
expre
s
sio
n
()
t
a
ke
a
n
op
a
rgume
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Da
n
Carpenter
s
p
e
c
tre: wa
r
n about pote
n
tial spect
r
e vulnerabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
arpe
n
ter
ex
p
res
s
ions: don'
t
s
et the ->parent to
a
f
a
ke expres
s
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
D
a
n C
a
rpe
n
te
r
ex
p
ressions: ju
s
t
a
l
locat
e
zero_expr() fr
e
sh ev
e
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expre
s
sion/smatc
h
_
e
xp
r
essions: m
o
ve
e
x
pr_set/get
_
parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Car
p
ente
r
or_
v
s_and:
t
idy up whit
e
space
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan C
a
rpenter
o
r_vs_and: min_t() us
e
s
the n
e
w mi
n
(
) code as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
arpenter
check_or_vs_an
d
: ignore
t
he kern
e
l's
m
i
n/ma
x
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpent
e
r
fl
o
w
/
m
a
th: ha
n
dle __bu
i
lti
n
_choose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
validation/overflow: change "warn:" to
"
err
o
r:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan C
a
rpenter
ab
o
ut_fn_ptr_arg: don't get into a re
c
ursive lo
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
h
e
lper: add ge
t
_last
_
state
m
ent
_
fr
o
m_expr
e
ssion
_
stmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n C
a
r
p
e
nter
mem_t
r
ac
k
er:
a
dd a --mem option to de
b
u
g
memory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an
Carpente
r
expres
s
ions: remove some
u
n
n
eces
s
ary go
t
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
ter
he
l
pe
r
: improve is_error_re
t
urn()
.
In
the kernel all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Car
p
enter
smatch_d
a
ta/smatch
.
common_f
u
nction
s
: add
some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
s
match_data/
k
er
n
el
.
ignore
d
_macros:
a
dd AA_
B
U
G
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carp
e
nter
smatch
_
data/kernel
.
ignore_uninitial
i
zed
param
s
: add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_da
t
a/kernel
.
ignore_sid
e
_effects add recent macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
comparison: handle
expr
e
ssion statements better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpenter
comparison: re
m
ove some
debug
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpent
e
r
compari
s
on: intro
d
uce
impossibly_high_compariso
n
()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
D
a
n Carpenter
ignore: fix && v
s
|| typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Ca
r
penter
i
ndex_overflow:
almost a
re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
implied: improve han
d
ling of assignments in arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpent
e
r
kernel_printf:
d
on't warn about void
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
chea
k
_
leaks: handle r
e
turnin
g
condi
t
i
onals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
ar
p
enter
m
ath: in
t
roduce a new ca
c
he
of recently used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
m
a
th: handle __builtin_
c
o
n
stant_
p
() p
r
operl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpen
t
er
ma
t
h: allocated
s
ome p
e
rma
n
e
nt ra
n
ge
l
i
sts in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
c
ond
i
t
ions: Fix parsing foo =
(
{
.
.
.
label: __
r
et; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpenter
f
unction_hooks: don'
t
be too ambitious f
a
king para
m
et
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan C
a
rpe
n
ter
ranges/p
t
rlist: solve a leak wi
t
h a big
hack (s
e
con
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
all
o
cate:
u
se unsigned long t
o
record alloc
a
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
d
e
r
ef
_
check:
fix
a
small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpen
t
er
hooks: in
t
ro
d
uce
F
U
NCTION_CA
L
L_HOOK
_
BEF
O
RE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
u
s
er_data: read
i
ng f
r
om an array doesn't necessarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introd
u
ce impos
s
ible_assu
m
p
t
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_size: don
'
t save unnecessary state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
mtag: p
u
sh all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carp
e
nter
ranges: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
debu
g
: add __sma
t
c
h
_
state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpe
n
ter
modificati
o
n_hooks: don't
s
ave the express
i
ons outsi
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan C
a
rpe
n
ter
v
a
r_sym
:
tweak expr_to_vsl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
symbol
.
h
: let i
s
_pt
r
_
t
ype() t
a
k
e
NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpen
t
er
return_to_param: fix a
crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
st
r
uct_assignment/assig
n
ed_e
x
pression: sav
e
some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpen
t
e
r
expressions: free allocated expressions after the
e
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpent
e
r
rosenb
e
rg: c
h
eck the corr
e
ct ali
g
nment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
D
an Carpente
r
Merge git://
g
it
.
k
e
rnel
.
org
/
pub/s
c
m/devel/sparse/
s
parse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carp
e
nter
mt
a
g: fix build er
r
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan C
a
rpenter
hel
p
e
r
: fix segfault parsing
invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
typ
e
_val:
dev_get_drvdata() doesn't set the type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpenter
or_vs
_
and: whi
t
e s
p
ace cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
co
n
ditions:
pass SE
L
EC
T
_HOOK for select assi
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
e
state:
w
hite space cl
e
a
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpen
t
er
co
n
straints: allow binop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
smatch_comparison: fix a cras
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
check_kernel: handl
e
fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
extra: tight paramet
e
r values
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: handle "if (foo &
0
x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
e
xtr
a
: do
n
'
t set true/false
sta
t
es if it's the same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
implied: use assume() even if there
a
re
no impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next