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: delete uncalled remove_dereference() function
2019-03-18
Dan Carpen
t
er
m
t
ag: delete uncalled remo
v
e
_
der
e
ference() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carp
e
nt
e
r
mtag: tweak how get_array_mtag
_
offset() wor
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
p
enter
m
tag: del
e
te un
c
a
lled ge
t
_mtag_add
r
_s
v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
m
tag: del
e
te s
o
m
e dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an
C
arpente
r
mtag
:
remove unus
e
d get_
m
tag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
mat
h
: remove the
g
et_i
m
plied_valu
e
_low_overhead() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
mtag_data: re-writ
e
in ter
m
s
of
mtag/offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_data: improve lo
o
king up the m
t
ag_data f
o
r "f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpe
n
ter
mtag: remove duplicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag
:
push some mtag seed code (but don't enable it)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
rpen
t
er
mt
a
g: handle
f
u
n
ctio
n
pointers correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
capped
:
stop marking everything as capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpente
r
c
a
pped:
p
o
inters c
a
n't be capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
db: m
a
rk some s
t
ates as
ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
mtag: fix handling o
f
a
r
r
ay
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
containe
r
_o
f
: fix the
v
alidat
i
on tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied: remove
skip_im
p
lic
a
tions
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpenter
implie
d
: make a timeout
use
u
sec instead of seconds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
nter
integer_ove
r
f
l
ow: split
some integer ove
r
f
l
o
w
handling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
penter
addr
e
ss: U
s
e
r
l
_binop() to calculate the offs
e
t into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpenter
ad
d
ress
:
handle anonymous
u
ni
o
ns bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
C
a
rpenter
addre
s
s: calc
u
la
t
e bit types
off
s
ets b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpe
n
ter
math:
han
d
le __built
i
n_offsetof() b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
a
r
penter
extra
:
h
a
ndle
unmatched glob
a
l variabl
e
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extr
a
: don't store
H
ARD_MAX
for known
p
arameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
D
a
n Carp
e
nter
para
m
_used: don't
save bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
container_of: re
-
w
r
ite
cont
a
iner
_
of(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
an
C
arpenter
h
e
lper:
c
hange h
o
w derefs a
r
e
displ
a
yed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpente
r
math:
a
llow some recu
r
sion in handle_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
an Carpenter
conta
i
ner_of:
c
ompare
t
he symbols first of all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Car
p
enter
cont
a
iner_of:
e
x
p
ort t
h
e get_containe
r
_name() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
mtag: updat
e
the mtag w
h
en
it's s
e
t usi
n
g a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpent
e
r
math: handle array
a
ddresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Car
p
e
n
t
e
r
address: unify
the code
pat
h
s
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
addr
e
ss
:
rena
m
e a variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
free_strict: ignore
untracked parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Ca
r
pent
e
r
db: don't print com
p
aris
o
ns when a
f
u
nction re
t
ur
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n
Car
p
enter
capped: handle assignmen
t
s
i
n the comparison
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpente
r
extra: handle PA
R
AM
_
ADD/SET
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpenter
im
p
lied: remove an unused
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n C
a
rpenter
type
:
debugging: displ
a
y
e
num ty
p
es
i
n type
_
t
o_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arpente
r
ma
t
h
: don't bother caching EXPR
_
VALUE values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
math: fix RL_ABSOLUTE for unknowns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carp
e
nter
slist: don'
t
al
l
o
cat
e
so ma
n
y duplica
t
e ->
p
ossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
mtag:
prevent a c
r
ashi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpe
n
ter
extra:
fix a bug han
d
ling decrement
i
ng for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
e
xtra: fix some type
bugs handling loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
an Ca
r
p
enter
return_cast
:
fi
x
this chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
D
an Carpenter
implied: fix a bug h
a
nd
l
ing parti
a
l implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
Carp
e
nter
implied: fix
a bu
g
handli
n
g partial i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
Carpent
e
r
implied: fix
a
debug mess
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
D
a
n Carpenter
kern
e
l: igno
r
e
lo
c
kdep
i
nf
o
rmation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carp
e
nter
s
t
ates: prev
e
n
t some no name states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Da
n
Ca
r
p
e
nter
slist: tweak how
O
OM
i
s
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carp
e
nter
math: always try look up if it's a
f
ixed const
a
nt va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carp
e
nter
i
m
plie
d
: add ->skip_implications back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
mat
h
:
i
ntroduce ge
t
_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
math
:
rena
m
e get_rl_helper
(
) to get_rl_in
t
ernal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: remove some d
e
bug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
m
a
th: fix a bug getting the "exact" address of a stri
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied:
c
l
ean up filter_
s
tack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
impli
e
d
: rena
m
e "incomplete" to "bail
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
implied: delete
->
s
kip_
i
mpl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pente
r
i
mplied: delete
-
>nr_ch
i
ldren
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
impl
i
e
d
: very messy re-write of how to b
a
i
l
if imp
l
i
c
a
t
i
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
p
recede
n
ce: add a warning for
"f
o
o & bar
>
baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
kernel_user_data: f
i
x
a
type is
s
ue in set_poi
n
ts
_
to_user_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
ker
n
el_user_data: handle
f
u
n
ction
s
t
h
at retu
r
n a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ke
r
nel_user_data: handle struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
validation: update te
s
ts t
o
reflect code changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nt
e
r
validatio
n
/sm_sele
c
t5
.
c: update
v
alidation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
en
t
e
r
m
a
th: fix a type issue with pointer subtra
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
db:
fix p
a
ssing caller i
n
f
o
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpente
r
parse_cal
l
_mat
h
:
fix i
n
line
v
a
l
id
a
tion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carpenter
function_
h
o
oks: fix a type is
s
ue in return_implies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
math: re
m
ove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
buf_size
:
fix handling
of end of struct ar
r
a
y
s th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
lo
c
kin
g
:
make ret_non_zero
r
ange from
1-s3
2
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
locking
:
add s
o
me more locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
s
m
atch:
a
d
d some
str
i
ng literals to snpri
n
tf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
spectre: ch
e
c
k
fo
r
second halves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
user_data: fix a crashing bug on i
n
val
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
zero_t
o
_err_ptr: f
i
x fall ou
t
from u
n
s
i
gned po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
user_data:
h
and
l
e c
a
pped
d
ata better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
d
b/kernel
.
r
e
turn_f
i
xes: fix
_
_
s
o
ck_c
r
e
a
te()
a
nd wait_for_com
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
e
nter
db/fixup_kerne
l
.
s
h: ignor
e
RIO_BAD_SIZE retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
e
nter
s
match_
d
a
t
a/kern
e
l: add some more ignored stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
smatc
h
_
data/kernel
.
no_retu
r
n_fu
n
cs
.
add Add YY
_
FATAL_ERRO
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n C
a
rpe
n
ter
db/delete_too_common_fn_ptr
.
sh: delete some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_tracke
r
:
use
/proc/self/statm
for out_
o
f_memory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpe
n
ter
i
m
a
gin
a
ry_absolute: igno
r
e loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
f
low: fix vali
d
_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
match: always print
t
he
t
ime: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
sli
s
t: do
a smal
l
speed
u
p
i
n c
m
p_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
arp
e
nter
slist: r
e
verse the order
o
f the strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
add
r
ess: improve ge
t
_addres
s
() for s
t
ruct m
e
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
address: ma
n
y
arra
y
addr
e
sses can be m
a
rked as valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
t
er
a
d
dress: get_m
e
mber
_
o
f
f
s
et_from_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
mat
h
:
m
ove
m
ore stu
f
f
t
o get_rl_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
p
enter
string_list: make i
n
sert_string() return false if i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next