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
smatch_data/kernel: add some more ignored stuff
2019-02-26
Da
n
C
a
rpenter
smatch_data/kernel: add s
o
m
e
more
ignored stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
match
_
data/kernel
.
n
o_r
e
turn_funcs
.
ad
d
Add YY_FATA
L
_ERROR
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
d
b
/delete_
t
oo_common_fn_ptr
.
sh: delete some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
a
rpenter
me
m
_tr
a
c
k
er:
u
se /pr
o
c/self/statm for out
_
of_
m
emory
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ent
e
r
imaginary_absolute:
i
gn
o
re loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
f
low: fix valid_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
s
m
atch: always print the
t
i
me: and
m
em:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
slist: do a s
m
al
l
speedup in cmp_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
sl
i
st: reverse
th
e
o
rder of the strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Car
p
enter
a
d
d
ress: impro
v
e
get_addres
s
() for struct
memb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
a
d
d
r
e
ss: many array addresse
s
can
b
e mar
k
e
d as va
l
i
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpen
t
er
ad
d
ress: ge
t
_me
m
ber_
o
ffset_fr
o
m_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
m
ath: mov
e
m
or
e
stuff to get_rl_
s
val(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: make insert
_
stri
n
g
(
)
r
eturn
false if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: call
strcmp(
)
once instead
o
f twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Carpenter
math: don't allo
c
ate the range_list if not ne
c
essary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpent
e
r
math: rename
_get_rl() => get_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
Carpenter
implied: bail earlier on parsin
g
p
a
ra
m
eter limitation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math: re-write _get_s
v
al() to pass the results
as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carp
e
nter
sli
s
t: spee
d
u
p
add_possibl
e
_s
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: a pointer is
e
qual to
itself in c
m
p_poss
i
ble_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
locking: spin_tryloc
k
() returns
1
o
n success
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Ca
r
pe
n
t
er
sl
i
s
t
: s
p
ee
d
up co
p
y
_possible
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
an Carpenter
sli
s
t: rename c
m
p
_sm_state
s
() to cmp_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-19
D
a
n Carpenter
address: improve handling of __smatch_implie
d
(&foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpe
n
ter
n
ospec
:
u
s
e statement c
o
unt to mark th
i
ng
s
a
s
n
o
sp
e
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
nospec: preempt_disabl
e
()
s
t
o
ps spec
u
lation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
er
buf_
s
i
ze: imp
r
ove call
o
c() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
an C
a
rpenter
smdb
.
py: parse
p
tr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
off_b
y
_one_rela
t
ive: r
e
move so
m
e debug
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
extra: in P
A
R
AM_LIMIT
/
FILER then set both the name
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Car
p
enter
zero_to_e
r
r_ptr: don't warn on i
m
possible
p
aths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
estate: delete estate_filter_r
a
nge/sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
kernel: f
i
x type bug
h
andle IS_ERR() an
d
friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpen
t
er
db: don't pretend to dereference
i
nteger
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpent
e
r
testing_index_after_use: remove de
b
u
g
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capped: don't set capped for known
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
C
a
rpenter
ext
r
a: tweak hard
m
a
x
in conditions and
mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nter
e
x
tra
:
pass
hard max across function boun
d
ari
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carp
e
nter
db: split zero and non-zero
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpenter
implied: rem
o
ve some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan C
a
rpenter
i
mp
l
ied:
r
emove a nonsen
s
e limitati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
t
estin
g
_inde
x
_after_use: sil
e
nce som
e
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
implie
d
: rem
o
v
e the
--debug-i
m
plied optio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Car
p
enter
stat
e
s
:
f
ix
a
b
ug handl
i
ng
negate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Ca
r
p
enter
eq
u
iv: upd
a
te "other" names
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpe
n
ter
buf_c
o
mparison:
r
e
-
write
t
o
be more flexible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/kernel
.
r
eturn_f
i
xe
s
: add some more retur
n
fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
db/vi
m
_db: don't c
o
mplain when the
file is not fo
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpe
n
t
e
r
db/c
r
eate_db
.
sh: don't co
m
plain w
h
en
-p
=
<pr
o
ject> is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Car
p
enter
db
/
fixup_kernel
.
sh:
f
ix up stuff
fro
m
the unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Carpenter
validation: update a few t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpente
r
type: commit
some mis
s
i
n
g pieces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Ca
r
penter
e
x
tra: small speedu
p
i
n set_param_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
helper: fi
x
expr_to_chu
n
k_h
e
lper() for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpen
t
er
comp
a
rison: p
r
int a "%s" stri
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
con
s
trai
n
ts: r
e
move debugging an
d
u
s
e
the s
t
r
i
pped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
d
b
:
improve recording compa
r
isons to par
a
meters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implied: remove s
o
m
e duplicat
e
d
ebu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
r
penter
real_absolute: do
n
't store data for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
s
v
al: remov
e
a
n
extra space chara
c
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
type: make
poin
t
ers unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
extra: tig
h
ten
canonic
a
l f
o
r loop
h
andlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
e
xtra: f
i
x function co
m
par
i
sons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Carpenter
r
anges: improve ca
s
ting nega
t
i
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Carpenter
implied: don't use incomplete states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
a
r
penter
implic
a
tio
n
s: remove a magic
number
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
d
b
: show comparison st
r
ings for cond
i
tional returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: do
n
't store re
c
ursi
v
e str
u
c
t
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
typ
e
: ha
n
dle po
i
nter type corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
p
e
nt
e
r
ext
r
a/untrack
e
d_param: mark lost
p
a
r
ame
t
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
ad
d
r
ess: return unknown if we
c
a
n't f
i
gur
e
o
u
t the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Dan C
a
r
p
enter
i
m
pli
e
d: tweak some de
b
ug statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
exp
r
e
ssio
n
s
:
p
a
rse "$0->f
o
o
.
bar" correctly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpe
n
ter
return_to_para
m
: use ident->l
e
n instead of
st
r
len()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
param_set: han
d
le
mtag assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpen
t
er
assig
n
ed_
e
x
pr: make
it work for para
m
eter assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpe
n
ter
equiv: use D
B
i
n
f
or
m
ation to set ex
t
ra state in equiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n Carpenter
extr
a
: i
m
prove
g
et_o
t
h
e
r_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Ca
r
penter
e
x
tra: fut
z
a
round with get_o
t
h
e
r_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
ente
r
helper: improve get
_
membe
r
_name() for anonymous structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
t
er
db: escape new lines in save_
c
ache_
d
a
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
enter
ranges: constify ca
l
l_res
u
lts_
t
o
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Car
p
e
n
ter
ex
t
ra:
f
i
lter
re
a
lly
long unused param value infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra:
u
se ident-
>
l
en instead of calling strlen(iden
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
db: don't
c
reate new spl
i
ts i
n
s
p
lit_posi
t
ive_from_ne
g
ative
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpenter
extra
:
fix r
e
turned_struct_m
e
mbers()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
p
aram_used: fix handling of cal
l
ed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
pent
e
r
extra:
e
xpo
r
t in_war
n
_on_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpenter
type: misc small
clean
u
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
type: fi
x
get
_
m
embe
r
_from_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arp
e
nter
kpatch
.
sh: f
i
x sp
e
l
l
i
n
g s/am
m
e
n
d/
a
me
n
d/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
Carpenter
ty
p
e:
a
dd a short cut in get_real_b
a
s
e_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implied: P
r
eserve ->hard
_
m
ax for fake histo
r
y states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpen
t
er
e
x
tra: preserve hard
_
ma
x
aft
e
r
compari
s
ons to ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Carpente
r
slist: make
s
m
-
>
ch
i
ldren a smaller t
y
pe
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Carpen
t
er
slist:
rename variable
s
in __merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
Carpent
e
r
s
l
i
st:
han
d
le the fast pa
t
h in __merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Car
p
enter
slist: si
m
plify __merge_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpen
t
er
n
o
spec
:
don't
reco
r
d nospec p
a
rameter info w
h
ic
h
hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next