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
ranges: allow svals to be printed in hex
2018-07-25
Dan Carpenter
r
anges: allow
s
v
als to be pr
i
nte
d
in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
nter
ranges: f
i
x p
a
rsing of ul
o
ng_m
a
x and ptr_max
(not cur
r
ent
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
container_
o
f: fl
i
p t
h
e param a
n
d
t
h
e
value around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpen
t
e
r
address: fix add_offset_to_pointer
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
type
:
intro
d
u
ce
get_final_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
sval: h
a
ndle p
o
inter math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type:
introduc
e
get_promo
t
ed_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpe
n
te
r
com
p
arison: export
f
ilter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
py: push all
m
y changes to this fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
ente
r
db
/
ke
r
ne
l
.
r
e
turn_fi
x
es
misc up
d
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pen
t
e
r
conditions: don't
parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_ker
n
el
.
sh: delet
e
'(
u
nion an
o
nymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
flo
w
: print
slow
to parse function
s
w
h
en the --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
arpenter
extra
:
introduce value_p
t
r
_
rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: add some more sch
e
mas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
t
er
db/reload
_
partial
.
s
h
: f
i
x
for c
a
ll_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b: hook up call
_
i
mplies in
f
rastr
u
ctu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fix sva
l
_
i
s
_a_min/
m
ax(
)
for smaller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
sv
a
l: introduce
sval_is_
p
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
db: Use extra s
m
->possible to d
e
cide if s
p
l
i
t
t
ing t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
extra: introduce get_extra_sm
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pent
e
r
con
d
i
tions: set the parent
e
x
pres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpente
r
implied:
s
et in_f
a
ke_env when we do an assume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sli
s
t: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
stored_
c
ond
i
t
i
ons:
store more co
n
d
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pente
r
s
t
ruct_a
s
signme
n
t: handle memcpy for pointer math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan C
a
rpenter
s
p
e
c
tre: silence some i
f
(array[user
_
contro
l
led_
o
ffset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
arpenter
sp
e
ct
r
e
:
change o
u
tput format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Carpent
e
r
spectre
:
rem
o
ve is_read
/
write(
)
ch
e
ck
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
db: fix get
_
d
b
_
state_count
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpen
t
er
he
l
per: clea
n
u
p
g
et_complication
_
score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
hel
p
er:
s
izeof
(
) is
n
ot complicate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
pe
n
t
er
conditions:
sp
l
i
t the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
conditions: delete unused
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
c
h
eck
_
user_d
a
ta: mark k
v
m_
r
e
g
ister_read() as returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
ter
n
os
p
ec:
if it's ca
l
led with
trusted dat
a
that's
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Car
p
enter
user_data: don'
t
pas
s
*$ as user
data if the struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
Carpente
r
check_us
e
r_data: so
m
e user
d
ata was lost at the
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpenter
db
:
f
i
x
bui
l
d
breaka
g
e by ad
d
in
g
the type_info schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carp
e
nter
d
b:
r
ename call_impli
e
s to
re
t
urn_imp
l
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
debug: impro
v
e buf size deb
u
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
chec
k
_s
i
g
ned: silen
c
e some false
p
o
sitives
copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
check_shift_to_zero: silence some false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
ch
e
ck_sizeof:
fix a
t
ypo i
n
the warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
b
u
f_size: fix recordi
n
g
global s
i
zes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_com
p
ari
s
o
n
: don't save li
n
ks
to
literal
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
o
mparison: add some
debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
db:
don't spli
t
N
U
LL and non-NULL unne
c
essa
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
db
:
fix a NULL dere
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: set
t
he
C
ACHE_P
A
GES s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db:
introduc
e
t
h
e
cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
db:
clean up the code and export some more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
extra: use PARAM_LIMIT to
l
imit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pen
t
er
flow: nest some i
n
line st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
arp
e
nter
modificati
o
n_hooks: don't allow multiple modificati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpente
r
comparison: don'
t
save comparisons to one
s
elf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
comparison: add some p
a
renthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carpe
n
ter
validat
i
on: fi
x
u
p
s
o
m
e
fa
i
lures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan
Carpent
e
r
compa
r
ison: fi
x
f
i
lter_by_c
o
mparis
o
n
== for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
an Ca
r
pen
t
er
ext
r
a: just se
t
s
v
al
assignments
d
i
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
en
t
er
check_spectre: ignore m
a
sked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
spectr
e
: use the new is_user_rl()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_d
a
ta: sile
n
ce some more ntohl(foo[i]); fal
s
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carp
e
nter
use
r
_data:
s
ilence
s
ome ssc
a
nf(
)
false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
a
rpenter
use
r
_data:
i
ntro
d
u
ce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an
Carpe
n
ter
user_data: c
l
e
anu
p
get_u
s
er_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpenter
comparison: fix a NU
L
L
d
e
reference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpenter
compa
r
ison
:
fi
x
validation test
s
a
n
d add a
n
ew test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
e
xtra: remove an unneeded __set_sm() in db_param_li
m
i
t
_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper: strip out the byte swaps i
n
strip
_
expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
valida
t
i
on/sm
_
locking3: fix function
d
eclarat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
unknown_value: clear the
->paren
t
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
r
a
n
ges: improve str_to
_
comparison_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Ca
r
penter
comparison:
use sm
a
tch_extra data in g
e
t_com
p
arison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
c
o
mparison: i
m
prove h
a
ndling of
"
i
f
(
++j
=
= limit
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Car
p
enter
comparison
:
handle j++ var
sym lists bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
equiv: t
y
pe and i
m
pli
c
a
tion fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Da
n
Carpenter
r
anges:
fix == a
n
d != co
m
p
ar
i
s
ons
.
.
.
(
0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpent
e
r
r
e
turn_to
_
p
aram:
fix
pars
i
ng call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carp
e
nter
v
alidation: update tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
D
an Carpente
r
d
b
:
make
c
all_implies row
s
unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpen
t
e
r
fl
o
w: rem
o
v
e the call_s
p
lit_expr() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
e
x
tr
a
: handle
c
o
m
par
i
s
ons to e
x
p
r
e
s
sion statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an
Carpenter
db
/
fil
l
_db_caller_
i
nfo
.
p
l
: don't p
e
rma-ban funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
d
b/f
i
xup_kernel
.
sh: commit
all my s
t
uff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
fu
n
ction_ptrs:
record l
o
cal point
e
r scope co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an
C
a
r
p
en
t
er
real_absolu
t
e: d
o
n't save
singl
e
value
a
ssigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
rpenter
sval: fix a bug in sval
_
too_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
r
penter
db:
i
ntroduce db_ign
o
re_s
t
a
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
a
rpenter
db/
u
ntracked_param: m
a
rk paramet
e
r
s
untrack
e
d if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
flow: don't
p
a
rse inline fun
c
tions which aren
'
t interestin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpenter
db/constr
a
ints_requ
i
red
.
schema:
a
dd
m
i
s
sing s
e
m
i
-
c
olon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
ar
p
enter
flow/expressions/functi
o
n_hooks:
r
e-f
i
x
i
s_as
s
igne
d
_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpe
n
ter
ke
r
nel: handle __re
a
d
_on
c
e_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpente
r
m
ath: f
i
x a get_v
a
lue() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
expressions: m
a
ke ass
i
gn_expr
e
ssion() take an op arg
u
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpe
n
te
r
spectr
e
:
w
a
rn about
potential spectre vulnerab
i
litie
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Car
p
enter
ex
p
ressi
o
ns: don't set the ->parent to
a
fake expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan
Carpenter
expressions: just alloca
t
e zero_expr() f
r
esh every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expression/sm
a
tch_expressions: move
expr_se
t
/get_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next