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 totally bogus get_deref_mtag()
2019-03-18
D
a
n
C
arpenter
mtag: delete total
l
y bogus get_
d
eref_mtag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
r
pen
t
er
mt
a
g: delete
u
n
called remove
_
deref
e
rence
(
) func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag
:
tweak how get_array_mt
a
g_off
s
et(
)
wo
r
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
C
a
rpenter
mtag: d
e
lete uncalled g
e
t
_
mtag_addr
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
rpenter
mtag: delete som
e
d
ead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpent
e
r
m
t
a
g:
remove unused get_mtag_
o
ff
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
ma
t
h
:
rem
o
ve t
h
e get_implied_value_low_over
h
ead() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
m
tag_data: r
e
-write in
t
e
r
m
s of mtag/offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_dat
a
: improve look
i
ng up the
m
t
a
g
_data for "
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpe
n
ter
mt
a
g
: remove d
u
p
l
icative c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
ente
r
m
tag: push so
m
e mt
a
g
se
e
d code (
b
ut don'
t
e
nable it)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
rpenter
m
t
ag: ha
n
dle function
pointers correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
rpenter
capped: stop marking everythin
g
a
s
c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
enter
capped:
p
o
i
nter
s
c
an't b
e
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
db: mark
some states as
ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpen
t
er
mt
a
g: fix handling
of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpent
e
r
cont
a
iner_of
:
fix th
e
v
a
lidati
o
n
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
im
p
lie
d
: r
e
move
s
kip_implication
s
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implie
d
: make a
t
i
m
eout u
s
e usec instead o
f
seconds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
integer_
o
v
e
rfl
o
w: split some integer
o
verflow handling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
arpe
n
te
r
addr
e
s
s:
U
se rl_b
i
n
o
p() to calcula
t
e the offset i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpente
r
address: handle
a
n
onymous unions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpe
n
ter
address: calcul
a
te
bit types offsets better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
math: handl
e
__builtin_o
f
fsetof() b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
ex
t
r
a:
h
andle un
m
a
t
c
hed globa
l
variables better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
extra: don't store HA
R
D_M
A
X
f
or known
p
arameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan
C
arpenter
param_used: don't
s
ave bo
g
us d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpe
n
te
r
c
o
ntaine
r
_of: re-write container_of()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
helper
:
c
hange how
deref
s
are displayed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carp
e
nter
ma
t
h: allow
some recursion
i
n ha
n
dle_add
r
es
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
con
t
ainer
_
of: c
o
mpare
t
he symbols first of
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
co
n
tainer_of: exp
o
rt the
g
et_con
t
a
i
ner_name()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
mtag: update the
m
tag when it's set using
a poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
mat
h
:
handle array ad
d
r
esses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpe
n
t
er
addres
s
: uni
f
y the code
p
aths
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan C
a
rp
e
nter
address: renam
e
a v
a
ri
a
bl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
r
penter
free_s
t
rict: igno
r
e u
n
tracke
d
p
a
ram
e
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpe
n
t
er
d
b
: don't prin
t
comparisons when
a
function retu
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpenter
c
a
pped: h
a
ndle assi
g
nment
s
in the co
m
p
a
ris
o
n
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an
C
arpen
t
er
extra: handle
P
ARAM_A
D
D/S
E
T
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carp
e
nter
impl
i
ed: re
m
ove an unused varia
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arpenter
type: debuggin
g
:
display enum types in type_to_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math: don'
t
both
e
r caching EXPR_VALUE val
u
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
math: fix
RL_
A
BSOLUTE for unknowns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
Carpenter
slist: don
'
t allocate
so many duplicate
-
>
p
ossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
mt
a
g
:
p
r
e
vent
a cr
a
shing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carp
e
nter
extra
:
fi
x
a bug han
d
li
n
g decrem
e
nting for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
extra: fix some
t
y
p
e bugs
h
a
n
d
ling loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
rpenter
return_cast: fi
x
this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
a
rpe
n
ter
im
p
lied: fix a bug handling pa
r
t
i
al imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
arpenter
implied:
f
i
x
a
bug handli
n
g parti
a
l implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
arpenter
implie
d
: fix a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpen
t
e
r
ke
r
nel:
ignore
lockdep
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpen
t
er
states: pr
e
vent some no name states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
slist:
t
w
eak how
OOM is h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
D
a
n Carpenter
math: alwa
y
s t
r
y look up if it's a
f
i
x
ed c
o
nstant v
a
lue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpe
n
ter
implie
d
:
a
dd ->skip_imp
l
ications back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
math: introduce get_rl_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpen
t
er
math: rename
g
e
t
_rl_help
e
r() to get_r
l
_
interna
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: remove some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
math:
fix
a bug
g
etting the "
e
xact" address of a string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
implied: cle
a
n
u
p
f
ilter_
s
tack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pen
t
er
implied
:
rename "in
c
ompl
e
te" to
"bail"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
implied: delete ->skip_implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
ter
imp
l
ied: de
l
ete ->n
r
_children
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
implied: very messy re-write of how to bail i
f
i
m
p
li
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
prec
e
dence
:
add a w
a
rning
for "foo &
b
ar
>
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
kern
e
l
_user_data: fix a type issue in set_points_to_us
e
r_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
k
ernel_user_da
t
a: ha
n
dle functio
n
s that return a po
i
nte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
kernel_user_d
a
ta: handle s
t
r
u
ct assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
validation
:
update tests to reflect code chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
validation/sm_select5
.
c
:
updat
e
vali
d
ation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
math
:
fix a type issue wi
t
h pointer subtrac
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
db: fix pa
s
s
ing
caller info fo
r
f
r
ob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
parse_call_mat
h
:
fix inli
n
e validat
i
on test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
function_hooks: fix a typ
e
i
ssu
e
i
n return_implies_sta
t
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
math
:
remove
debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
b
uf_size: fix handling of end of struct a
r
rays that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
l
o
cking: make ret_non
_
zero ran
g
e
from 1-s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpent
e
r
locki
n
g
: add some more loc
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
smatch: add so
m
e string
literals t
o
snprint
f
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
spectre:
c
heck
for se
c
ond
halves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
us
e
r
_
data:
f
i
x a crashing bug on
inva
l
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
zero_to_err_ptr: fix fa
l
l
out
f
r
om
unsigned poin
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
t
e
r
u
s
er_data: hand
l
e capped data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpente
r
d
b
/kernel
.
return_fixes: fix
__sock_create()
an
d
wait_for_com
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/fixup_ker
n
el
.
s
h: ignore R
I
O_BAD_SIZE returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pen
t
er
smatch_da
t
a
/
ke
r
nel:
a
dd some mo
r
e ig
n
ored s
t
u
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpen
t
er
smatch_data/kernel
.
no_
r
eturn_funcs
.
a
dd
A
d
d YY_
F
A
T
AL_ERROR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Ca
r
penter
db/dele
t
e_too
_
common_fn_ptr
.
sh:
d
elete some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
e
r
mem_tracke
r
: u
s
e
/proc/self/
s
tatm for ou
t
_of_memory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arp
e
n
t
er
i
ma
g
inary_
a
b
solute:
ign
o
re loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
a
rpente
r
flow: f
i
x valid_ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch: alwa
y
s print
t
he
time: a
n
d mem:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slis
t
: d
o
a
s
ma
l
l speedup in cmp_p
o
ssible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
slist: reverse th
e
ord
e
r of the stree
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
enter
add
r
ess: improve get_address() for
s
truct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
d
d
r
ess: many array addresses c
a
n be
m
ar
k
ed as
v
alid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
add
r
ess:
g
et_me
m
ber_off
s
et_from_deref()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ma
t
h
:
move more stuff to g
e
t_rl_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next