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
db: rename call_implies to return_implies
2018-06-25
Dan Carpenter
db: rename ca
l
l_implies to re
t
ur
n
_imp
l
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
d
e
bug
:
improve
buf s
i
z
e
debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpe
n
t
e
r
check_s
i
g
n
e
d: silenc
e
s
o
me false
po
s
itiv
e
s
copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_shift_to
_
zer
o
:
silen
c
e some false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_sizeof: fix a typo
in the war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix record
i
ng global size
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpent
e
r
b
uf_comparison:
don't save lin
k
s
t
o liter
a
l si
z
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
compariso
n
: add some
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b
: don't
split NULL and non-N
U
LL unnecess
a
ri
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db:
fi
x
a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpente
r
db: set
t
he
C
ACHE_PAGES
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an C
a
rpenter
db
:
i
n
troduce th
e
cache_
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carp
e
nt
e
r
db: clean up the code and export some more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
extra: use P
A
RAM_LIMIT t
o
limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an C
a
rpenter
flow: nest some inline
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
mod
i
ficat
i
on_hooks: don't allow multiple modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
comparison: don'
t
sav
e
comparisons to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carp
e
n
ter
co
m
parison: add some paren
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
validation: fix up some failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
c
o
m
p
ariso
n
: fix
f
i
lter_by_c
o
m
p
arison ==
for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
extra: just set sval assi
g
n
m
e
nts directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
check_spectre:
i
gnore masked off d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
spectre: use the new
is_user_r
l
()
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
user_
d
a
t
a
:
silence
s
om
e
more ntohl(foo
[
i]); false po
s
iti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an C
a
rpenter
us
e
r_d
a
ta: silence some
sscanf() false po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user
_
data
:
i
ntroduce is_user
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpenter
user_data: cleanup
g
et_user_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
an Carpente
r
compariso
n
: fix a NUL
L
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
arpenter
c
o
m
p
a
rison: fix validati
o
n
t
ests an
d
add
a
new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Ca
r
p
ente
r
e
x
tra: remove an unneede
d
__set_sm() in
db_pa
r
am_limit_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
hel
p
er: strip
o
ut t
h
e
byte swa
p
s
in
s
trip_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
v
a
l
idation
/
sm_l
o
cking3: f
i
x f
u
ncti
o
n declara
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
unkno
w
n_value: clea
r
t
h
e ->parent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
r
anges: i
m
prove str_
t
o_
c
omparison_ar
g
_h
e
lper
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
compa
r
ison: us
e
smatch_extra data in get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
e
n
ter
c
omparison:
i
m
prov
e
handling of "i
f
(
+
+j =
=
limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compari
s
on:
h
andle j++ var sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Car
p
en
t
e
r
equiv:
t
y
pe and i
m
p
l
i
cation fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges: fix == and
!
= com
p
arisons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
re
t
urn_to_param
:
fix parsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
D
a
n Carpenter
validat
i
on: u
p
date t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpe
n
te
r
d
b: make ca
l
l_impl
i
es rows
u
nique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
p
enter
fl
o
w
:
rem
o
ve
the
call_
s
plit_
e
xpr() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
extra: handle comparisons to expre
s
sion
s
tate
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
d
b/fi
l
l_db_caller_info
.
pl: don't perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carp
e
nter
db/f
i
x
up_kern
e
l
.
sh
:
co
m
mit
all my st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpenter
functi
o
n_ptrs: re
c
ord local pointer scope corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
rea
l
_
a
bsolute: don't s
a
ve single valu
e
assig
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
arpent
e
r
sval: fix a bug in sval_too_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
db: in
t
ro
d
uce db_
i
g
nore
_
stat
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
arpenter
db/untracke
d
_param: mark parameters u
n
tracked
if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: don'
t
parse inli
n
e funct
i
ons
w
h
i
ch aren't interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
D
a
n Carpent
e
r
db/constr
a
ints_required
.
schema: add m
i
s
s
ing se
m
i
-
co
l
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
arpenter
flow/expr
e
ss
i
ons/function_hooks: r
e
-
f
ix is_assigned_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
ke
r
n
el: h
a
n
d
le _
_
read_once_
s
ize
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: fix a get_v
a
lue() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpe
n
ter
e
xpressions: make a
s
sign
_
expre
s
sion() take an op argume
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Carpenter
spe
c
tre: warn a
b
out pot
e
ntial spectre vulnerabilit
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpen
t
er
exp
r
e
s
s
ions:
d
o
n't set the ->p
a
rent to
a
fake
exp
r
ession
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
ex
p
ressions: just alloc
a
te ze
r
o
_
expr() fres
h
every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan C
a
rpenter
expressio
n
/smatch_expressions: move ex
p
r_set/get_p
a
re
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalina
s
s
p
a
rs
e
:
a
dd -Wpointe
r
-arith flag
to toggle sizeof(voi
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n
Carp
e
nte
r
o
r
_vs_and: tidy up whites
p
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpen
t
er
or_
v
s_and: min_t() uses the
n
e
w
min() code as wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpen
t
er
check_or_vs_and
:
ignore
the k
e
rnel's min/max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
flow/m
a
th: ha
n
d
l
e __bu
i
ltin_cho
o
se_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpen
t
er
v
alidation/
o
verflo
w
: ch
a
n
g
e "wa
r
n:" to "error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
an Carp
e
nter
about_fn_
p
tr_a
r
g: don't get into a recursive loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
C
a
rpenter
helper:
a
dd get_last_statement_fr
o
m
_
expression
_
stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
mem
_
tracker: add a --mem option t
o
debug memory us
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
e
x
p
ressions:
remov
e
some
u
n
n
ecessary gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
hel
p
er: improve i
s
_error_return
(
)
.
In the
kerne
l
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
arpenter
smatch_data/smatch
.
c
o
mmon_
f
unction
s
:
a
dd some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
smatch_data/kern
e
l
.
ignored
_
macros: add
A
A_
B
UG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
smatch_
d
ata/
k
ernel
.
i
g
nore_
u
n
ini
t
ialized params: add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpent
e
r
smatch_da
t
a/kernel
.
ignore_side
_
effects
add
recent macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
compa
r
ison:
h
andle ex
p
ression statements be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carp
e
nter
com
p
ari
s
on: rem
o
v
e
s
ome debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
comparison:
i
n
tro
d
uce impossibly_high_comparison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpenter
ignore: f
i
x
&
& vs ||
t
ypo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan
C
a
r
pente
r
index_overflow: a
l
most a re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
implied: imp
r
ove handlin
g
of
assignme
n
ts in arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nte
r
kernel_prin
t
f:
d
o
n't
w
ar
n
abou
t
void
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an
Car
p
enter
c
heak_leaks: handle return
i
ng co
n
ditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: introduce a new
cac
h
e
of rec
e
ntl
y
used
c
onstants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
arpenter
math: h
a
n
dle __builtin
_
constant_p() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Car
p
ente
r
math: allocated some permane
n
t r
a
nge lists in rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
c
o
nditions: Fix
parsing
foo = ({
.
.
.
label:
_
_ret; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
D
an Carp
e
nt
e
r
function_hoo
k
s: don't b
e
too a
m
bitious
f
aking
p
aramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpe
n
ter
rang
e
s
/
p
t
rlist: solve
a
l
e
ak with a big hac
k
(s
e
cond
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
an Carpen
t
er
allocate:
u
se
u
nsi
g
ned lon
g
to
recor
d
allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
d
e
ref_check:
fix a small leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpente
r
hooks: introduce FUNCTION_CALL_
H
O
O
K_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpen
t
er
u
se
r
_
data
:
readi
n
g
from a
n
a
r
ray doesn't n
e
cessarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpent
e
r
implied: introdu
c
e impossible_assump
t
i
o
n(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n
Carpenter
b
u
f_
s
ize:
don't save unnecessary states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rpenter
mtag:
p
ush
a
l
l
m
y
c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpent
e
r
ran
g
es: fix
a
le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
deb
u
g: add __smatch_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
modificat
i
on_
h
ook
s
: don't
s
ave
t
he
e
x
p
ressio
n
s outside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next