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
user_data: handle capped data better
2019-02-26
D
a
n Carpenter
user_d
a
ta: han
d
le capped d
a
ta be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
db
/
kernel
.
re
t
ur
n
_fixes: f
i
x __soc
k
_c
r
e
ate()
a
nd
wait_for_com
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db
/
fixup
_
kernel
.
s
h
: ignore RIO_BAD
_
SI
Z
E
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
smatch
_
data/kernel: add some
m
ore ignored stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
s
m
a
tch_data/kern
e
l
.
no
_
return_
f
uncs
.
add Add YY_FA
T
AL_ERROR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
d
b/delete_
t
o
o
_comm
o
n_fn_ptr
.
sh
:
delete some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_tracker:
u
se /proc/self/statm
for ou
t
_of_
m
emo
r
y(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
imag
i
n
a
r
y_abso
l
ute: ignore loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
flo
w
: fix valid_ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carp
e
nter
smatch: always print the time: and mem
:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
slis
t
:
do
a s
m
all speedup in cm
p
_possi
b
le_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slist: rever
s
e the order of the str
e
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
ddress: improve get_address()
f
or struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ente
r
address: many arra
y
addresses can
b
e ma
r
ked
a
s v
a
l
i
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ad
d
ress:
g
et_member_offset_from_deref()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
math: move more stuff to
get_rl_
s
v
a
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpente
r
s
t
r
i
n
g
_lis
t
: make insert_st
r
i
ng
(
)
return false if i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
arpenter
s
t
ring_list:
call
st
r
cm
p
(
) once in
s
te
a
d
o
f twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n
Carpenter
math: do
n
't allocate t
h
e r
a
ng
e
_lis
t
if not n
e
c
es
s
ary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Car
p
e
n
ter
math:
r
ename _get_rl(
)
=>
get_rl
_
helper(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan C
a
rpenter
implied: bail earlier
o
n parsing parameter limit
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpen
t
er
math: re-
w
rite _get_sval() to pass t
h
e
re
s
ults
as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpent
e
r
s
l
ist: speed u
p
add_
p
ossible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
sl
i
st: a
point
e
r
i
s equal to i
t
self
in c
m
p_
p
ossible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
locki
n
g: s
p
in_
t
ryloc
k
() returns 1 on success
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n Carp
e
nter
slist:
s
p
e
ed up c
o
py_possibles
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpe
n
ter
slis
t
: rena
m
e
c
mp_sm_states() t
o
cmp_possible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Da
n
Carpenter
a
dd
r
ess: impr
o
ve handling of __smat
c
h_imp
l
ied(&foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carpenter
nospec: use st
a
temen
t
co
u
nt to ma
r
k things
as
n
o
s
p
ec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
rpenter
nospec: pre
e
mpt_dis
a
ble() sto
p
s speculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
arpenter
b
uf_size: impro
v
e
cal
l
oc() han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
smdb
.
p
y
: p
a
r
s
e ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpent
e
r
off_by_one_rela
t
ive: remove
s
o
me d
e
b
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
extra
:
in PAR
A
M_LI
M
I
T
/
FILER then set both th
e
nam
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carp
e
nter
zero_t
o
_err_ptr: don't w
a
rn on impossible
p
aths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
D
a
n Carpenter
estate: delete e
s
tate_fi
l
ter
_
range/sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
D
an Ca
r
penter
kernel: fix t
y
p
e
bu
g
h
andle IS_ERR()
and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
db:
don
'
t pre
t
end to derefer
e
nce intege
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpent
e
r
t
esting
_
index_after_
u
se: r
e
move d
e
bu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capped:
d
on't set capped for known values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nter
extra: tweak hard max
i
n condition
s
and
m
acros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
ext
r
a: pas
s
h
ard
max ac
r
oss function boundaries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
pen
t
er
db: s
p
l
it zero and no
n
-
z
ero
ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
implied: remove s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
implied: remov
e
a n
o
nsense limitat
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpenter
testi
n
g_
i
ndex_af
t
er_use: silence some false posi
t
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
implied: re
m
ove th
e
-
-
debug-implied option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n C
a
rpenter
states: fix a bug hand
l
ing nega
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
e
q
u
i
v: up
d
ate "o
t
her" names
a
s
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
buf_comparison: re-write to
be more
flexible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
pe
n
ter
d
b
/ke
r
nel
.
return_fixes:
add some more retu
r
n f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/v
i
m
_db: don'
t
complain
w
hen the file
i
s
n
ot fo
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpent
e
r
d
b
/c
r
eate_db
.
sh:
don
'
t com
p
la
i
n
when -p=<project> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an C
a
r
penter
db/fix
u
p_kernel
.
sh: f
i
x
up stuff
from the uns
i
g
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpe
n
t
er
validat
i
on: up
d
ate a
f
e
w tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Car
p
e
n
te
r
typ
e
: com
m
i
t some m
i
ssing pieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra: small speedup
i
n set_par
a
m_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Ca
r
pen
t
e
r
helper:
f
ix expr_to_c
h
unk_he
l
p
e
r
() for struc
t
memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Ca
r
penter
com
p
arison: print a "%s"
s
tring
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n
C
arpenter
constraints
:
r
e
mov
e
debugging and use the stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpenter
db: im
p
r
o
v
e
recording comparison
s
to parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implie
d
:
rem
o
ve
some d
u
plica
t
e de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
r
e
al_absol
u
te: do
n
't store da
t
a
for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpe
n
t
e
r
sval: re
m
ove
a
n ex
t
ra space character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
a
r
penter
type: mak
e
pointers uns
i
g
n
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
extra: tighte
n
cano
n
ical for loop handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
e
x
tra: fix
function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
Carp
e
nte
r
ranges: improve c
a
sting negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implie
d
:
don't u
s
e i
n
complete
s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implicatio
n
s: remove a magic nu
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carpente
r
d
b
: show comparis
o
n st
r
ings for conditio
n
al retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
rpenter
d
b
: do
n
't s
t
ore recursive struc
t
m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type: handl
e
pointer type co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpe
n
t
er
ex
t
ra/untracked_
p
aram: mark lost parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
address
:
return unknown if we can't figure out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan C
a
r
p
en
t
er
im
p
lied
:
t
weak so
m
e
debug st
a
teme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
expressions: parse "$0->foo
.
bar" corre
c
tl
y
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpen
t
er
return_to_param
:
use ide
n
t->len instead of s
t
rlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpente
r
para
m
_set: handle mtag assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpent
e
r
assign
e
d_expr
:
make it work for parameter assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpen
t
er
eq
u
iv: use DB informatio
n
to set ex
t
ra state
in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpe
n
ter
extra: improve get_
o
ther_n
a
me_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan
C
arpenter
e
xtra:
f
utz
a
r
ound with get_ot
h
er
_
n
a
m
e_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carp
e
nte
r
h
e
l
p
er: improve ge
t
_
m
ember_name() for
anonymous structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db: escape new
l
ines in save_cache
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ranges: cons
t
ify call_results_t
o
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpenter
extra: filter really long unused param value
informati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
C
arp
e
nter
extr
a
:
u
s
e
ident->len i
n
stead of
calli
n
g
s
t
r
len(ide
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db:
don't create
new
sp
l
its in
s
pl
i
t_positiv
e
_from_negati
v
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ext
r
a: fix
return
e
d
_
s
truct_
m
e
m
bers()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
param_use
d
: fix handling
o
f called fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n C
a
rpenter
e
x
t
ra: e
x
port in_warn_o
n
_
macro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: misc small c
l
e
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carp
e
nter
type: f
i
x
get_member_f
r
om_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
kpatch
.
sh: f
i
x spelling s/amme
n
d/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
y
pe
:
add a
short
cut in get_rea
l
_b
a
se_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implied: P
r
es
e
rve ->
h
ard_max f
o
r
f
ake
histo
r
y states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan
C
arpenter
e
xtra:
p
r
eserve hard
_
max after compa
r
isons to ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
an
C
arpen
t
er
slist: make sm->children a
s
maller
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
an Carpent
e
r
slist: rename variables in __merge_s
t
re
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next