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
conditions: delete unused function
2018-07-06
Dan Ca
r
pente
r
c
onditions: de
l
ete unused funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
N
orbert
M
anth
e
y
s
pectre:
allow to fl
a
g all occurre
n
ces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpent
e
r
chec
k
_user_da
t
a: mark kvm_register_
r
e
a
d
(
) as returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carpenter
n
o
sp
e
c: if it's called with trusted
d
a
t
a that's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
Carpe
n
t
e
r
user_data: do
n
't pas
s
*$ as u
s
er data if
the st
r
u
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
c
heck_user_data: some user data was lost at the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: fix build
breakage
by adding the type_info
schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db
:
rename call_implies to return
_
i
m
plies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
debug: improve
b
uf
size d
e
bugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
che
c
k_signed: silence some false positives
copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
check_s
h
ift_to_zero:
s
i
l
ence some fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Ca
r
p
e
nter
ch
e
ck_sizeof: fix a t
y
po in t
h
e warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
buf_
s
ize: fix recording gl
o
bal
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_comparison: don't save links
to literal siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
arpenter
compa
r
i
so
n
: add so
m
e debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpent
e
r
db: d
o
n't split
N
ULL and non-NULL
unnec
e
ssarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
d
b
: fix
a
N
U
LL der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: set the
CACHE
_
P
A
GES size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpe
n
te
r
db:
i
nt
r
odu
c
e the cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpe
n
ter
db: cle
a
n u
p
the
c
ode
an
d
expo
r
t
s
ome m
o
r
e
functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Ca
r
pe
n
ter
extra: use PARAM_LIMIT to
l
imit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
flo
w
: n
e
st some inline s
t
atemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
m
o
dification_hoo
k
s: don't allow
m
ultiple mo
d
i
fication
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
compari
s
on: d
o
n't save comparison
s
to
ones
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
c
omparison: add some parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
a
n Carpenter
va
l
idation: fix up some failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
comparison: f
i
x filter_b
y
_
c
o
mparison ==
f
or ra
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Da
n
Carpent
e
r
extr
a
:
just set sv
a
l
assi
g
nments
d
ire
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
chec
k
_s
p
e
c
tre: ignore
maske
d
off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
e
n
ter
spec
t
re:
use the
new i
s
_user_rl()
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpenter
user_data: sil
e
nce some mo
r
e
n
t
oh
l
(f
o
o[i]); false po
s
itive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
user_data: silence
som
e
sscanf() f
a
lse
p
o
s
i
tiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carp
e
nter
user_d
a
ta: introduce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n C
a
rpenter
user_data:
c
leanup get_use
r
_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Ca
r
penter
comparison
:
fix a NULL derefer
e
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carp
e
nt
e
r
compari
s
on: fix
v
alidation test
s
and add a new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
e
xtra: remove
a
n unn
e
eded __
s
et_sm() in db_param_lim
i
t_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpe
n
ter
helper: strip
o
ut the byte s
w
a
p
s
in
s
tr
i
p_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Car
p
enter
validati
o
n/sm
_
locking3:
fix function d
e
c
l
a
rations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
unknown_value: clear the ->parent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Ca
r
pent
e
r
ranges: im
p
rove s
t
r_to_comp
a
r
ison
_
arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpent
e
r
comparison: use smatch_extra
dat
a
in get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
comparis
o
n
:
im
p
r
o
ve handlin
g
of
"if
(
++j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compa
r
ison
:
handle j++ var sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equ
i
v: type and im
p
l
icatio
n
fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges:
fix == and != com
p
a
r
isons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Ca
r
p
e
nter
return_to_para
m
: fix
parsing ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
D
a
n Carpente
r
validation: upd
a
te te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rpente
r
db: m
a
ke c
a
ll
_
implies rows
unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an
C
a
r
penter
flo
w
: re
m
ove th
e
call_sp
l
it_
e
xpr() fun
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
e
x
tra: handle comparisons to expression
state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
db
/
fil
l
_db_calle
r
_info
.
pl: don't perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
db/
f
ixup_k
e
rne
l
.
sh: commit all
m
y
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
func
t
io
n
_ptrs: record local
p
ointer scope cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
rea
l
_a
b
solute: don
'
t save s
i
ngle value as
s
igns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
s
val: fix a bug in s
v
al_to
o
_lo
w
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: introduce db_ignore_st
a
te
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
db
/
untracke
d
_param: mark parameter
s
unt
r
acked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpe
n
t
e
r
flow
:
don't parse inli
n
e
functions which aren't inte
r
esting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan Car
p
ente
r
db/constraints_required
.
sc
h
ema: add
m
issing semi-colo
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpe
n
te
r
flow/expression
s
/function_hooks: re-
f
ix i
s
_assigned_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
k
er
n
el: handle __rea
d
_once_
s
ize()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Car
p
enter
m
a
th: fix a get_value() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
D
a
n Carpe
n
t
er
expr
e
ssions: make ass
i
gn_expression() take an op argu
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan
Ca
r
penter
spectre: warn about potent
i
a
l
sp
e
ctre vu
l
nerab
i
l
ities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n C
a
rpenter
e
x
pressions:
d
on't s
e
t the
->pare
n
t
to a
fake e
x
pression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan C
a
rpe
n
ter
expressions
:
just all
o
c
a
t
e zero_expr() fresh every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpen
t
er
expressio
n
/smatch_expressions: move expr_set/
g
et_
p
a
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalinas
s
par
s
e:
a
dd -Wpointer-arith f
l
a
g
to toggle sizeof(void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan
C
arpenter
or_vs_and: tid
y
u
p
whitespace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpent
e
r
or_vs_and: min_t()
u
ses the new
min() co
d
e as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan
Carpenter
check_
o
r
_
vs_and: i
g
nore the k
e
rn
e
l
'
s min
/
max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Ca
r
p
e
n
t
er
flow/math: h
a
ndle __builtin_cho
o
se_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n
Ca
r
pe
n
ter
validat
i
on/overflow: change "wa
r
n:" to
"
error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan C
a
rpe
n
ter
about_fn_pt
r
_arg: don't get into a
recursive loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
h
elper: add get_l
a
st_stateme
n
t_from_expression_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
ent
e
r
me
m
_t
r
acker: add a --
m
em op
t
ion to debug me
m
or
y
use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
expressio
n
s: remove some
u
nne
c
e
s
s
ary
g
oto
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
h
e
l
per: improve
is_
e
rror_retur
n
()
.
I
n the kernel al
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
sma
t
c
h
_data/smatch
.
c
o
m
m
on_functions: a
d
d s
o
me common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
s
m
atch_data/k
e
r
n
el
.
ignored_m
a
cro
s
:
add AA_BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
smatch_data/kernel
.
i
gnor
e
_unini
t
ializ
e
d
p
arams
:
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
arpenter
smatch_da
t
a/kernel
.
ign
o
re_side_effects add recent macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comp
a
r
ison: ha
n
d
l
e expression statements be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
r
penter
comparison: remove so
m
e debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
compariso
n
: introduce
impos
s
ibly
_
high_c
o
m
parison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpe
n
ter
ignore: fix
&& vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan C
a
r
p
enter
i
n
d
e
x_overflow: al
m
ost
a
re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Car
p
enter
impl
i
ed: im
p
rove handling of assig
n
ments in argu
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
a
rpente
r
kernel_pri
n
t
f:
d
o
n't war
n
a
b
ou
t
voi
d
point
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpenter
cheak_
l
eaks:
handle returning con
d
itionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
math: intro
d
uce a ne
w
ca
c
he
of recently used
c
onstants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
arpenter
math: h
a
ndle __builtin_constant_p() prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: alloca
t
ed some permanent range lists in rl_zer
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpenter
conditions: Fix parsing foo = ({
.
.
.
label: __
r
et; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpen
t
er
function
_
hooks: don't be too am
b
i
t
i
ous
faking paramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
range
s
/ptrl
i
st: solve a le
a
k with
a big
hac
k
(se
c
on
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
allocate: use unsigned lo
n
g to record a
l
l
ocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
deref_check: fix a s
m
all leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rpent
e
r
h
ooks: introduce FUNC
T
I
ON_C
A
LL_
H
OOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next