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
rpent
e
r
mtag_map
:
use expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
de
b
ug: use ex
p
r_to_mtag_
o
f
f
set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
er
m
t
ag
:
tweak get_mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpe
n
ter
mtag: delete totally bo
g
u
s get
_
dere
f
_mtag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
mtag: delete
u
ncalled remov
e
_dereference()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpe
n
t
er
mta
g
: tweak how g
e
t_array_mtag_offse
t
() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpente
r
mtag:
d
elete uncal
l
ed ge
t
_mtag_ad
d
r_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: de
l
ete some dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpen
t
er
mtag:
re
m
ov
e
un
u
sed
g
et_mta
g
_offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
m
ath: remove the get_implied_
v
alue_low_overhead() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Ca
r
pe
n
ter
m
t
ag_data: re-write
in te
r
ms of m
t
ag/offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
r
p
en
t
er
mt
a
g_da
t
a: imp
r
ove
looking up the mtag_data
for "foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carpenter
m
t
ag: remove duplicative code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag:
push
s
o
me mta
g
seed code (but d
o
n't enable
i
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n C
a
rpenter
mta
g
:
handle function
p
ointers correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
capped: stop ma
r
king e
v
e
r
ything as cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
capp
e
d: poi
n
t
e
r
s
can't be ca
p
pe
d
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 a
s
ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
m
tag: fix handling of arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpente
r
c
on
t
ainer_of: fix
the validati
o
n tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
implied: remove skip_impl
i
c
a
ti
o
ns a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
a
rpenter
im
p
lied: make
a
timeout u
s
e usec inste
a
d of secon
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n
Carpe
n
ter
i
n
teger
_
o
verflow: spl
i
t some integer overflow
handling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpen
t
er
address
:
Use rl_binop() to
c
a
lculate t
h
e offset into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpe
n
ter
address: h
a
ndle anonymous uni
o
ns bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
nt
e
r
addre
s
s:
c
alculate bit ty
p
es off
s
ets be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carp
e
n
t
er
m
ath: han
d
le __builtin_offsetof
(
) b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extra: handle unma
t
c
h
e
d
gl
o
bal
v
ariables better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
extra:
d
on'
t
store H
A
R
D
_MAX for k
n
o
w
n
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
D
a
n Carpenter
param_
u
sed: don
'
t save
bog
u
s data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-14
Da
n
Carpenter
container
_
of: re-write cont
a
iner_of()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
rpe
n
t
er
h
elper: c
h
ange how derefs are
displa
y
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
mat
h
: allo
w
some recursion in h
a
ndle_addres
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpe
n
t
e
r
containe
r
_of: compare the s
y
mbols first
o
f all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
C
arpenter
c
o
nta
i
ner_of:
e
xport the get_contain
e
r_name() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carpenter
m
tag:
updat
e
t
he mtag
w
hen it's set
u
sing a p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carpenter
math: hand
l
e a
r
ray
addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
address
:
unify
the code path
s
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-11
Dan
Carpenter
address: ren
a
me a
vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpenter
free_s
t
rict: ignor
e
untra
c
ked parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arpe
n
ter
db: don't pri
n
t
comparis
o
ns when a f
u
nction returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
an Ca
r
p
e
n
t
e
r
c
apped:
handle assignments i
n
t
h
e
comparison
b
et
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
D
a
n Carpe
n
ter
extra: handl
e
PAR
A
M_A
D
D
/
SET bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
implied
:
re
m
o
v
e
a
n unused variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
ty
p
e: debugging: d
i
splay enum
types in type_to_str
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpenter
math: don't bo
t
her caching EXPR_VALUE values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math: fix RL_A
B
SOL
U
TE for
unkno
w
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpen
t
er
slist: don'
t
all
o
cate so many dup
l
i
c
ate ->
p
ossi
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rp
e
nter
mtag: p
r
eve
n
t a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
extra:
f
ix a
bug handling
decrem
e
nting for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpenter
ex
t
ra: fix
som
e
type bugs handling
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
retur
n
_
c
a
st: fix this c
h
e
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
im
p
lied: fi
x
a bug
handling partial implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
D
an C
a
rpe
n
t
er
imp
l
ie
d
: fix a bug han
d
ling partial implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-03-04
Dan
Carpenter
impli
e
d: fix a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Da
n
Car
p
ent
e
r
kernel: ignore
lockd
e
p infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
D
a
n Carpenter
s
tates: prevent some no
n
ame states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpenter
slist: tweak h
o
w
O
OM is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
math
:
always try look
up
i
f
it's a f
i
xed c
o
nstant v
a
lu
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-27
Dan Ca
r
penter
implied: add ->sk
i
p_implic
a
tio
n
s back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
er
mat
h
: intr
o
d
uce get_r
l
_hel
p
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
math: renam
e
get_rl_helper(
)
to
g
et_rl_i
n
te
r
nal()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
math:
r
emove
some debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
m
ath: f
i
x a bug getting the "exact" addre
s
s of a string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
ar
p
ent
e
r
implie
d
:
cle
a
n up filter_stack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpen
t
er
implied:
r
e
name "
i
ncomplete" to "bail"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Ca
r
pente
r
i
m
p
l
ied:
d
elete
-
>sk
i
p_
i
mplicati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpen
t
er
impl
i
ed: delet
e
-
>nr
_
chi
l
d
r
en
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pent
e
r
i
mplie
d
: very messy re
-
w
rite of h
o
w to bail
if
im
p
licat
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
precedence: add
a
warn
i
ng
f
or "foo & bar >
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
k
ernel_user_d
a
ta: fix
a type i
s
su
e
in set_p
o
ints_to_user_
d
a
t
a
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kernel_user_data: ha
n
dle
functions
t
hat return a pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kernel_us
e
r_data: hand
l
e struct
a
ssig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Ca
r
penter
validat
i
on: update t
e
sts to ref
l
ect code c
h
ang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpent
e
r
validatio
n
/sm
_
sel
e
ct5
.
c: update val
i
d
ation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpen
t
er
math: fix a type issue wit
h
poin
t
er subtractions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
d
b: fix passing cal
l
er info fo
r
fr
o
b(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
te
r
parse_c
a
ll_
m
ath:
f
ix inline validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
functio
n
_hooks: fix a type
i
ssue in
retu
r
n
_implies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: remove
d
eb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
bu
f
_s
i
z
e
:
fi
x
handling of end of struct arrays that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
locking: ma
k
e r
e
t
_non_
z
e
r
o range from
1-s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
pe
n
ter
lock
i
ng
:
add some more locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smat
c
h
:
add
s
ome string litera
l
s to snprintf(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpe
n
ter
spectre: chec
k
for second h
a
lves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Car
p
enter
u
ser_data
:
fix a crashing bug on inval
i
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
zero_to_err_ptr: fix fall
o
ut f
r
om uns
i
gned pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpent
e
r
us
e
r_data
:
handle ca
p
ped data bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
db/kernel
.
ret
u
rn_
f
ix
e
s:
f
ix __sock_create() and wait_for_
c
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
db/fixup
_
kernel
.
sh
:
igno
r
e RI
O
_
B
AD_S
I
Z
E
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
smatch_data/kernel: add s
o
me
m
or
e
igno
r
ed st
u
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
sma
t
c
h
_data/kernel
.
no_return
_
f
uncs
.
add Add YY_FATAL_ERROR
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpe
n
ter
db
/
delete_t
o
o_commo
n
_fn_pt
r
.
sh: delete some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
enter
mem_tracker:
u
se
/pr
o
c
/self/statm fo
r
out_of_memory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpe
n
ter
i
m
agina
r
y
_
absolute: ignore l
o
o
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
f
low: fix va
l
id_p
t
r_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carpenter
smatch:
always p
r
int the time: and
m
em:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
en
t
e
r
s
l
ist: do a
s
ma
l
l spee
d
u
p in cmp_po
s
sible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
n
t
e
r
sl
i
st: r
e
verse the order o
f
the st
r
ee
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
a
ddress:
improve
g
et
_
address() for struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next