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/math: use mtag information
2018-07-26
Dan
Ca
r
penter
mtag/math:
u
se mtag in
f
ormation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: m
a
ke
get_mtag_
o
ffse
t
() give b
o
th an mtag
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpe
n
ter
mt
a
g/math/extra: start using mtags as po
i
n
te
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpente
r
mtag: make the name parameter in e
x
pr_to_mtag_name_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag: mask
o
ut
the low
b
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag:
t
u
r
n off mtag stuf
f
for 32 bit b
u
ilds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
c
ontainer_of: c
l
eanup
s
e
t
_
para
m
_va
l
u
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Ca
r
penter
contain
e
r_of/
m
t
ag: fix handling of passed values (as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
va
l
idation: add some mtag tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
container
_
of/mtag:
u
se container_of information f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
c
ontainer_
o
f: re-
w
rite cod
e
to r
e
cord caller_info containers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpen
t
er
ranges
:
allow svals to be
printed in
h
ex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
pent
e
r
r
a
nges: fix parsing of
ulong_max and ptr_max (not currentl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rpenter
co
n
taine
r
_of: flip th
e
param and t
h
e va
l
ue ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Car
p
e
n
ter
add
r
ess:
fix add_off
s
et_to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
ty
p
e: introduce get_final
_
typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sv
a
l: handle pointer math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
te
r
t
ype:
i
nt
r
od
u
c
e get_pro
m
oted_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
comparison: export fi
l
ter_compariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
py: push
a
l
l
my changes to
this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
db/kernel
.
re
t
urn_fixes
m
i
s
c
updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
c
onditions:
d
on't
p
arse NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_kern
e
l
.
sh:
d
e
lete '(
u
n
io
n
a
n
o
nymous)->__val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
flow: print slow to
p
a
rse
fu
n
c
t
ions when the
-
-t
i
me
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
extra:
i
ntroduce value_ptr_r
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
db:
a
dd som
e
more s
c
hemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Ca
r
pen
t
er
db/reload_part
i
al
.
s
h
:
fix for ca
l
l_implie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpen
t
e
r
db: hook up c
a
ll_i
m
plies infrastruct
u
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
val: fix sval_is_a_min/max() fo
r
smaller types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
sval:
introduce sval
_
is_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
db: Use ext
r
a
sm->possibl
e
to deci
d
e
if
splitting t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra:
i
ntr
o
duce g
e
t_extra_
s
m
_
s
tate(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpent
e
r
c
o
nditions
:
set the
parent expressi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
implied:
s
et in_fake
_
env
w
hen we do an as
s
ume()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
slist: do a sma
l
l clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
store
d
_co
n
di
t
i
ons: store more
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Ca
r
pe
n
t
er
struct_assignm
e
nt
:
ha
n
dle memcpy
for poi
n
ter math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan C
a
r
penter
spectre:
silence some if
(
ar
r
ay[user_
c
ontrolle
d
_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpe
n
ter
spec
t
re: c
h
ange output forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
arpenter
s
pectre
:
remove is_read/write
(
) c
h
ecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Ca
r
penter
d
b
:
f
ix get_db_state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: c
l
ean up get_com
p
l
i
cation_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpe
n
ter
helpe
r
: sizeof()
i
s
not
c
ompl
i
cated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpente
r
conditions: sp
l
it the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
conditions: delet
e
unused funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
sp
e
ctre: all
o
w to fl
a
g
all occurrences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Da
n
Carpenter
c
h
e
ck_use
r
_data: m
a
rk kvm_r
e
g
i
s
t
er_
r
ead()
as ret
u
rning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpenter
nospec: if
i
t
's called
w
ith
t
ruste
d
data t
h
at's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
user_data: don't pass
*$ as user dat
a
if the stru
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carpenter
che
c
k_user_data:
s
o
me user
d
a
t
a was lost
at t
h
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Ca
r
p
e
nt
e
r
d
b
: fix build
b
r
e
a
k
age b
y
adding the
t
ype
_
info
s
c
h
ema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpenter
db: rename call_im
p
lies to return_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpenter
d
e
bu
g
: improve buf s
i
ze debuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpe
n
ter
check_signe
d
: sile
n
ce some false positiv
e
s copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpent
e
r
check_shi
f
t_to_
z
ero:
s
ilence some fal
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_
s
ize
o
f:
fix
a typo in
th
e
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
buf_s
i
ze: fix r
e
cording global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
b
u
f_co
m
paris
o
n: don't save li
n
ks t
o
l
i
teral siz
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
compariso
n
:
add some
d
e
bu
g
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
d
b: don't split NULL
a
nd non-NULL unnecessarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
a
r
p
e
nter
db: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
rpenter
db: set
t
h
e
C
ACHE_
P
A
G
E
S size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db: i
n
tr
o
duce th
e
c
a
ch
e
_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db: cl
e
a
n
up
t
he
c
ode and
e
xp
o
r
t
some more
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
extra: use PARAM_LIMIT t
o
limit bi
n
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
p
ent
e
r
f
l
o
w:
nest some i
n
line
state
m
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
mo
d
ifi
c
a
tion_hooks: don't al
l
ow m
u
ltip
l
e modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan C
a
rpent
e
r
compari
s
on
:
d
o
n't save
c
omp
a
risons to o
n
eself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan C
a
rpen
t
er
com
p
ar
i
son: add
some
paren
t
hesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Car
p
enter
va
l
idatio
n
: f
i
x
up
s
ome failures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
comparison: fix filter_by_comparison
=
= for
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Car
p
enter
extra
:
just set s
v
al assignme
n
ts
d
i
rec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Ca
r
p
e
n
ter
check_
s
pectre: ignore m
a
sked off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n C
a
rpen
t
er
spectre: u
s
e the new is_use
r
_rl() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpent
e
r
user_data: silence some more ntohl
(
foo[i
]
); false
p
o
s
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpen
t
er
u
se
r
_data: silence some sscanf()
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_
d
ata
:
intr
o
duce is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_dat
a
: cleanup get_use
r
_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpen
t
er
comparison: fix a NULL derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpenter
compari
s
on: fi
x
vali
d
ation tests a
n
d add a new tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
ent
e
r
e
x
tra: remove an unneeded __set_sm
(
) in db_param_limit_filt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
helper: strip out the byte swaps in
s
trip_exp
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
rpenter
validation/sm_l
o
cking3: fix func
t
ion d
e
c
l
arations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpe
n
ter
u
n
known_value: clear the ->parent pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
ranges: improve str_to_comparis
o
n
_
arg_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
c
o
m
parison: use smatch_extra data in get_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Ca
r
penter
com
p
aris
o
n: improve h
a
ndling of "if (++
j
== limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
compa
r
ison: handle j++ var sym
l
ists better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
eq
u
iv:
type a
n
d
i
mplication fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
D
a
n
C
a
rpen
t
er
ranges: fix == an
d
!= com
p
arisons
.
.
.
(
0
_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_to_param: fix
parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
a
n
Ca
r
penter
vali
d
a
t
ion
:
update
t
est
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan
Carpent
e
r
d
b: make call
_
im
p
lies
rows
u
niqu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove
t
he
call_sp
l
i
t_
e
x
pr() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
e
x
t
r
a: handle compar
i
sons to expression
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
d
b/fil
l
_
db_caller_i
n
fo
.
pl
:
don't
perma-ban func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpente
r
db/fixup_kern
e
l
.
sh: commi
t
all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpe
n
ter
funct
i
o
n
_
ptrs: record local pointer
scope
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
t
e
r
real_absolute: do
n
't save sin
g
le v
a
lue assig
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
sv
a
l: fix a bug in sval_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next