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
smatch_flow: don't parse inline functions after we have already bailed
2018-06-22
Dan Carp
e
nter
check_signed: silence some
f
al
s
e
p
osit
i
ves copyi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
che
c
k_shift_to_zer
o
: s
i
lence some fa
l
se positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
ch
e
ck_siz
e
of: fix
a typo
i
n
the w
a
rnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix recording glob
a
l siz
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
buf_co
m
parison: don'
t
save link
s
to literal sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
comparison
:
a
d
d some d
e
bug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db:
d
on't split
N
ULL and no
n
-NULL un
n
e
c
essarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
d
b
: fix a NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
db: set the
C
A
CHE_P
A
GES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db:
i
ntroduce the cache_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: clean up the co
d
e and exp
o
rt
s
ome mor
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Ca
r
penter
ex
t
ra: us
e
PARAM_
L
IMIT to limit b
i
nops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
flo
w
: nest
s
ome i
n
l
i
ne
s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
m
odification_h
o
oks
:
d
o
n't allow
multiple mod
i
fication
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan
Carpen
t
er
c
o
mparison: don't save comparisons to oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
comp
a
riso
n
:
a
dd some pare
n
thesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carp
e
n
t
er
val
i
da
t
i
o
n: fix
u
p
s
o
me
f
a
ilures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan
C
arpente
r
com
p
aris
o
n
: fix
f
ilter_by_comparis
o
n ==
f
or ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
C
arpenter
extra: jus
t
set sval assi
g
nments
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
check_spectre: i
g
nore
m
asked off data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpenter
s
pectre: use the new is_
u
s
e
r
_
rl() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: silenc
e
som
e
more
nt
o
h
l(foo[i]); fals
e
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user_da
t
a: silence some sscan
f
()
f
a
l
se pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
user
_
data:
i
nt
r
oduce is_u
s
er
_
data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
user_data: cleanup g
e
t_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
comparison: fix
a NULL
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carpenter
c
omparison: fix validation
t
e
s
t
s
a
n
d add a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
extra: re
m
o
ve an
u
nneeded __
s
et
_
s
m
() in db_param_limit_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
helper: s
t
r
i
p out the by
t
e swaps in strip_ex
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
validation/sm_locking3: fix
f
unction d
e
clarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
unknow
n
_val
u
e
: clear
t
he ->parent
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
rang
e
s: i
m
pr
o
ve str_to_comparison_arg_h
e
lper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carp
e
nter
compa
r
ison: u
s
e sm
a
tch_
e
x
t
ra data
i
n
g
et_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
comparison: imp
r
ove handli
n
g of "
i
f (++j == limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
arpenter
comparison: handle j++ var sym
l
ists better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
equiv
:
type
a
n
d implicat
i
o
n f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan C
a
rpenter
ranges: fix
=
=
a
nd
!
= comp
a
risons
.
.
.
(
0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_t
o
_param: fix par
s
i
n
g
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
an Ca
r
penter
vali
d
a
t
io
n
: upd
a
te tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rpente
r
db:
m
ake call_impl
i
es rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove the call_split_expr() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
C
arpent
e
r
ext
r
a: handle comparisons
t
o expression st
a
te
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
db/fill_db_
c
aller_info
.
pl: don't perma-ban
f
unctio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
r
pent
e
r
db/fix
u
p_kernel
.
sh: commit all my s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpent
e
r
function_ptrs: record local poi
n
ter
s
cope c
o
rrect
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
r
e
a
l
_absolute: don't
save single va
l
ue assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
s
v
al
:
fix a bug in sval_
t
oo_
l
ow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: introduce db
_
ignore_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
db/
u
ntr
a
cked_p
a
ram:
mark paramet
e
rs un
t
racke
d
if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
flow: don'
t
parse inline
fu
n
ctions
w
hich aren't
i
nter
e
s
t
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
D
an C
a
rpen
t
er
db
/
cons
t
raints_required
.
schema: add missing semi-c
o
lon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n
C
arpe
n
ter
flow/e
x
pressions/function_hooks: r
e
-fix is_assigned
_
call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan C
a
rpenter
k
e
r
nel
:
handle
__read_o
n
ce_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
a
rp
e
nt
e
r
math: fix a
g
et_value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
expressions: make a
s
sign_expression()
take a
n
op a
r
gum
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carp
e
nter
spectre: warn ab
o
ut potential spect
r
e vu
l
nerabi
l
it
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpen
t
er
e
xpressions: don't set the ->
p
arent to a fake expre
s
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpe
n
ter
expressio
n
s: just allo
c
ate zero_expr()
fresh
e
very
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan
C
arpenter
ex
p
ression/smatch
_
expr
e
ssions: move exp
r
_set/get_p
a
rent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
D
an Carpenter
or
_
vs_and: tidy up whitespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
D
an Carpenter
or_vs_and: min_t() uses the new
m
i
n() code a
s
wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Car
p
enter
che
c
k
_or_vs_and: ig
n
or
e
t
he ker
n
el's min/max mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
flow/math:
handle __built
i
n_
c
hoose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan
Carpenter
validation/overflow: change "warn:"
t
o "er
r
or:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
abo
u
t
_fn_ptr_arg
:
don't ge
t
into a recursive l
o
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
l
per: add get_last_stateme
n
t_f
r
om_expression_stmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
m
e
m_tracker:
a
dd a --m
e
m
o
pti
o
n t
o
debug memory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carp
e
nter
expressi
o
ns: remove some
unnecessary
g
otos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
C
ar
p
enter
helper: improve
is_error_return()
.
In th
e
ker
n
el all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
smatch_data
/
smatch
.
c
ommon_functions
:
add some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
rpente
r
smatch_data/
k
ernel
.
ignored_macros: add AA_BUG
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
sm
a
tch_dat
a
/kernel
.
ig
n
ore
_
uninitialized
par
a
ms
:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
smatch_data/kernel
.
ignor
e
_s
i
de_effec
t
s
a
dd rec
e
nt macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
omparison:
h
andle expression stat
e
ments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpenter
compar
i
son: remove som
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
co
m
parison: in
t
ro
d
uce impossibly_high_c
o
mpar
i
son()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Car
p
en
t
er
ignore: fix && vs |
|
t
ypo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
D
an Car
p
enter
i
n
dex_ov
e
rflow: a
l
most a re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nt
e
r
i
mpli
e
d:
i
mprove handl
i
ng of assignments i
n
ar
g
uments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carp
e
nter
ker
n
el_printf: don
'
t wa
r
n
a
b
out v
o
i
d
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
t
er
cheak_
l
eaks: ha
n
dle ret
u
rn
i
ng conditi
o
nals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carpenter
math
:
i
n
troduce a n
e
w cache of recently used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
math: handle __buil
t
in_
c
onst
a
nt
_
p
(
) p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpent
e
r
ma
t
h: allocated some perman
e
nt range
l
ists
i
n rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
c
ondition
s
: Fix parsing foo = ({
.
.
.
label: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
D
a
n
Carpent
e
r
fu
n
ction_hooks:
don'
t
be too amb
i
tious fa
k
ing parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Ca
r
pe
n
ter
ranges/ptrlist
:
solv
e
a le
a
k
w
ith a b
i
g
h
a
c
k
(
second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Car
p
e
n
t
er
a
llocate: us
e
u
n
si
g
n
e
d long to record allocation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
de
r
ef_che
c
k: fi
x
a
small le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
hooks: introduce FUNCTION_CALL_H
O
O
K_BEF
O
RE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
u
ser_data: readi
n
g from an array doesn't necess
a
rily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
impl
i
e
d: introduce impossible_assump
t
i
on
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
buf_size:
don'
t
save
unnec
e
ssary stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpenter
m
tag: push all my c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
ranges: fix a
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpenter
debug: add __smatch_state_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
penter
modification_hooks: don't save the expre
s
sions
o
u
t
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpe
n
ter
var_sym: tw
e
ak expr_to_v
s
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
symbol
.
h:
l
et
i
s
_ptr_type() take NULL po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
retu
r
n
_to_
p
aram: fix a
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next