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: silence some sscanf() false positives
2018-06-13
D
a
n Carpenter
user_data: si
l
ence so
m
e s
s
c
a
n
f() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpenter
user_data: introduce is_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpente
r
user_da
t
a: cleanup get_user_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n
Carpenter
comparison: fix a
N
ULL
d
ere
f
e
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpente
r
comparison: f
i
x valida
t
ion
tests and add a new t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
extra: remove
a
n
unneede
d
__set_sm() in
db_param_limit_
f
ilter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
he
l
per: strip out the byte s
w
aps
i
n
strip_
e
x
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpente
r
validati
o
n/sm_l
o
cking3:
f
ix funct
i
on declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
unk
n
own
_
va
l
u
e
: c
l
ear
the -
>
p
a
r
ent po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
r
a
nges: improve str_
t
o_com
p
arison
_
arg_
h
e
l
p
e
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
co
m
parison: use smatch_ext
r
a
dat
a
in get_comparison
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
compari
s
on: impro
v
e ha
n
dling
of "if
(
++j == li
m
it)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
c
o
mparis
o
n:
han
d
le j+
+
var sym
l
ists better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
e
q
u
iv: type
and implication fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpen
t
er
ranges:
f
ix
=
= and !
=
compar
i
sons
.
.
.
(
0
_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Car
p
enter
return_to_pa
r
am:
fix parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
v
alid
a
tion: update tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rp
e
nter
db: make call
_
impl
i
es
r
ows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
ar
p
enter
flow: r
e
move the call_split
_
ex
p
r()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an
Carpe
n
ter
ex
t
ra
:
han
d
le compariso
n
s to expression
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/f
i
ll_db_ca
l
ler_
i
nfo
.
p
l
: don't perma-ban
functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/f
i
xup_kernel
.
sh: commit all
my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
functio
n
_ptrs: reco
r
d local pointe
r
scope correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
rea
l
_absol
u
te:
d
on't sav
e
si
n
g
l
e value assig
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
sval
:
fix a bug in sval_too
_
low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rp
e
n
ter
db: introduce
d
b
_
i
gn
o
re_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpe
n
ter
db
/
untracke
d
_param
:
mark param
e
ters untr
a
cked if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
flow: don't
pa
r
se
i
n
l
ine functions wh
i
ch ar
e
n
't in
t
erestin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan Carpe
n
ter
db/
c
ons
t
raints_requ
i
red
.
schem
a
: add missing
semi-co
l
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
an Ca
r
p
e
nter
fl
o
w
/
expressions/fu
n
ction_hoo
k
s: re-fix is_as
s
igned_c
a
ll()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
kernel: handle
_
_re
a
d_once_
s
i
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n
Carpente
r
math:
f
ix a get_value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpen
t
er
expressions: make assign_expression() take an
o
p
a
rg
u
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Da
n
Carpenter
spectre:
warn
about pot
e
ntial spectre vul
n
erabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
arp
e
nter
expressi
o
ns:
don't set the
-
>
p
arent
to
a
f
ake expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
expre
s
s
i
o
ns:
j
ust allocate zero_expr() fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpe
n
ter
expres
s
ion/smatch_expression
s
: m
o
v
e
expr_set/get_
p
a
rent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalinas
sparse: add -Wpointer-ari
t
h fl
a
g to toggle
sizeof(
v
oid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan
Carpenter
or_vs_and: tidy
u
p
w
h
i
tespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and:
min_t() uses the new
m
i
n() code as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpe
n
ter
ch
e
ck_or_vs_and: ignore the k
e
r
nel's min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
fl
o
w/math: handle __built
i
n_choose_ex
p
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
validation/overflow: change "warn:" to
"
error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan
C
arpenter
a
bout_fn_ptr_arg: don't
g
et into a recursive lo
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
arpenter
hel
p
e
r: add g
e
t_last_statement_from_expr
e
ssion_
s
tmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
me
m
_track
e
r: add a --mem option to debug
me
m
ory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Car
p
enter
expressions: remove
some unneces
s
ary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
helper:
improv
e
is_er
r
or
_
retur
n
()
.
In the kern
e
l all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
m
a
tch_data
/
s
m
atc
h
.
common_func
t
i
o
ns: add some
com
m
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/ke
r
nel
.
ignore
d
_macros: add AA_BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/kernel
.
i
g
n
o
r
e_uninit
i
a
lized params
:
a
dd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
sm
a
tch_d
a
t
a/kernel
.
i
g
nore_si
d
e
_
e
ffects add re
c
ent macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparis
o
n:
h
a
n
dle exp
r
e
ssion statements better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
n
ter
comparison: remove some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
c
o
mparison
:
introdu
c
e
impossibly_high_comparison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Ca
r
pente
r
ignore: fi
x
&& v
s
|| typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
i
n
dex_overf
l
ow: al
m
ost a re-wri
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
r
p
enter
implied:
improv
e
handling of
assignments
i
n
a
r
g
uments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpente
r
kernel_p
r
intf: don't w
a
r
n about v
o
id poin
t
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpenter
cheak_leaks: handle returning
c
on
d
itionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: int
r
o
d
u
c
e
a new cache of r
e
centl
y
u
s
ed consta
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
math
:
ha
n
dle __b
u
iltin_constant_p
(
) properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
m
at
h
: allocated some perma
n
ent range lists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
n
t
er
conditions: Fix parsing foo = ({
.
.
.
label: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
rpenter
funct
i
on_hook
s
:
d
on't be to
o
ambiti
o
us fa
k
ing par
a
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
an Car
p
enter
ranges/ptrl
i
st: solve a leak with a big
hack (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
a
n
C
arpenter
allocate: use unsigned long t
o
record allocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpent
e
r
deref_check
:
fix
a
small lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arp
e
nter
h
o
o
k
s
: introduc
e
FUNCTION_CAL
L
_HOOK_BEFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n
Carpenter
u
s
er_data
:
rea
d
ing from an array doesn'
t
n
e
c
e
ssarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpente
r
implied
:
introd
u
ce impossi
b
le_
a
ssumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_si
z
e
: don't
s
av
e
unnecessary
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
mtag:
p
ush all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
e
r
r
a
n
g
es: fi
x
a
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
debug: add __smatch_state
_
count
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpe
n
ter
mo
d
i
ficati
o
n_hooks: don
'
t sav
e
the exp
r
essions outsi
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Ca
r
pen
t
er
var_sym: twe
a
k expr_to_vsl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carpenter
symbol
.
h: let
is_ptr_type() take
NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Car
p
enter
return_to
_
param:
f
i
x a cr
a
shi
n
g b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
struct_assignment/assigned_exp
r
ession:
s
a
ve some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpe
n
ter
expressions
:
free allocated
e
x
press
i
ons after the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan C
a
rpenter
r
o
senbe
r
g: check the
c
o
rrect alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oostenryck
f
i
x: do
n
ot
ignore
s
t
ruct/un
i
o
n
/
enum
type attri
b
u
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
L
u
c Van Oostenr
y
ck
move up app
l
y_ctype()'s d
e
clara
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oost
e
nryck
add testcases for ignore
d
t
y
pe attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan
C
a
r
penter
Merge git://git
.
k
e
rnel
.
org/pu
b
/
s
cm/
d
evel
/
sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
D
a
n Car
p
enter
mtag:
fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpenter
helper: fix segfa
u
lt parsing
i
nvali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
t
ype_val: d
e
v_ge
t
_drvdata() d
o
esn't set the ty
p
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or_vs
_
and: white
space cl
e
anup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arp
e
nter
c
onditions: pass S
E
L
E
CT
_
H
O
OK for select
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpen
t
er
estate:
white
s
pace clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
constrai
n
t
s
:
allow binop
const
r
aints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpent
e
r
sm
a
tch
_
c
omparison: fix a
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check
_
kernel: han
d
le fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
extra: tight pa
r
ame
t
e
r
v
a
l
u
es a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n C
a
rpenter
extra: handl
e
"if
(
foo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra
:
don
'
t set
true/false s
t
ates if it
'
s
t
h
e
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
imp
l
ied:
u
s
e ass
u
me() even if th
e
re are no implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpent
e
r
math
:
silence hard max
false posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next