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
validation: fix up some failures
2018-06-18
Dan Carpenter
validation: fix up some f
a
ilures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
D
a
n
Carpenter
comparison: fix
fil
t
e
r_by_comparison == for r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
extra: j
u
st set s
v
al ass
i
g
nments directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
check_spectre: ignore masked off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nt
e
r
s
p
ectre: use the new is_user_rl(
)
fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Ca
r
pent
e
r
use
r
_data: silence some more ntohl(foo[
i
]
)
; f
a
lse pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
use
r
_data: silence
some s
s
canf()
f
alse
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
ar
p
enter
user_
d
ata: i
n
troduce is_user_da
t
a
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpen
t
er
user_da
t
a: cleanup get_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpen
t
er
c
o
mpari
s
on: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
a
rpenter
c
o
m
p
arison: fix validati
o
n te
s
ts and add a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
extra: re
m
o
v
e an un
n
eeded __set
_
sm() in db_param_l
i
mit_filt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
helper:
s
trip out
t
he byte
s
waps in str
i
p_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
val
i
datio
n
/sm_loc
k
ing3: fix func
t
ion dec
l
aratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
u
n
kn
o
wn_value:
c
l
ea
r
the ->parent
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Ca
r
p
e
nter
ra
n
ges: improve
s
tr_to_compariso
n
_arg_he
l
per
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
com
p
arison
:
use smat
c
h_extra data i
n
get_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arp
e
nter
comparison:
i
mprove handling of "if (++j == li
m
it)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpe
n
ter
comparison
:
han
d
le j++ va
r
sym lists b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equiv: t
y
pe and implication fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ran
g
es:
f
i
x
=
= and != comparisons
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan
C
arpenter
return_to_param: fix parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carp
e
n
t
er
v
a
l
idati
o
n: update
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rp
e
nter
db
:
make call_imp
l
ies rows u
n
ique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
flow: remove the call_split_expr()
f
un
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
ent
e
r
extra:
h
andle compar
i
sons
to expression
stateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
/
fill_
d
b_caller_info
.
pl: do
n
't
p
erma-ban f
u
nc
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
pent
e
r
db/f
i
xup_k
e
rnel
.
sh: c
o
m
mit
all
m
y
s
tu
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpenter
f
unction_ptrs
:
record loc
a
l point
e
r scope
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpenter
real_
a
bsolute
:
don't save single valu
e
assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Ca
r
penter
sval: fix a
b
ug
in sva
l
_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: in
t
rodu
c
e
db_igno
r
e_sta
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n C
a
rpente
r
db/untracked_param
:
mar
k
para
m
e
ters untracked if w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpenter
flow: don't parse inline functions which
a
ren't
interesting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Ca
r
pe
n
ter
db/constraints_required
.
sc
h
ema:
add missing semi
-
colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpente
r
flow/expressions/f
u
nction
_
hooks: re
-
f
i
x is_ass
i
gned
_
cal
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Da
n
Carpente
r
k
ernel:
hand
l
e
__r
e
a
d_onc
e
_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: f
i
x a get_
v
alue() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
D
an Carp
e
nter
expressions: make ass
i
g
n
_expressio
n
() take a
n
op arg
u
me
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
a
rpenter
spe
c
t
r
e: warn about potential
s
pectre vulnerabil
i
ties
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Ca
r
pen
t
e
r
expression
s
:
don't set the ->parent to a fake expressi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carp
e
nter
e
x
pressions:
j
u
st al
l
ocate ze
r
o_expr
(
)
fresh ever
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
D
a
n
C
ar
p
enter
e
x
pression/smatch_expres
s
ions: move expr_set/get_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpent
e
r
or_v
s
_and: tid
y
up
whites
p
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: min_t() uses
the new min() code as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
check_or_v
s
_and
:
i
gnore the k
e
r
n
el's min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
Carpe
n
ter
flow/math: handle __built
i
n_cho
o
s
e_e
x
pr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
C
a
r
pen
t
er
validation/overflo
w
: change
"
war
n
:" to "error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
Carpe
n
ter
abo
u
t_fn_p
t
r_ar
g
: don't g
e
t into a rec
u
rsive l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpe
n
ter
helper: add get_las
t
_sta
t
eme
n
t_fr
o
m_expression_
s
tmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpent
e
r
mem
_
track
e
r
:
add a
--mem o
p
t
ion
to debug memo
r
y
u
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpe
n
ter
expressions: remove some unn
e
c
essary
gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n C
a
rpenter
helpe
r
: i
m
prove is_erro
r
_return()
.
In the
k
e
rnel all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
s
m
atc
h
_data
/
smatch
.
common_fun
c
tions: ad
d
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/ker
n
el
.
ign
o
red_macro
s
: add
A
A_BUG(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/kerne
l
.
ignore_uninitialized
p
arams:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
m
atc
h
_dat
a
/kernel
.
ig
n
ore_s
i
de_effe
c
ts add
r
ec
e
nt macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpe
n
te
r
co
m
p
ari
s
on: handle exp
r
e
s
sion
sta
t
ements better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
compari
s
on: remove
s
ome debug
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
omparison: int
r
oduc
e
im
p
ossibly_hig
h
_comparison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan
Carpenter
ignore:
f
i
x && vs ||
t
y
p
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
D
a
n Carpenter
index_overflow: almost a re-wr
i
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpenter
implied: i
m
p
r
ove handling
o
f as
s
ignments in
a
rguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
k
e
r
n
el_prin
t
f: don'
t
w
ar
n
about
void pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
cheak_leaks
:
handle retu
r
ning co
n
d
i
tionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
math: introduce a new cache o
f
rec
e
ntly used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
math: handle __b
u
iltin_constant_p
(
) proper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
math
:
a
l
loc
a
ted s
o
me permanent
r
ange lists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
r
penter
condit
i
o
n
s:
F
ix
p
ars
i
ng
f
oo = ({
.
.
.
labe
l
: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Da
n
C
arp
e
nter
function_hooks: don't
b
e too ambitious faking paramet
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
an Car
p
enter
ranges/ptrlist
:
solve a leak with a big
h
a
c
k (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpen
t
er
allocate: use
u
nsi
g
ned long
t
o record allocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
deref_check: fix a small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
hook
s
:
intro
d
uce FUNCT
I
ON_CALL
_
HOOK
_
B
EFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
user_data:
r
eading from an array doesn't necessarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
C
a
r
p
e
nt
e
r
i
mplied: intro
d
uce i
m
p
o
ss
i
ble_as
s
u
m
p
tion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Ca
r
penter
b
u
f
_
si
z
e
: don'
t
s
a
ve u
n
necessary sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
pe
n
ter
mtag: push all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
ranges: fix a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
d
ebug: add __smatch_
s
tate_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpe
n
ter
m
o
dification_hooks: don't
save the expressions o
u
t
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n
C
arpe
n
ter
var_sym: tweak expr_to_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n
Carpenter
symbol
.
h: let is_ptr
_
typ
e
()
t
ake NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
return_
t
o_param: fix a cras
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpe
n
ter
s
t
r
uct_assignm
e
n
t
/ass
i
gne
d
_
e
xpression:
s
ave
s
ome mo
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
expressions: free all
o
cated exp
r
essio
n
s after
the
end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Ca
r
penter
rose
n
ber
g
: che
c
k
the cor
r
ect
a
li
g
nment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpenter
Merge git://git
.
kernel
.
o
rg/pub/scm/devel/sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Car
p
enter
mtag: fix bu
i
ld error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan
C
a
r
p
enter
helper: fix seg
f
ault parsing inv
a
l
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpe
n
ter
type_val
:
dev_get_dr
v
data() doesn't set the types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
or_vs_and:
whi
t
e
s
pace c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
ente
r
con
d
itions: pass SELECT_HOOK f
o
r select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
est
a
te: w
h
ite space
clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
con
s
traints: allow b
i
nop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
smatch_comparison: fi
x
a cr
a
sh
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_kerne
l
: h
a
ndle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpe
n
ter
ex
t
ra: tight
p
ar
a
meter val
u
es a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpent
e
r
extra:
h
a
ndl
e
"
i
f (foo & 0x1) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
te
r
extra: don't set
t
r
u
e
/f
a
lse states if it'
s
the sa
m
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next