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
mtag: hook in the mtag code to check_list.h
2018-07-26
Dan Carpenter
mtag:
hook in the mtag code
t
o check_li
s
t
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
valida
t
ion: fix the new DB tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag: improve get_mtag_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
t
er
mta
g
/
math: use mtag information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mtag: make get_mta
g
_offset
(
) give both
a
n
mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Car
p
enter
m
t
ag/m
a
th/extra: start using mtags as pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Car
p
enter
mtag: make the name p
a
ram
e
ter in
e
xpr_to_mt
a
g_name_offs
e
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mask out the low
bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: turn off mtag stuff for 32 b
i
t b
u
ilds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
c
ontainer_of: cl
e
a
nup set_param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
contai
n
e
r
_
of/
m
t
ag: f
i
x
h
andling of passed valu
e
s (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
validation: add so
m
e
m
tag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an C
a
rpenter
containe
r
_of/m
t
ag: use conta
i
ner
_
of i
n
formati
o
n f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_of: re-
w
r
i
te
code to record caller_info conta
i
ners
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges: allow
s
vals to
b
e prin
t
ed in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ra
n
ges: fix parsing of u
l
ong_m
a
x and ptr_max (not cur
r
en
t
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
co
n
tai
n
er_of:
fl
i
p the param and the
value around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Car
p
enter
add
r
ess: fix add_offse
t
_to_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
type:
i
nt
r
o
duc
e
get_final_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nt
e
r
s
val
:
handl
e
poi
n
ter mat
h
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
arpen
t
er
type:
i
ntr
o
du
c
e
g
et_pr
o
moted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
comparis
o
n: ex
p
ort fil
t
er_
c
omparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
sm
d
b
.
p
y
:
push
all my chan
g
e
s
to this file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/kernel
.
r
e
t
u
rn_f
i
xes misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
co
n
ditions: don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/
f
ixup_ke
r
nel
.
sh: d
e
lete '(u
n
ion an
o
nymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Car
p
e
n
t
er
flo
w
:
p
r
in
t
s
l
ow to parse fu
n
c
t
i
ons wh
e
n the --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
extra: introduce value
_
p
t
r_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db: ad
d
some more schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db/re
l
oad_partial
.
sh: fix for
c
all_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
enter
db:
h
ook up call_imp
l
ies infrastruc
t
u
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
v
al: fi
x
sval_is
_
a_min/max(
)
for smaller
type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpen
t
er
sval: i
n
trodu
c
e sva
l
_is_
p
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db: Us
e
e
xtr
a
sm
-
>possible to d
e
c
ide if splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
extra:
i
ntroduc
e
get_e
x
tra_s
m
_stat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpent
e
r
conditio
n
s: set the parent expr
e
ssions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
e
nter
implied: set i
n
_
f
a
ke_env when we do
a
n
a
s
sume
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
li
s
t:
d
o a
s
mall clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
stored_conditions: store more conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
arpenter
struct_a
s
signment: handle mem
c
py for poin
t
er ma
t
h bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Car
p
ente
r
s
p
ectre: silen
c
e
s
o
me if (array
[
us
e
r_contro
l
l
ed_o
f
fset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpe
n
ter
spe
c
tre
:
change
outp
u
t
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n C
a
r
p
en
t
e
r
spectre: remove i
s
_
r
e
ad/write() checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
d
b
: fix
get_db_s
t
a
t
e
_
count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
helpe
r
: clean
u
p get_complication_s
c
ore()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpenter
helper:
sizeof()
i
s not com
p
l
i
ca
t
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpenter
c
o
nditions: split the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carpenter
c
o
n
ditions:
delete un
u
s
ed fun
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
N
o
r
bert Manthey
spectre: allow to f
l
ag all occurrences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpe
n
ter
check_user
_
data:
m
a
rk kv
m
_re
g
ister_read()
a
s
r
eturning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
p
e
n
t
e
r
no
s
pec: if it's called
w
ith
t
r
usted data
that's th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
ter
user_d
a
t
a
: don'
t
pass *$ as us
e
r data
i
f the struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
an C
a
rpenter
check_user
_
data: some user data was lost
a
t the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
b
:
f
ix build brea
k
age by adding
the type_
i
nfo
s
c
h
ema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpenter
db:
r
ename
call_implies to
return_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
te
r
debu
g
: impr
o
ve buf siz
e
de
b
u
g
g
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
check_signed:
silence s
o
me fal
s
e
p
ositives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
check_shift_to_zero: si
l
en
c
e som
e
fal
s
e positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
check_si
z
eo
f
:
fix a typ
o
in the wa
r
ning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pen
t
er
buf_s
i
z
e: fix recording global
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
b
uf
_
comparison
:
don't save links to literal size
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
compa
r
ison:
add so
m
e deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pent
e
r
db: d
o
n't spl
i
t NU
L
L
a
nd non-NULL unnece
s
s
a
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpente
r
db: fix
a
N
U
L
L dere
f
e
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
db: set
the C
A
CHE_PAGES s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db:
i
ntr
o
du
c
e the
cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: clean up
t
he code and export some mo
r
e f
u
n
c
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nte
r
extra:
u
s
e
P
ARA
M
_LIMIT
t
o
limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
rpen
t
e
r
flow: nest some
i
nline stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
modification
_
hooks: don'
t
allow mu
l
tipl
e
modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Ca
r
pente
r
c
o
mparison: don
'
t
save comparison
s
to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
com
p
arison: add so
m
e parenthe
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
vali
d
a
t
ion:
f
i
x up som
e
f
ailures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Car
p
enter
c
om
p
ar
i
s
on: fix fil
t
er_by_comparison
=
=
f
or rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
an Car
p
e
n
ter
extra: ju
s
t s
e
t sval assignm
e
nts directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Car
p
e
nter
chec
k
_
s
p
ectre: ignore masked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
p
enter
spectre: use the new is_
u
ser_rl()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
user_data: silence some more ntohl(foo[i]
)
; false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an
Carp
e
nter
u
s
er_data: silenc
e
some sscanf() fals
e
p
o
si
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: intro
d
u
c
e is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
user_data: cleanup
g
et_us
e
r_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpen
t
er
comparison: fix a NULL derefe
r
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carp
e
nter
comparison: fix
v
alidati
o
n
te
s
t
s
and add
a
n
ew test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
e
xtra: r
e
move an unneeded __set_
s
m(
)
in db_param_l
i
m
i
t_filte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper: strip out the
byte swaps
in strip_expr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
validat
i
on/sm_lock
i
ng3: fix function decl
a
rations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
u
n
k
n
own_
v
alue: c
l
ear the ->parent pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
arpenter
ranges: improve str_to_comparison_arg
_
h
e
lper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpen
t
er
comparison: use smatch_extra
d
ata in
g
et_comp
a
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
e
r
compa
r
ison: improve ha
n
dling of "
i
f (++j == limi
t
)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
co
m
par
i
son:
handle j
+
+ var sym li
s
ts be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
e
n
ter
equiv:
t
ype and i
m
plication fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Da
n
Carpenter
ra
n
g
es: fix == a
n
d !
=
co
m
par
i
sons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Car
p
enter
ret
u
rn_to_param: fix pars
i
ng c
a
ll
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
valid
a
tion: update
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Da
n
Ca
r
pe
n
ter
d
b
:
m
ake call_imp
l
ies rows unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
rpenter
flow: remove the call_split_ex
p
r
(
) funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
e
xtra:
h
a
ndle comp
a
riso
n
s
to
e
x
p
ression stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
d
b/
f
ill_db_caller_in
f
o
.
pl: d
o
n't pe
r
ma-ban f
u
n
c
ti
o
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
db/fix
u
p_kernel
.
sh:
c
ommit all my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next