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
check_signed: silence some false positives copying from buffers
2018-06-22
Dan Carpenter
check_sig
n
ed: silence some
fal
s
e positi
v
es copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
chec
k
_shift_to_zero: s
i
len
c
e some
f
al
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check
_
sizeo
f
: fix a typo in the warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix recording global sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
penter
buf_compariso
n
:
don't s
a
ve l
i
nks t
o
literal sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
pe
n
te
r
comparison: a
d
d some debug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
db: do
n
't spl
i
t NULL and non-NULL unn
e
ce
s
s
arily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: fix a NULL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
d
b: set t
h
e CACH
E
_PAGE
S
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db
:
introduce the cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
db: clea
n
up the code an
d
export some m
o
re functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
a
rp
e
nter
e
xtra: use PARAM_LIMIT to limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nes
t
some in
l
i
n
e
s
tat
e
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Car
p
e
nter
mo
d
i
fication_hooks
:
don't
allow
multiple mod
i
fic
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
c
omparison: do
n
't save c
o
m
p
a
r
i
sons
to o
n
eself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Ca
r
p
e
nter
comparison: add some par
e
nthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
validation:
f
ix u
p
some fa
i
lures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Carpe
n
t
er
comparison: fix filter_by_compariso
n
== fo
r
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
extra: j
u
st se
t
sval a
s
sig
n
ments directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
check_spect
r
e: ignore ma
s
ke
d
off
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
s
pect
r
e:
use
t
he ne
w
is_user_rl(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data:
s
ilence
some more n
t
ohl(foo[i]);
f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: silence some sscan
f
() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
C
arpenter
user_data: introd
u
c
e
i
s_u
s
e
r_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user
_
da
t
a:
c
leanu
p
get_user
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
c
o
mp
a
ri
s
on: f
i
x a NULL
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan C
a
rpenter
c
o
mparison: fix
v
alidation tests and
a
dd a new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an
Carpenter
extra: remove a
n
unnee
d
ed __set_sm() in db_param_limi
t
_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpe
n
ter
h
e
l
p
er: strip out the byte s
w
a
p
s i
n
strip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
v
alidation/
s
m_lo
c
king3
:
fi
x
function declar
a
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
u
nkno
w
n_value: clear the ->parent poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
nt
e
r
ran
g
e
s
: improve str_to_comp
a
rison_arg_he
l
per()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carp
e
nt
e
r
compar
i
s
o
n: use sm
a
t
c
h_ex
t
ra data in
g
et_com
p
arison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpen
t
er
comparison
:
imp
r
ove
han
d
ling of "if (++j
=
=
l
im
i
t
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Car
p
enter
co
m
pari
s
on: handle j++
var sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
equi
v
: t
y
pe and imp
l
ic
a
ti
o
n fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges:
f
ix
=
= and
!= comparisons
.
.
.
(0_
0
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return
_
t
o_par
a
m: fix
p
arsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Ca
r
penter
vali
d
ation
:
update tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpente
r
db:
m
ake call_implies ro
w
s uni
q
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
f
l
ow: remove the call_split_expr() fun
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
extra: handle comparisons
t
o express
i
o
n
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fill_db_calle
r
_
i
nfo
.
pl: don't perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpent
e
r
d
b
/fixup_k
e
rne
l
.
sh: commi
t
a
l
l m
y
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Car
p
enter
functi
o
n_
p
tr
s
: recor
d
l
o
ca
l
pointer scope correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an
C
a
r
p
ente
r
real_absolu
t
e: don'
t
save
s
ingle value as
s
igns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
pe
n
ter
sv
a
l
:
f
i
x a bug in sval_too_low(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Ca
r
pent
e
r
db
:
intro
d
uce db_ignore_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/
u
n
t
racked_par
a
m: mark param
e
te
r
s u
n
tr
a
cked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
flow
:
d
o
n
't pars
e
inline functions which ar
e
n
'
t in
t
er
e
sting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
D
a
n Carpen
t
er
db/constrain
t
s
_
r
equired
.
schema: add
mi
s
sin
g
semi-colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Ca
r
penter
flow/ex
p
re
s
si
o
ns/functi
o
n_h
o
oks: r
e
-
fix is_as
s
igned
_
call(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
k
ernel: ha
n
d
l
e _
_
rea
d
_once_si
z
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n
Carpe
n
te
r
ma
t
h: fix a get_
v
alue()
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
e
x
p
res
s
ion
s
:
make assign_exp
r
ess
i
on() tak
e
an
o
p argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carp
e
nter
spectre: war
n
about pote
n
tial spectre
v
u
l
n
e
rabilities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Ca
r
penter
exp
r
essions: don't set the -
>
par
e
nt to
a
f
ake
ex
p
ression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
D
a
n C
a
rpenter
expressions: just allocate zero_expr() fresh ever
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpent
e
r
e
xpression/smatch_expressions: move
e
x
pr_set/
g
et_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
J
o
ey
Pabali
n
as
sp
a
rse: add
-
Wpointer-ar
i
th
flag to togg
l
e s
i
zeof(void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Da
n
Carpe
n
ter
or_vs_and: tidy
u
p white
s
p
a
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
D
an Carpenter
o
r
_vs_and:
m
in_t() us
e
s
t
he new min()
c
ode as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
check_or_vs_and: igno
r
e the kernel's min/max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carp
e
n
t
e
r
flow/math: handle __builtin_
c
hoose_ex
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
validati
o
n/overflow: change "warn
:
" to "error:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Ca
r
penter
about
_
fn
_
ptr_arg: don't ge
t
into
a
recursive loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
helper: add get_last_statement_from_expression_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpenter
mem_tracker:
a
dd a
-
-mem
o
ptio
n
to debug
memory use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpe
n
ter
exp
r
e
s
sions: remove some unn
e
cessary goto
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
helper:
improve is_error_return()
.
In the kernel all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Ca
r
pent
e
r
smatch_data/smatch
.
c
ommon_function
s
:
add some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nte
r
smatc
h
_d
a
t
a/ker
n
el
.
i
g
nore
d
_macr
o
s
:
add
A
A_
B
UG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
smatch
_
d
a
ta/
k
ernel
.
ignore_un
i
nitialized
p
a
rams:
a
dd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
match_d
a
ta/kern
e
l
.
ignore_side
_
effects add recent macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
com
p
a
r
i
son
:
hand
l
e expression statements better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpe
n
t
er
com
p
arison: re
m
ove
som
e
de
b
ug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: introduce impos
s
i
bly_high_co
m
par
i
so
n
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpenter
i
g
no
r
e: f
i
x
&& vs
|
|
t
y
p
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
D
a
n Ca
r
penter
in
d
ex_overflow:
almost
a re-wr
i
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
implied: impr
o
ve h
a
nd
l
ing of
a
s
signments in arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
ke
r
nel_printf: don't war
n
about
void
poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an C
a
rpenter
chea
k
_
le
a
ks: handl
e
return
i
ng conditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: introduc
e
a new c
a
c
h
e o
f
recently used
constant
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpenter
m
a
th: handle
__built
i
n
_co
n
stant_p() proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
ma
t
h
:
allocat
e
d
some permanent
range list
s
in rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carpenter
condi
t
ions: Fix parsing foo = ({
.
.
.
label: __r
e
t; }
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpenter
f
unction_hooks: d
o
n't be
too ambit
i
o
u
s faking parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
a
n
Carpent
e
r
ranges/ptrlist: solve a leak wit
h
a big hack (
s
econd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpe
n
t
e
r
allocate: u
s
e unsi
g
ned lo
n
g to re
c
ord allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpenter
deref_
c
heck: f
i
x a sma
l
l
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpe
n
t
er
h
o
oks:
introduce FUNCTION_CALL_H
O
OK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
u
ser_dat
a
: readin
g
from an array does
n
't necessarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
imp
l
i
e
d: i
n
trodu
c
e imp
o
ssibl
e
_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpenter
buf_si
z
e: don't
save unne
c
essary states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: push all my
change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
r
a
nges: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpen
t
er
debug: add __smatc
h
_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
m
o
difica
t
ion
_
h
o
o
ks: don't save
t
h
e expressi
o
ns
o
u
tside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
var_sym: tweak expr_t
o
_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
penter
symbol
.
h: let
is_ptr_type
(
)
take NU
L
L pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next