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
capped: stop marking everything as capped
2019-03-18
Dan Carpenter
c
a
p
p
e
d: stop marking everything as c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
capped: pointer
s
can't be
c
apped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
db: mark some sta
t
es 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 Car
p
e
nter
co
n
tainer_of: fix the
v
alidation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
nter
implied:
r
emov
e
skip_implicati
o
ns again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
implied: make a t
i
meout use usec ins
t
ead of seconds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Carpent
e
r
integer_
o
verflow
:
spli
t
some integ
e
r overflow handling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
an
Carpenter
address: Use rl_binop(
)
to calculate the offset into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
addre
s
s: handle an
o
ny
m
o
us un
i
ons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan
Car
p
enter
address: calculate bit
t
ypes
o
ffsets bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
C
arpenter
mat
h
:
h
a
n
dle
__bui
l
tin_offsetof() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
e
x
tra: handle un
m
a
t
ched
glo
b
a
l variables
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpente
r
e
xtra: don'
t
stor
e
HARD_
M
A
X
for
k
nown parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Dan C
a
r
p
enter
para
m
_
used
:
don't
s
a
ve bogus d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
D
an
C
a
r
penter
container
_
of: re-write con
t
ainer
_
of(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arpenter
helper: change h
o
w deref
s
are displayed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
m
ath: allow so
m
e recur
s
ion in handle_addre
s
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arp
e
nter
container_of: compare t
h
e
s
ym
b
ols
first o
f
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
container_o
f
:
e
x
port
the
g
e
t
_container_n
a
me() fun
c
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
mtag: update the
m
tag
when
i
t's set using a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carp
e
nter
math: ha
n
dle array
a
ddresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
D
a
n
C
a
r
pen
t
e
r
address:
u
nify th
e
code paths a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
address: rena
m
e
a variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an Carpente
r
free_strict: ignor
e
untra
c
k
e
d
parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
db
:
do
n
't print compar
i
sons when
a func
t
ion re
t
urns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
c
a
p
p
ed: h
a
ndle assignments
i
n
t
h
e comparison bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Car
p
e
n
t
er
extra: ha
n
dl
e
PARAM_ADD/SET bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
implied: re
m
ov
e
an unused vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
Carpent
e
r
typ
e
: debugging: display enu
m
types in type_to_str
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Da
n
Carpen
t
er
math: don't bot
h
er
cac
h
i
n
g
E
XPR_VALUE va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math:
fi
x
RL
_
ABSOLUTE for
u
nknown
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
slist:
don'
t
allocate
s
o many
duplic
a
te
-
>p
o
ss
i
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
mtag: prevent a cra
s
h
i
ng
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
D
an Carpe
n
t
e
r
extra:
fix a bug
handling decrementi
n
g for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carp
e
nt
e
r
extr
a
: fi
x
some type b
u
gs
handling loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
D
a
n Carpenter
return_cas
t
: fix this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan C
a
rpente
r
i
m
plied:
f
i
x
a bug handling
partial implica
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
i
m
p
l
ied: f
i
x a bu
g
handling partial
im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
impl
i
ed:
f
ix a
debug messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
Carpenter
kernel: ignore
l
ockd
e
p infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
arpe
n
ter
st
a
tes
:
prevent some no name stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan
C
arpen
t
er
s
l
ist: tweak
h
ow OO
M
i
s
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Da
n
C
a
rpenter
math: al
w
ays try
l
o
ok up if it
'
s
a
fixe
d
consta
n
t value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
implied: add ->skip_im
p
licatio
n
s back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math: introduce
ge
t
_
rl_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
mat
h
: rename get_r
l
_help
e
r
(
)
to get_r
l
_in
t
erna
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
m
a
th: remov
e
s
o
me debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: fix a bug gettin
g
t
h
e
"e
x
act" addr
e
ss o
f
a string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pen
t
e
r
imp
l
ied: clean up filter_stac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
implied: re
n
ame "in
c
omplete" to "bail"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
enter
implied: d
e
lete
-
>
s
kip_implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
implied: d
e
l
ete ->nr_children
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
impli
e
d: very
me
s
sy re-write of how to
b
ail if impl
i
cati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpente
r
pr
e
ced
e
n
c
e
:
add a warning for "fo
o
& bar > ba
z
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
k
e
rnel
_
user_
d
ata:
fi
x
a ty
p
e issue in set_point
s
_to_use
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
kernel
_
user_
d
ata: handle functions
that
r
e
t
u
r
n
a poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
kernel_us
e
r_data:
handle
s
truct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpenter
v
alidation: up
d
ate te
s
ts to reflect c
o
de chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nter
vali
d
ation/sm_s
e
l
ect5
.
c: up
d
a
t
e val
i
d
a
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: fix a type issue
w
ith pointe
r
subtractions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
db:
fix passing
c
a
ller
info for frob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
parse
_
cal
l
_math: f
i
x
inline
v
alidation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
function_hooks: fix a
t
ype issue in re
t
urn_implies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpente
r
ma
t
h: rem
o
ve debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
buf_size
:
fix handli
n
g
of
e
nd o
f
s
truct a
r
rays tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
locki
n
g
:
ma
k
e r
e
t
_non_zero range from 1-
s
32
m
ax
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
locking:
ad
d
some more locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
smatch: add some st
r
i
ng
liter
a
ls to snprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
spect
r
e
:
check for second halves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
er
user_da
t
a: fix
a crashing bug
o
n invali
d
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n C
a
rpenter
zero_t
o
_
err_ptr: fix fall out from unsig
n
ed pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
u
ser_data: ha
n
dle capped d
a
ta better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
db/kernel
.
ret
u
rn_fixes: fix __soc
k
_creat
e
() and wait_
f
o
r_com
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
a
r
pen
t
er
db/f
i
xup_ke
r
nel
.
sh
:
ignore RIO
_
BAD
_
SIZE returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Ca
r
penter
s
m
atch_data/kernel:
add some more ig
n
or
e
d
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpente
r
sm
a
t
c
h_da
t
a/k
e
rnel
.
no
_
return_f
u
ncs
.
add Add YY_FATAL_
E
RROR
.
.
.
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
som
e
common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_tra
c
ker: use
/
p
r
o
c
/
s
e
l
f/statm for out_o
f
_memory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
ima
g
inary_absolut
e
: ignore loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
flow: fix v
a
lid_ptr
_
m
ax
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
s
mat
c
h: always print th
e
time
:
and me
m
:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
slist:
d
o
a small s
p
eedup in cmp_possible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
slist: reverse th
e
o
rder of th
e
st
r
ees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
ad
d
ress:
i
m
p
rove get_address() f
o
r str
u
ct m
e
m
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
ad
d
ress:
m
any arr
a
y addres
s
es
c
an b
e
marked
a
s
v
alid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpe
n
ter
add
r
ess: get_me
m
ber_of
f
set
_
from
_
de
r
ef()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
r
penter
math: move more stuf
f
t
o get_rl_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
stri
n
g
_list: make
insert_str
i
ng() return false i
f
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
a
rpenter
string_list: call strcmp() once in
s
tead
o
f twi
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Car
p
enter
m
a
t
h:
don't
al
l
oc
a
te
t
he range_list i
f
not
necessa
r
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math: re
n
ame _g
e
t
_rl(
)
=> ge
t
_
r
l_helpe
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Carpe
n
ter
implied:
bail e
a
rli
e
r
on parsing parameter li
m
itation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpen
t
er
ma
t
h:
re-write _
g
e
t_sval() to pass th
e
results as
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carp
e
nter
s
l
ist: speed up add_poss
i
ble_s
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
an Ca
r
p
en
t
er
slist: a pointer is equ
a
l to itself in cmp_
p
os
s
ible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Ca
r
pen
t
er
locking: spin_
t
r
ylock
(
) returns 1 on succe
s
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Carpenter
slist: sp
e
ed up
c
opy_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
s
l
i
st: rename c
m
p_sm_states() to c
m
p_possible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpe
n
t
e
r
a
d
d
r
ess: improve handli
n
g of __smatch
_
implied(&foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next