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: add some debug output
2018-06-22
Dan Carp
e
nter
c
ompariso
n
:
a
dd some
debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpe
n
ter
db: do
n
't spl
i
t NULL and non-NULL
u
nne
c
essarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db
:
fix
a
NULL de
r
eference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
a
r
penter
db: set the C
A
CHE_P
A
GES
s
iz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
pe
n
t
er
db: introduce the cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpen
t
er
d
b:
clean up the c
o
de and export some more f
u
ncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an C
a
rpenter
e
xtra: us
e
PARAM_LIMIT to limit bin
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nest some inline stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
modificatio
n
_hooks
:
don
'
t allo
w
multiple mod
i
fication
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpe
n
ter
co
m
parison
:
don't save
c
o
mpar
i
sons to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan C
a
r
penter
comparis
o
n: add so
m
e parent
h
esis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
an Ca
r
penter
validation: fix up some fail
u
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
compariso
n
: fi
x
filte
r
_
b
y_co
m
pariso
n
==
f
or
ra
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Car
p
enter
extra
:
just se
t
s
val
assign
m
e
n
t
s
d
i
rect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
chec
k
_spec
t
re: ignor
e
maske
d
off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
r
p
enter
spectre: us
e
the new
i
s_user_rl() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
u
s
er_data: silence
s
ome more
ntohl(foo[i])
;
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: silence some sscanf() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
ent
e
r
user
_
data: introduce is_us
e
r_dat
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
C
arpent
e
r
user_data
:
cleanup get_user_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpenter
comparison
:
f
ix a NU
L
L der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
arpenter
c
o
m
parison: f
i
x validation tests and ad
d
a new
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Ca
r
pente
r
extr
a
: remove a
n
u
nneed
e
d __set_sm
(
) in db_param_limit_f
i
lter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpe
n
ter
h
e
l
per: strip ou
t
the byte s
w
a
ps in s
t
rip_exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
val
i
dat
i
on/
s
m_locking3: fix func
t
ion d
e
cla
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
u
n
k
nown_value:
cl
e
ar the -
>
parent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ranges: improve str
_
t
o_
c
omparison
_
arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
comparison: use smatch_
e
x
tra
data in get_comp
a
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparison: improve hand
l
ing of "i
f
(++j == limit)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
n
ter
comparison: hand
l
e
j
++
var
s
y
m l
i
sts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpe
n
ter
eq
u
iv
:
typ
e
a
nd implication
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpent
e
r
ranges: fix
== and != c
o
mp
a
r
i
s
ons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpe
n
ter
return_to_param: fix pa
r
sin
g
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
D
a
n C
a
rpent
e
r
v
ali
d
a
t
ion: updat
e
te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carp
e
nter
db
:
m
a
ke call_implies r
o
ws
u
n
i
que
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
f
low: r
e
move the call_sp
l
i
t_e
x
pr() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
ex
t
ra: handl
e
comparisons to ex
p
ression st
a
te
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Car
p
enter
db/fill
_
db_caller_info
.
pl
:
don't
p
erma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpenter
d
b
/f
i
xup_kernel
.
sh
:
c
ommit all my st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
arpenter
function_ptr
s
: record loc
a
l pointer scope corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
r
e
a
l
_absolute:
d
on't sa
v
e single value assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
C
a
r
p
e
nter
sval: fix a bug in sval_to
o
_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: i
n
troduc
e
db_ignore_s
t
a
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
db/untracked_pa
r
am:
ma
r
k parameters untracked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
flow:
don
'
t parse inline
functions w
h
ich ar
e
n
't interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Da
n
C
ar
p
enter
db/constraints_require
d
.
schema: add missing se
m
i-col
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
flow/expressions/function_h
o
oks:
r
e-
f
ix
i
s_assigned_call(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpenter
k
e
rne
l
: handle __r
e
ad_
o
nce
_
size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan C
a
rpe
n
ter
mat
h
: fix a ge
t
_value()
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carp
e
n
t
e
r
expressio
n
s
: make assign_express
i
on() take an op
a
rgument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
arpenter
spectre: wa
r
n
a
bout po
t
ential sp
e
ctre vul
n
erabilit
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
expressions: don't set the -
>
parent to a fake
express
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
expression
s
: just allo
c
ate zero_expr() fres
h
every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
exp
r
es
s
ion/s
m
a
tch_expressions: move e
x
p
r
_s
e
t/get_p
a
r
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey
P
abalinas
sparse: add -Wpointer
-
arith fl
a
g to toggle s
i
zeo
f
(
v
oid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan
Carpenter
o
r
_vs_and: t
i
dy up whit
e
space
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_
v
s_and: min
_
t() uses th
e
new min() code
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
D
an
C
arpe
n
ter
check_or_vs_a
n
d
:
ign
o
re the kernel's min/max mac
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n
Carpenter
fl
o
w/math: handle
__builtin
_
choos
e
_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpe
n
ter
vali
d
ation/o
v
erflow:
c
hange "w
a
rn:" to "error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan
C
a
rpenter
about
_
fn_ptr_arg: don
'
t
get
int
o
a recursive
l
oop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
lper: a
d
d
get_last_
s
tatement_
f
rom
_
exp
r
e
ssion_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
C
a
rpenter
mem_
t
r
a
cker: add
a
-
-mem
o
ption to debug memory use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
expressions: remove some unn
e
cess
a
ry gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
helper:
i
mpro
v
e
i
s_
e
rror_return(
)
.
In the kernel all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
r
penter
smat
c
h_
d
ata/sma
t
ch
.
common_func
t
ions: add some co
m
mon
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/kernel
.
ignored_macros:
a
dd A
A
_
B
U
G
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carp
e
nt
e
r
sm
a
tch_data/kernel
.
i
gnore
_
uni
n
itialized par
a
ms: add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpenter
smat
c
h_data/
k
ernel
.
ig
n
ore_side_effects add
r
e
cent macro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
r
p
ent
e
r
c
omparison
:
hand
l
e expression statemen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: remove some d
e
bug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
rpenter
comparison: introduc
e
impossibly_high_comp
a
r
iso
n
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan
Carpenter
ignore: fix
&& vs || ty
p
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpent
e
r
index_overflow: almost a
r
e-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
arpe
n
ter
impl
i
ed: improve h
a
n
d
li
n
g of as
s
i
g
nments in
a
rguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
kernel_p
r
intf: don't warn abo
u
t void pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cheak_leaks: ha
n
dle returning conditional
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
m
ath
:
introduce a new cache of rece
n
tly
used
c
ons
t
ants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpe
n
ter
m
ath: handle __bu
i
ltin_constant_p() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
r
p
enter
math: allocated
some permanent range
lists
i
n
rl_z
e
ro
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
conditions: F
i
x parsing f
o
o = ({
.
.
.
label: __ret; }
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
D
an C
a
rp
e
n
t
e
r
fu
n
ction_
h
o
ok
s
:
don't b
e
t
oo
a
m
bitiou
s
faking parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
an Carpenter
ra
n
ges/ptrlist: solve a leak wit
h
a big hack (second
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Ca
r
pen
t
er
allo
c
ate: use unsi
g
ned long to
r
e
cor
d
allo
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
en
t
er
deref_check: fi
x
a small leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
hooks: introduce
F
UNCTION_CALL_HOOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
use
r
_dat
a
: reading
fro
m
an arra
y
does
n
'
t neces
s
a
rily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpent
e
r
impli
e
d: introd
u
c
e
i
mpossible_ass
u
m
ption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_size: d
o
n't s
a
v
e
unnecessa
r
y states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rpenter
mt
a
g: pu
s
h all my chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nte
r
rang
e
s: f
i
x a lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
debug: add
_
_s
m
atch_st
a
te_coun
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
a
rpent
e
r
modifi
c
a
t
ion
_
h
o
oks
:
don't sav
e
th
e
ex
p
r
e
ssions outside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arp
e
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 Carpent
e
r
symbol
.
h: let is_ptr_type() take NULL
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
return
_
to_param:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
struc
t
_assignment/assigned_expressi
o
n: save som
e
m
or
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arp
e
n
ter
e
x
pressi
o
ns:
fr
e
e
a
l
locate
d
expressions a
f
t
e
r the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan
Carpenter
rosenberg
:
check the correct alignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Va
n
Oostenryck
fix
:
d
o
not ign
o
re struct/union/enum type attribut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next