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
Da
n
Carpenter
user_data: don't pass *$ as
u
se
r
data if
t
h
e
struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpent
e
r
check_u
s
er_da
t
a: s
o
m
e user data was lost at the
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
db: fix
b
uild breakage
by
adding the
type_info s
c
hema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
db: rename cal
l
_implies
to return_im
p
l
i
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
eb
u
g
:
improve buf size debuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
che
c
k_sig
n
ed: silence som
e
fa
l
se p
o
sitives copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_shift_to_zero: si
l
ence some f
a
ls
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Ca
r
pent
e
r
c
heck
_
sizeof:
fix a typo i
n
th
e
warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix recording glo
b
al size
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
buf_comparison: don't save
links to
l
iteral s
i
ze
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
comp
a
rison: add some
d
e
b
u
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
db: don't split NULL and non-NULL unnece
s
sari
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
d
b
:
fix a N
U
LL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpe
n
ter
db: s
e
t
t
h
e CACHE_PAGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: introdu
c
e the cache_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
te
r
d
b
:
clean u
p
t
h
e code and export some
mor
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
extra
:
use PA
R
AM_LIMIT to l
i
m
it binop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: ne
s
t
s
o
m
e inline stateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ent
e
r
modification
_
hooks: don't
allo
w
multip
l
e modificatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Da
n
Carpenter
co
m
parison: don't s
a
ve comparis
o
ns to oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
C
a
rpenter
c
o
mparison:
add
s
ome
paren
t
h
e
sis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
a
n Ca
r
penter
valid
a
tion:
fix
up
s
ome fai
l
u
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Car
p
e
n
ter
comparison:
f
ix filte
r
_by_compa
r
i
son == for rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan
C
a
rpente
r
extra: ju
s
t
set sval
assignments d
i
rec
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
r
p
enter
check_spect
r
e: ignor
e
m
a
sk
e
d off da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
spec
t
re: use the new is_user_rl() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
u
s
er_
d
at
a
:
s
il
e
n
c
e some more n
t
ohl(foo[
i
]);
false po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpen
t
er
user_data: silence some ssc
a
nf() false
p
osit
i
ve
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
u
ser_data: intro
d
uce is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpente
r
user
_
data:
cleanup get_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
comparis
o
n: fix a NULL
dere
f
ere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan C
a
rpen
t
er
compari
s
on: f
i
x validation
t
ests and 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
v
e an unneeded
_
_set_sm() in
d
b_
p
a
ram
_
li
m
it_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helpe
r
: strip out the
byte sw
a
ps in strip
_
ex
p
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carp
e
n
ter
validation/sm_
l
o
cking3: fix
f
unction
d
eclarati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n
C
a
r
p
enter
unknown_value: clea
r
the ->paren
t
point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ranges: impr
o
v
e str_
t
o_
c
om
p
arison_arg_helpe
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
compar
i
son: use sma
t
ch_ex
t
ra data in get_c
o
mp
a
rison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
c
omp
a
r
i
son: improve
handling of "if (+
+
j
== limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an
Carpenter
comparison: handle j++ var sym lists be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
nter
equiv: ty
p
e and implicat
i
on fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Da
n
C
arpenter
ranges: f
i
x ==
and !
=
comparisons
.
.
.
(
0
_
0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan
Carpenter
return_t
o
_param: fix pars
i
ng calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
va
l
ida
t
i
o
n
:
up
d
ate tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Da
n
C
a
r
p
enter
db: make call_im
p
l
ies rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
n
ter
flow: remove the cal
l
_split_
e
xpr() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
r
penter
extra: h
a
nd
l
e co
m
par
i
sons to expression statem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
db
/
fill_d
b
_
caller_info
.
pl: d
o
n
't
p
e
rma-ban fu
n
c
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
db/fixu
p
_kernel
.
sh: commit all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
function_ptrs: record local
poi
n
ter scope corr
e
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
C
a
r
penter
real_abs
o
lut
e
: don't s
a
v
e single value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
sva
l
:
fix
a
bu
g
i
n
s
v
a
l_to
o
_l
o
w
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpe
n
te
r
db: introduce db_ignor
e
_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
arpenter
db/untracked_param: m
a
r
k
parameters untr
a
cked if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpen
t
er
flow:
d
on't p
a
rse inl
i
ne fun
c
tions
which ar
e
n't inter
e
sting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
D
a
n
Car
p
ent
e
r
db/constraints_requi
r
ed
.
schema: a
d
d
missing semi-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
f
low/expressions/function_
h
ooks: re-fix
i
s
_assigned_
c
a
l
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
kernel: handle __read_on
c
e_s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Carpenter
math: fix a ge
t
_value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
ex
p
ressions: ma
k
e assign_ex
p
r
e
ssio
n
() take an op
a
r
gument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Da
n
Carpen
t
e
r
spectre: warn about po
t
en
t
i
al spect
r
e vulne
r
abilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpent
e
r
express
i
ons: don't set the ->par
e
nt to a
f
ake
expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
expressio
n
s: just allocate z
e
ro_expr() fresh
e
very
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
e
x
pression/smatch
_
expressions: move expr_set/g
e
t_pare
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: tidy up whitespa
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpe
n
ter
or_vs_and: min_t() uses the new m
i
n() code
a
s well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
Carpenter
c
heck_or_vs_and: igno
r
e th
e
k
ernel's min/
m
a
x
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpent
e
r
f
l
ow/math: ha
n
dle __builtin_choose_ex
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
v
a
lidation/
o
ver
f
low:
change
"
w
a
rn:" to "error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
ab
o
ut_fn_ptr_ar
g
: don'
t
get
i
nto a
recursive l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arp
e
nter
helper: add get
_
last_statement_from_
e
x
p
ression_stmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Ca
r
p
e
nter
mem
_
tracker: add a -
-
mem
o
ption to de
b
ug m
e
mory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
expressi
o
ns: remove
some unnec
e
ssary gotos
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 kern
e
l al
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an C
a
rpenter
smatch_data/smatch
.
c
o
mmon_functions: add some
common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/ke
r
nel
.
ig
n
ored_
m
acros: a
d
d AA_BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
s
m
atc
h
_data/kernel
.
ignore_unin
i
t
i
alized params:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
smatch_data/ke
r
nel
.
i
g
nore_s
i
d
e_e
f
fects add r
e
c
ent
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
co
m
pari
s
on: handle expression sta
t
eme
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
n
ter
compa
r
iso
n
: re
m
ove som
e
d
e
bug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpenter
compar
i
son
:
introdu
c
e impossibly_high_compari
s
on()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpe
n
ter
i
gn
o
re: fix
&
&
vs || typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
index_ove
r
f
l
ow: almost a
re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
implied: imp
r
ove han
d
ling of assignments in arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
kernel_pri
n
tf: don't warn
ab
o
ut void po
i
nt
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
cheak_leak
s
: handle return
i
ng cond
i
tionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpen
t
er
math: introduce a new cache
o
f recently use
d
c
onstant
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
math: handle _
_
buil
t
in_constant_p() pr
o
perly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: al
l
oc
a
ted some perman
e
nt range l
i
sts in rl_z
e
ro
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
pen
t
er
conditions: Fix pa
r
si
n
g foo = ({
.
.
.
label: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
r
p
ent
e
r
function_
h
ook
s
: don't be
too amb
i
tious fakin
g
par
a
meter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpent
e
r
ranges/p
t
rlist: solve a
l
eak w
i
th a big ha
c
k (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Da
n
Carpenter
allocat
e
:
use unsi
g
ned long
t
o record
a
l
l
ocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
d
eref_
c
hec
k
:
f
ix a small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
h
ooks: intro
d
uc
e
FUN
C
TIO
N
_CA
L
L_HOOK
_
B
E
FORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
user_data: reading from an ar
r
ay doesn't
n
ecessa
r
ily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpen
t
er
implied: introduc
e
impossib
l
e_assu
m
ption(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
b
u
f_size: d
o
n
'
t s
a
ve unnecessary s
t
a
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: pus
h
all m
y
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rp
e
n
ter
ranges: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next