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_map: use expr_to_mtag_offset()
2019-03-18
D
a
n
C
a
rp
e
nter
mtag
_
m
a
p: us
e
ex
p
r_t
o
_mta
g
_offs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
an
C
a
r
p
enter
debu
g
:
use exp
r
_
t
o_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mtag:
t
weak ge
t
_mtag_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: delet
e
totally bog
u
s
get_deref_mtag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
de
l
ete uncalled rem
o
ve_derefer
e
nce()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g
:
tweak how get_
a
r
r
ay_mtag_offset() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpente
r
mtag: dele
t
e unca
l
led get_mtag_addr_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mt
a
g: delete some d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mt
a
g: remove unused ge
t
_mta
g
_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
math
:
remov
e
the get_imp
l
ied_value_
l
ow_overhead() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
m
tag_data
:
re-
w
ri
t
e in terms of mtag/of
f
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag_da
t
a: improve lo
o
king
u
p the mt
a
g_data for "foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mta
g
: re
m
o
ve
d
upli
c
ative
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: push some mt
a
g seed code (but don't enable it)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
an Carpenter
mtag: hand
l
e
f
unction pointers corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carp
e
nter
capped
:
stop marking everyth
i
n
g as cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n
Carpen
t
er
capped
:
p
o
inte
r
s can't
be cap
p
ed
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
Dan
Carpenter
mtag: fix handling of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Ca
r
penter
conta
i
ner_o
f
: f
i
x the
validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
i
mplied:
r
e
move skip_implica
t
i
o
ns again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
impli
e
d: make a
t
i
meout us
e
u
s
ec
i
nstead of secon
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
i
nteger_o
v
e
rflow
:
split some integer overflow
h
a
n
d
ling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
address:
U
se rl_bin
o
p() to
calculate
t
h
e off
s
et
i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan C
a
r
p
enter
address: handle
a
n
o
nym
o
us unions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpenter
addres
s
: calcu
l
a
te
b
it ty
p
e
s offse
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
n
ter
mat
h
:
h
an
d
le __builti
n
_offsetof() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extra: hand
l
e unmatched global
variables better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpente
r
extra: don't
store HARD_M
A
X for know
n
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpenter
param_use
d
: don't save bog
u
s data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan
Car
p
enter
container_of
:
r
e
-
write container_of()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carp
e
nter
h
e
lper: change how dere
f
s
are displayed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
D
an Carpenter
ma
t
h: allow som
e
recur
s
ion in handle_ad
d
ress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
D
an Carpenter
container_o
f
: com
p
are the symbols f
i
r
st of al
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Ca
r
penter
container_of: export the get_container_na
m
e() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Car
p
e
nte
r
mtag: update the mtag w
h
en
i
t's set us
i
ng a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
math: handle a
r
ray addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
D
a
n Ca
r
penter
addr
e
ss: unify th
e
code paths
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
add
r
ess:
rename a variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arp
e
nter
free
_
strict: ignor
e
u
ntracked
p
arame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
db: do
n
't pr
i
nt com
p
a
risons when a f
u
n
c
tion returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an
C
ar
p
en
t
e
r
ca
p
ped: handle
a
ssignment
s
in the compari
s
on b
e
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carp
e
nter
ex
t
ra: handle PARAM_
A
D
D/SET
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpenter
implied: remove an unused variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
type: debugging: displa
y
enum type
s
in
t
ype_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpenter
math: don't bother cac
h
ing EXPR_VALUE values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
enter
mat
h
: fix RL_ABSO
L
UTE
for unknowns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
slist: don't allocate so
m
any duplicate ->
p
o
s
s
i
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
mtag: p
r
e
v
ent a
c
r
a
shing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
extra: fix a bug h
a
ndling decrementing for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpente
r
ex
t
ra:
fix some
ty
p
e
b
u
gs ha
n
dl
i
ng loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Da
n
Car
p
enter
r
eturn_cast: fix th
i
s check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Ca
r
penter
implied: fix
a
bu
g
handli
n
g
p
artial implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Da
n
Carpen
t
er
implied: fix a bug handling partial imp
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
implied: fix a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
kernel: ig
n
ore
l
o
ckdep information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
arpen
t
er
states: prevent some n
o
na
m
e s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
sl
i
st
:
tw
e
ak how OOM is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpen
t
er
math: always try look up if i
t
's
a
f
i
xed
constant val
u
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpe
n
ter
implied:
add ->
s
kip_
i
mplications back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math:
introduce get_
r
l_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math:
rename get_rl_help
e
r() to get_rl_internal()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: re
m
ove some debug
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
t
er
ma
t
h
:
fix a bu
g
g
e
tting the "exact" a
d
dre
s
s
of a st
r
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpen
t
er
implied: clean
up filter
_
stack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
a
rpenter
im
p
lied:
r
ename "incomplete" to "bail"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied: delete
->sk
i
p_
i
m
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
implied: delete -
>
nr_children
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied: very messy
r
e
-wr
i
t
e
o
f ho
w
to
ba
i
l if implic
a
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
rpenter
precedence: add a wa
r
ning for "foo & bar > baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carpe
n
ter
kernel_u
s
er_data:
f
ix
a type issue
in set_
p
oints_to_us
e
r_data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kernel_us
e
r_data
:
handle functions t
h
at return a pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Ca
r
penter
k
ernel_user_data:
h
andl
e
struct ass
i
gnm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
validation: update tests to reflect code chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
validat
i
on/
s
m_select5
.
c
: updat
e
validation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
mat
h
: fix a ty
p
e iss
u
e with pointer
subtractions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpe
n
t
e
r
db: fix p
a
s
sing calle
r
i
n
fo for f
r
ob(&
f
oo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
par
s
e_call_m
a
th: fix inline
v
alidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
function_ho
o
ks: fix
a type issue in return_
i
mp
l
ies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
m
a
th:
remove de
b
ug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
buf
_
siz
e
: fix h
a
n
d
ling of end
of s
t
ruct ar
r
ays th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
ar
p
enter
locking: make ret_n
o
n_z
e
ro range
from 1-s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
l
ocking: add
s
ome
mo
r
e
locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pente
r
s
m
atch: add some string lit
e
rals to snprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
spec
t
r
e
: check fo
r
se
c
ond ha
l
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
ent
e
r
user_data:
f
ix
a
crashing bug on invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ze
r
o_to_err_ptr
:
fi
x
f
a
ll out fr
o
m unsigned pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carp
e
nter
us
e
r_data:
h
a
ndle capped d
a
ta b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpe
n
ter
db/ke
r
nel
.
return_f
i
xes:
fix __sock
_
create()
a
nd wait_for_com
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
p
en
t
er
db/fixu
p
_kernel
.
sh: ignore RIO_BAD_SIZE returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
sma
t
ch_data/kernel: ad
d
som
e
m
o
re ignored stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
smatch_
d
ata/kernel
.
no_return_fu
n
cs
.
add Add YY
_
FATAL_ER
R
OR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
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 Carpen
t
er
mem
_
tracker: use /pr
o
c/self/stat
m
for
o
ut_of_memory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
imagina
r
y_absolute: ignore loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
flow: fix valid_ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
s
m
atch: a
l
ways print
the time
:
and
m
em:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Ca
r
penter
sl
i
st: do
a smal
l
speedup i
n
cmp_po
s
sible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
p
enter
s
l
i
s
t: reverse the order of the st
r
ees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address:
im
p
r
o
v
e get_address() for struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next