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
spectre: use the new is_user_rl() function
2018-06-13
D
an Ca
r
penter
spectre: use the
n
e
w is_user
_
rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Car
p
enter
user_data: sile
n
ce some more ntohl
(
foo
[
i
]); fal
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carp
e
nt
e
r
u
s
er_dat
a
: silence some sscanf(
)
f
alse posi
t
i
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carp
e
nter
u
ser_data:
introduce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: cleanup ge
t
_u
s
er_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan
Carp
e
nter
compari
s
on
:
fix a NULL der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
compar
i
son: fix validation
t
ests and add a new
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
e
xtra: remov
e
a
n
unneeded _
_
set_s
m
() in db_param_li
m
it_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper
:
strip out the byte swaps in
str
i
p_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Ca
r
penter
vali
d
ation/sm_locking3: fix
f
u
nction decla
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an C
a
rpenter
unknown_va
l
ue:
c
lear the ->parent
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
ranges: improve str_to_
c
o
m
parison_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
comparison: use smatch_ex
t
ra data in get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
comparison
:
improv
e
h
a
nd
l
ing of "if (++j == li
m
it)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
comparison: han
d
le
j
+
+
v
ar sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equiv: type and i
m
plication fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Car
p
e
n
ter
ranges: fi
x
== an
d
!
=
comp
a
r
isons
.
.
.
(
0
_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan
C
arpenter
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
validation:
u
pd
a
te tests
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
C
arpenter
flow: remove th
e
call_split_expr()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
extra: handle comparisons to e
x
pr
e
ssion sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
db/fill_db_caller_
i
nfo
.
pl: don't perma-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
db/fixup_ke
r
nel
.
s
h:
c
ommit all my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Ca
r
penter
function_ptrs: record local poi
n
te
r
scope correc
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
real_absolute: don'
t
s
ave si
n
gl
e
v
a
lue as
s
igns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpe
n
ter
s
val: fi
x
a
b
ug in sval_t
o
o_l
o
w(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpent
e
r
db:
intro
d
uce db_ignore_st
a
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
db/untracked_param: mark parameter
s
untracked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: don't
p
arse inline fu
n
c
tion
s
which
a
r
e
n
'
t
i
n
tere
s
ting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpenter
db/constrai
n
ts_require
d
.
sche
m
a: add missing semi
-
c
olon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
flow/expressions/function_hooks: re-fix is_assigned_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpenter
kernel: hand
l
e __r
e
ad_once_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: fix a get_
v
alue() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan C
a
rpenter
expr
e
ssions
:
make
a
ss
i
gn_e
x
pre
s
s
i
on() take an op argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
spectre
:
warn abou
t
potential
spect
r
e vulner
a
bilities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan
Carpenter
express
i
ons: don't set the ->
p
aren
t
to a fak
e
expres
s
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
expressions: just al
l
ocate zero_expr()
fresh e
v
ery
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Ca
r
penter
ex
p
ression/smatch_expressions: move
e
xpr
_
s
et/get_par
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabalinas
sparse
:
a
d
d
-
Wpointer-arith
flag to toggle sizeof(void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and:
tidy up
w
hites
p
a
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan C
a
rpenter
or_
v
s_and: min_t() uses the
n
ew m
i
n() code as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpen
t
er
check_or_vs_an
d
: i
g
nore the kerne
l
's
min/max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
arpente
r
flow/math: ha
n
d
l
e
_
_
b
uiltin_c
h
o
o
se_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
vali
d
ation/o
v
er
f
low: change
"
wa
r
n:" to "e
r
ror:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carp
e
nter
abou
t
_
f
n_ptr_arg: don't get into a recursive l
o
op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpenter
help
e
r: add ge
t
_last_statement_from_
e
xpression_
s
tmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
r
pen
t
er
mem_track
e
r: add a --mem o
p
ti
o
n
to
de
b
ug
m
emory u
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Car
p
e
nter
ex
p
ressions: remove some unnecessary gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Car
p
enter
helper:
i
m
p
rove is_erro
r
_return()
.
In the kerne
l
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Car
p
ente
r
smatch_d
a
ta/smatch
.
common_functions: add
some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
ter
s
match_d
a
t
a
/
kernel
.
ignore
d
_
m
acros: add AA_BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpent
e
r
smatch_d
a
ta/kernel
.
igno
r
e_u
n
initia
l
ized p
a
rams:
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch
_
data/kerne
l
.
ignore
_
s
ide_effect
s
add recent m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
Carpente
r
compa
r
ison: han
d
le expre
s
sion st
a
tements
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
comparison: remove some
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpen
t
er
comparison
:
introd
u
ce impossibly_high_c
o
mparison(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpenter
ign
o
re
:
fix && vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
D
an Carpent
e
r
i
ndex_overflow:
a
lmo
s
t a
r
e-w
r
ite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
implied: improve
h
an
d
lin
g
o
f assign
m
ents
i
n a
r
g
uments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rp
e
nter
ker
n
el_p
r
intf: don
'
t w
a
rn about void poi
n
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
che
a
k_le
a
ks: h
a
ndle
r
et
u
rning
conditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpente
r
math: intro
d
uce a new cac
h
e of recently used
c
onst
a
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
pent
e
r
ma
t
h: handle __bui
l
tin
_
constant_p() p
r
op
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Car
p
en
t
e
r
math: allo
c
a
t
ed so
m
e perm
a
nent ran
g
e lists
in rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n
C
arpe
n
ter
condit
i
on
s
: Fix parsing foo = ({
.
.
.
label:
_
_ret; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
rpenter
fu
n
ction_hooks: don't be too amb
i
t
i
ous
f
a
k
i
ng parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan
C
a
rpent
e
r
r
anges/ptrlis
t
: solve a leak
w
it
h
a big hack
(
s
e
c
o
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
an Car
p
e
n
ter
a
llocate: use
unsigned lo
n
g to r
e
cord allo
c
a
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
d
e
ref
_
chec
k
: fix a s
m
all leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpe
n
ter
ho
o
ks: introduce FUNCTION_
C
ALL_HOOK
_
BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
ente
r
user_data: reading from an array doesn't n
e
ce
s
sa
r
ily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
n
ter
impli
e
d: introduce impossible_assumption
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_size: don
'
t save
u
nnecess
a
ry states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n
Carpenter
mtag
:
push all m
y
c
han
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
r
a
nges: fix a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carp
e
n
ter
de
b
u
g
: add __smatch_s
t
ate_count
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
modifica
t
ion_hooks: don't save
t
he expressions outside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
penter
var_sym:
tweak expr_to_vsl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
p
e
nter
symbol
.
h: let is_ptr_type
(
) tak
e
NULL
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carpenter
return_to
_
para
m
: f
i
x
a
c
rashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpente
r
struct_assignment/assigned_expression: save some more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
e
xp
r
essions:
free allocated express
i
ons after the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
D
an Car
p
enter
rosenberg: check the
co
r
rect alignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van
Oo
s
te
n
ry
c
k
fix: do
n
ot ignore struct/
u
nion
/
enum type attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc V
a
n Oostenryck
m
o
ve
up apply
_
cty
p
e()
'
s
d
e
c
laration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van O
o
stenryck
a
dd testcases for ignor
e
d type att
r
ibutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
Dan
C
arpenter
Merge git:
/
/git
.
ker
n
el
.
org
/
pub/scm/dev
e
l/spa
r
se/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan C
a
rpenter
mtag: fix build
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
Dan C
a
r
penter
helper: fix segfault parsin
g
invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
t
ype_val: dev_get_drvdata() doesn't set the typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
or_vs_and: white space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
conditions:
pass SELECT_HOOK for select
a
ssignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
estate:
whi
t
e sp
a
ce clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
constraints: allow bino
p
con
s
tr
a
in
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
sma
t
ch_
c
omp
a
rison: fix
a c
r
ashing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpe
n
ter
c
h
e
ck_kernel: handle fls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
C
arpenter
e
xtra: tight parameter values a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Ca
r
pen
t
er
ext
r
a
: hand
l
e "if
(foo & 0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
e
xtra: don't set
true/false states if it's the same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next