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
user_data: don't pass *$ as user data if the struct members are known
2018-06-28
D
a
n Carp
e
nt
e
r
u
ser
_
data: don't p
a
ss *$ as
user data
if
th
e
stru
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carpe
n
ter
che
c
k_us
e
r_data: some
user data
was
lost
at the cal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n C
a
rpenter
d
b
: fix bui
l
d breaka
g
e by adding
t
he ty
p
e_
i
nfo schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Car
p
en
t
e
r
db: rename call_implies to return_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
deb
u
g:
i
mprove buf
size debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_signed:
s
ilence
so
m
e f
a
l
s
e positives
copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
chec
k
_shi
f
t_to_zero:
silence some fa
l
s
e
positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
che
c
k
_sizeof:
fix a
typo in the
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
buf
_
si
z
e:
f
ix
recordin
g
gl
o
bal sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
b
u
f_compariso
n
:
do
n
't save link
s
to literal sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
co
m
p
a
riso
n
:
a
dd
som
e
d
eb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: don't split NULL and
non-N
U
LL
u
nnece
s
sarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Ca
r
penter
db: fix a NU
L
L dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rp
e
nter
d
b: set th
e
CACHE_PAGES size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
db: introduce the
cac
h
e
_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: clean up the code and export
som
e
m
or
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ent
e
r
e
x
tra: use PARAM_LIMIT
t
o
l
i
m
it b
i
n
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flo
w
: ne
s
t some inline
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
mod
i
fication_
h
o
oks: don'
t
allow multiple m
o
dific
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Da
n
Carpente
r
comparison: don't sav
e
c
o
m
p
arisons to o
n
ese
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Car
p
enter
comparison: ad
d
so
m
e parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Car
p
enter
validation: fi
x
up some
f
ailures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
an Carpenter
compar
i
so
n
: fix fil
t
er_by_comparison
== fo
r
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
extra:
just set sval
a
ss
i
gnments directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carp
e
nter
che
c
k
_sp
e
ctre: i
g
nore
m
a
sked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carp
e
n
t
er
spectre:
use th
e
n
ew is_user_rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
ar
p
enter
use
r
_data: s
i
lence some more ntohl(foo[i]);
fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpen
t
er
user_data:
s
i
lence s
o
me sscanf()
f
al
s
e
p
osit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: i
n
troduc
e
i
s
_user_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
user_data
:
cleanup
g
et_u
s
er_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
c
ompar
i
son: fix a NULL
der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Da
n
Car
p
enter
comparison
:
f
i
x
v
a
lidati
o
n tests and add a new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpenter
extr
a
:
rem
o
ve an unneede
d
__set_sm(
)
in db_param_
l
i
m
i
t_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
helper:
s
t
rip
o
u
t
the
b
yte swaps in strip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an C
a
rpent
e
r
valida
t
io
n
/sm_locking3: fix
function declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
Carpenter
u
n
known_value: clear
t
he ->pa
r
ent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
r
anges:
i
mprove str_to_c
o
mpar
i
son_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
compari
s
on: use
s
match_extra da
t
a
in ge
t
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
comp
a
rison: improve handling of "if (+
+
j ==
limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
com
p
aris
o
n: ha
n
dl
e
j++
var sym lis
t
s be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
equi
v
: type and implicati
o
n
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpen
t
er
ranges: fix ==
and !=
comparisons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
r
eturn_to_p
a
ram
:
fix parsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
validatio
n
: update te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
db: make
call_implies rows unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
f
low: remove the call_sp
l
it_expr() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
extra: handle com
p
ar
i
sons to expression stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
db/fill_db_
c
al
l
er
_
info
.
pl:
don't perma-b
a
n functio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fixup_kerne
l
.
sh: commit a
l
l my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
r
p
enter
functio
n
_ptrs:
record
local pointer scope cor
r
ect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
real_abs
o
lute: don't
save single
v
alue assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
sval: fix a
b
ug
in sval
_
too_l
o
w()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpente
r
db:
i
ntroduce
db_i
g
nore_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an C
a
r
penter
db/unt
r
acked_param: mar
k
parameters u
n
tracked
i
f we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
f
l
o
w: don'
t
parse inline functions w
h
ich ar
e
n
'
t
interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan Carpe
n
ter
db/constr
a
ints_
r
equired
.
schema: add missing semi
-
colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Carpente
r
fl
o
w/e
x
pressions/functi
o
n_hooks: re
-
fix is_assi
g
ned_cal
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
kernel: handl
e
_
_read_once_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Ca
r
penter
ma
t
h:
fix
a
g
et_value() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carp
e
nter
e
xpre
s
sions: make
a
s
s
ig
n
_e
x
press
i
on
(
) take an op
a
rgum
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
a
r
p
e
nter
spe
c
tre: war
n
about potential spectre vulnera
b
ilities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpe
n
t
e
r
e
xpressions:
d
on't set
the ->par
e
n
t
to a
f
ake expressio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
D
an Carpenter
expressions
:
just alloca
t
e ze
r
o
_
expr() fres
h
every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expre
s
sion/smat
c
h_expre
s
sions: mo
v
e
e
xpr_set/get_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and
:
tidy
up whi
t
espace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpent
e
r
o
r_
v
s_and: m
i
n_t() uses the new
m
in(
)
code
a
s wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
Carpenter
check_or_vs_and: ignore
the kernel's min/max mac
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
flow/mat
h
: handle __buil
t
in_choose_ex
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n
Carpenter
v
a
lidatio
n
/overflow: change "
w
arn
:
" to "error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Da
n
Carp
e
nter
a
bo
u
t_fn_
p
tr_arg:
d
o
n
't ge
t
i
nt
o
a recursi
v
e loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
n
ter
helpe
r
: ad
d
ge
t
_
l
ast
_
stat
e
m
e
nt_from_express
i
o
n
_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
mem
_
trac
k
er: add a --mem option to de
b
u
g
memory u
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
expres
s
ions: remove
s
ome unnecessar
y
go
t
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
lper: improve is_error
_
return()
.
In the kerne
l
al
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
arpenter
smatc
h
_data/smatch
.
co
m
mon_fun
c
tions: ad
d
some
c
ommon
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Ca
r
pen
t
er
s
match_data/kerne
l
.
ignored_mac
r
os
:
add AA_BU
G
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpent
e
r
smatc
h
_data/kerne
l
.
ignore_uninitialized
p
arams:
a
dd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
r
pen
t
er
smatch_data/kernel
.
ignore_side_ef
f
ect
s
add recent macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparis
o
n: handle expression statements bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Ca
r
pent
e
r
compariso
n
: remo
v
e some
debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpenter
compar
i
s
o
n: introduce i
m
possibly_high_c
o
mparison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
D
a
n Carpe
n
t
er
ign
o
r
e: fix && vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpent
e
r
index_overflow:
a
lmost a re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
implied: impro
v
e
h
a
n
dling of assign
m
e
n
ts in
argume
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
kernel
_
printf
:
don't warn about void pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cheak
_
leak
s
: handle returning
conditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpe
n
ter
math:
i
ntroduce
a
new
cache of recently used
c
onst
a
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpenter
mat
h
: handle __builtin_constant_p
(
) pr
o
per
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpente
r
m
a
th: allocated some p
e
rmane
n
t ran
g
e li
s
ts in rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
pen
t
e
r
con
d
i
t
i
ons: Fix parsing foo = ({
.
.
.
label
:
__ret;
}
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan Ca
r
p
e
nter
fu
n
cti
o
n
_h
o
o
k
s
: do
n
't be too
a
mbitious faking
p
arameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan
C
a
rpenter
ranges/ptrli
s
t
:
s
olve a leak w
i
th a big hack (second
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Ca
r
penter
allo
c
ate:
u
se unsigned lo
n
g
t
o record
allo
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
an Ca
r
penter
der
e
f_c
h
eck: fix a small leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rpenter
hoo
k
s: introduce
F
UNC
T
ION_CAL
L
_HOOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
user_data
:
reading from a
n
arr
a
y doesn't neces
s
arily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
p
e
nter
implied: introduce impossi
b
le_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpenter
b
uf_
s
ize: don't save unnecessary sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
m
tag
:
p
ush all
m
y cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
e
n
ter
rang
e
s:
f
i
x
a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next