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
conditions: don't parse NULLs
2018-07-24
Dan
Ca
r
penter
conditions:
don't parse NUL
L
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
db/
f
i
xu
p
_
kernel
.
sh: delete '(union a
n
ony
m
ous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carp
e
nter
flow:
print slo
w
to
parse
f
unctions when the
-
-time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
arpente
r
extra: i
n
trod
u
ce va
l
ue_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
d
b
:
a
d
d
some more schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/
r
eload_par
t
ia
l
.
s
h
:
fix for cal
l
_
im
p
lies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpen
t
er
db:
hook up call_implies infrast
r
ucture
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
a
rpe
n
t
e
r
sval
:
fix sval_is_a
_
mi
n
/
m
ax() for s
m
aller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sva
l
:
i
ntr
o
du
c
e
sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
r
penter
db: Use e
x
tr
a
sm->
p
ossible to decide i
f
s
plitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
extra: introduce get_extra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditions: set the pa
r
e
n
t express
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
i
mplied: set in_fake_env
when we do
a
n assume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sl
i
st: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rp
e
nter
st
o
red_c
o
ndit
i
ons
:
s
t
ore m
o
r
e
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
str
u
ct_assig
n
ment:
handle memcpy for p
o
inter math
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre: silenc
e
some if
(
array[
u
ser_controlled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
ar
p
e
n
ter
s
p
ectre: change output
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
a
r
pe
n
ter
spectre
:
remove is_read/writ
e
() checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carpenter
db: fi
x
get_db_state_co
u
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpenter
helper
:
clean up
get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: sizeof(
)
is not complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
conditions:
split the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
condit
i
o
n
s
:
del
e
te unused f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
N
o
rb
e
rt Manthey
spectre
:
allow t
o
flag all occ
u
rren
c
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
D
an Carpenter
check_user_data: mark kvm_reg
i
ster_read() as retur
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
r
penter
nospec: if i
t
's called
w
it
h
trus
t
ed data th
a
t's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n C
a
rpe
n
ter
user_data
:
don't p
a
ss *
$
as user data if t
h
e
st
r
uct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
a
r
penter
c
h
eck_
u
ser_data: some
user data was lost at the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpent
e
r
db
:
f
ix
b
uil
d
breakage by adding t
h
e type_info schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
C
arpente
r
db: rename call_i
m
plies to return_impli
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
pente
r
de
b
ug: i
m
pro
v
e bu
f
size d
e
b
u
g
g
in
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
t
e
r
chec
k
_
s
igned: silen
c
e some false positiv
e
s copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
ch
e
ck_shift_to_zero: silence some false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
penter
check_siz
e
of: fix
a ty
p
o in the w
a
rn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
buf_siz
e
:
f
ix recordin
g
glob
a
l siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpe
n
te
r
b
u
f_comp
a
rison: don't sa
v
e link
s
to literal sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
comparison:
a
dd some debug
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
arpenter
db:
don't s
p
lit
NULL and
n
o
n-NULL unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
nter
db: fix a N
U
LL de
r
e
f
ere
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpe
n
ter
db: s
e
t the CACHE_PAGE
S
s
i
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
db: introduce
th
e
c
ache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: clean
up
t
h
e code and
expor
t
some more funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
e
xtra: us
e
PARA
M
_LIMIT to lim
i
t bi
n
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
f
low: nest some i
n
line sta
t
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
modifica
t
ion_hooks: don'
t
allo
w
multiple modi
f
ication
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
compari
s
on: d
o
n't
s
a
v
e comp
a
risons to ones
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carpenter
com
p
arison: add some parenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
v
a
lidation: fix u
p
so
m
e f
a
ilures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
a
n
C
arpenter
comparison: fix
f
ilte
r
_by
_
c
omparison == fo
r
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carp
e
nter
extra: just set sva
l
a
ssign
m
e
n
ts dir
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nte
r
check_s
p
ectre: ignore ma
s
ked
o
ff data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
spectre: u
s
e
t
he new is_user_r
l
() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Ca
r
p
e
nter
u
s
er_d
a
ta: silence some more
n
toh
l
(f
o
o[
i
]); fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
a
rpente
r
user_
d
ata: sil
e
nce some sscanf() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: in
t
r
oduce is_
u
s
e
r_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpen
t
er
use
r
_data: cl
e
anup get_user_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n
C
arpenter
co
m
p
a
rison: fix a N
U
LL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
an Carp
e
nte
r
com
p
ariso
n
: fix validatio
n
t
e
sts and
ad
d
a new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
t
er
extra: remove an u
n
needed __set_sm() in db_para
m
_limit_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
helpe
r
: strip out the byte swaps in str
i
p
_e
x
pr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
v
a
l
i
dation/
s
m_lock
i
n
g3:
f
ix fu
n
ction
d
ec
l
ar
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
unknown_value: clear t
h
e
-
>parent poi
n
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
r
anges: improve str_t
o
_com
p
arison_
a
rg_helpe
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
compariso
n
: use smatch_ex
t
ra data in get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carp
e
nt
e
r
compar
i
son: impro
v
e
h
andling of "i
f
(++j ==
l
imit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
c
o
mpariso
n
:
handle j++ var sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
equiv: t
y
pe a
n
d
implic
a
tion fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges: fix == a
n
d != compar
i
s
ons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Ca
r
penter
return_to_param:
f
ix parsin
g
ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan C
a
rpenter
v
alidation: u
p
date tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rpent
e
r
d
b: make call_imp
l
ies r
o
ws uniqu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove the cal
l
_s
p
lit
_
expr() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Car
p
ente
r
ext
r
a:
h
a
n
d
l
e
c
o
mpa
r
isons
t
o
expression statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
d
b/fill_db_c
a
l
l
er_in
f
o
.
p
l: don't
p
erma-
b
an
f
unc
t
ion
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/f
i
xup_kernel
.
sh: commit all m
y
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
fu
n
ction
_
ptrs: reco
r
d
l
oca
l
pointer sc
o
pe correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
r
eal_a
b
solu
t
e: don't
save singl
e
value
assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
s
v
a
l
: fix a bu
g
i
n
s
v
al_t
o
o_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpente
r
d
b
: i
n
troduce db_ignore_st
a
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
d
b/untracked_param: mark parameters untracked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
f
l
ow: don't parse
i
nline functions which ar
e
n't inter
e
sting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
D
an Ca
r
p
enter
db
/
c
o
n
s
trai
n
ts_re
q
uired
.
s
c
hema
:
add missing s
e
m
i
-
colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Carpenter
flow/ex
p
re
s
sions/fun
c
t
ion
_
h
o
o
ks: re-
f
ix
i
s_
a
ssign
e
d_c
a
ll()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n
Carpenter
kernel:
h
andle __
r
e
ad_
o
nce_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
arpenter
m
a
th:
fix
a
g
et_va
l
ue() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
expr
e
ssions: make
assign_expressi
o
n()
t
ake an op argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
sp
e
ctre: warn about p
o
tential 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
e
xp
r
essions: don't
s
et
the ->parent to a
f
ake
exp
r
e
ssion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
expressi
o
ns: ju
s
t a
l
locate zero_expr(
)
fresh every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Ca
r
penter
expre
s
si
o
n/smatch_express
i
o
n
s: move expr_set/g
e
t_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
J
o
ey Paba
l
inas
spa
r
se
:
add -
W
pointer-a
r
ith fla
g
to toggle sizeof(void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Da
n
C
arpenter
or
_
vs_and: tidy up
whitespace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan
Carpenter
or_vs_a
n
d
:
min_t() uses the new
m
in() code a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Car
p
enter
c
h
ec
k
_or_vs_and: igno
r
e
the
k
erne
l
's min/max
m
acr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
flow/math: handle __builtin_choose
_
exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpe
n
ter
validation/overf
l
o
w: change "warn:" to
"
error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
C
a
rpenter
a
b
out
_
fn_ptr
_
arg: don't get into
a
rec
u
rsive loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
helper: add get_last_statem
e
nt
_
fro
m
_e
x
pressio
n
_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
t
er
me
m
_track
e
r
:
add a --mem option to debug memory
u
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next